Sets Theory and Logic Lecture 1 Sets

Introduction to Set Theory and Logic

Importance of the Class

• The instructor emphasizes the significance of this class for math majors, stating it is not the hardest but the most crucial course.

• Students will learn logical thinking and how to prove or disprove statements, which are foundational skills in mathematics.

• Understanding this material is vital; many students who passed struggled in advanced classes due to a lack of comprehension.

• Professors will expect students to read and construct proofs without re-teaching these concepts in future courses.

• The course begins simply but becomes more complex over time, requiring consistent attention from students.

Basic Concepts of Set Theory

• The terms "set" and "element" are introduced as fundamental components of set theory.

• A set is defined as a collection of items (or elements), often numbers, but not limited to them.

• Curly brackets denote sets, with elements separated by commas; this notation is essential for clarity in mathematical writing.

• Sets can be named using capital letters to distinguish them from variables, which typically use lowercase letters.

• The order of elements within a set does not matter; different arrangements represent the same set.

Finite Sets and Cardinality

• A finite set contains a limited number of elements that can be explicitly listed if manageable.

Understanding Cardinality and Sets

Definition of Cardinality

• The cardinality of a set is described as a measure of how many elements are in the set, distinguishing between finite and infinite sets.

• For finite sets, cardinality is simply the count of elements. For infinite sets, determining cardinality becomes more complex.

Notation for Cardinality

• The notation for cardinality uses vertical bars around the set (e.g., |A|), which may resemble absolute value but signifies the number of elements in a set rather than a numerical value.

Empty Set Concept

• An empty set is defined as a set with no elements, analogous to an empty cardboard box.

• The symbol for the empty set can be represented by either a circle with a line through it or a zero with a line through it.

Undefined Terms in Set Theory

• In set theory, terms like "set" and "element" are considered undefined; they are common notions agreed upon without formal definitions.

Important Sets in Mathematics

Natural Numbers and Integers

• Natural numbers start from one and continue indefinitely (1, 2, 3,...). They are often denoted by ℕ.

• Integers include natural numbers, zero, and their negatives (...,-3,-2,-1,0,1,2,...), commonly represented by ℤ.

Rational Numbers

• Rational numbers can be expressed as ratios of integers (e.g., 1/2). They are denoted by Q but pose challenges when trying to list them due to their infinite nature.

Understanding Set Builder Notation

Introduction to Set Builder Notation

• The speaker introduces set builder notation as a method for expressing sets with many elements, specifically focusing on rational numbers.

• Rational numbers are defined as fractions of integers (M/N), where the denominator cannot be zero.

Elements and Symbols in Set Builder Notation

• The symbol resembling an "E" represents "is an element of," indicating that M and N are elements of the integers.

• The notation Q = M/N | M, N ∈ Z, N ≠ 0 is explained, emphasizing the meaning of "such that."

Variations in Notation

• The speaker notes that students often prefer using a vertical bar instead of a colon for "such that" in set builder notation.

• It is clarified that this usage is specific to set builder notation; outside this context, colons or vertical bars do not mean "such that."

Comparison with Book Definition

• A comparison is made between the speaker's concise definition and a more verbose version from the book, highlighting efficiency in expression.

Types of Sets

Empty and Finite Sets

• An empty set can be represented by either a circle with a line through it or by listing no elements within brackets.

• Finite sets can be easily expressed by listing their elements or naming them.

Infinite Sets and Ellipsis Usage

• For infinite sets, ellipses may be used when appropriate; however, complex cases may require set builder notation.

Real Numbers and Their Definition

Understanding Real Numbers

• Real numbers are described as almost undefined terms; they rely on common understanding rather than strict definitions.

• While real analysis might provide formal definitions later, for now, real numbers are accepted as understood concepts.

Intervals in Mathematics

Types of Intervals

• Different types of intervals are discussed: closed intervals (inclusive), open intervals (exclusive), and other variations including finite intervals.

Infinite Intervals

Closed and Open Intervals in Mathematics

Understanding Closed Intervals

• The closed interval from A to B includes all numbers between A and B, including the endpoints A and B.

• Mathematically, this is expressed using set-builder notation: x ∈ ℝ | A ≤ x ≤ B.

• This notation defines the set of all real numbers x such that x is greater than or equal to A and less than or equal to B.

Exploring Open Intervals

• An open interval from A to B excludes the endpoints. It is represented as: x ∈ ℝ | A < x < B.

• The definition emphasizes that for an open interval, values at A and B are not included.

Writing Additional Intervals

• The speaker encourages thinking about how to express other intervals using set-builder notation.

• There’s a pause for reflection on writing these intervals before moving on to discuss the last type of interval.

The Set of All Real Numbers

• The final discussion point addresses the set of all real numbers, which differs significantly from defined intervals.