Definitions Flashcards
(39 cards)
What is an ordered set?
An ordered set is a set S in which an order is defined.
Provide an example of an ordered set.
l is an ordered set if r < s is defined to mean that s - r is a positive rational number.
What is the definition of least upper bound?
The least upper bound of a set E, denoted as sup E, is an element a in S such that:
* a is an upper bound of E
* If y < a, then y is not an upper bound of E.
What does the notation a = sup E represent?
It indicates that a is the least upper bound of the set E.
What is the definition of greatest lower bound?
The greatest lower bound of a set E, denoted as inf E, is an element a in S such that:
* a is a lower bound of E
* No B with β > a is a lower bound of E.
What does the notation a = inf E represent?
It indicates that a is the greatest lower bound of the set E.
True or False: A least upper bound is unique.
True
Fill in the blank: The least upper bound is also known as the _______.
supremum
Fill in the blank: The greatest lower bound is also known as the _______.
infimum
What is an order on a set S?
A relation with two properties:
1. For any x, y in S, one and only one of x < y, x = y, or y < x is true.
2. If x < y and y < z, then x < z.
True or False: In an ordered set, for any two elements x and y, both x < y and y < x can be true.
False
What does the transitive property in an ordered set state?
If x < y and y < z, then x < z.
What is a subset?
If A and B are sets, and every element of A is an element of B, then A is a subset of B.
Denoted as A ⊆ B or B > A.
How is a proper subset defined?
A is a proper subset of B if A is a subset of B and there exists an element in B that is not in A.
Denoted as A ⊂ B.
What notation is used to express that A is a subset of B?
A ⊆ B or B > A.
These symbols indicate the relationship between the two sets.
What is true for every set A regarding subsets?
A ⊆ A.
Every set is a subset of itself.
What does it mean for a set E to be bounded above?
There exists a B in S such that x ≤ B for every x in E.
What is an upper bound?
An element B in S that satisfies x ≤ B for every x in E.
How are lower bounds defined?
By replacing ≤ with ≥ in the definition of upper bounds.
Fill in the blank: If there exists a B in S such that x ≤ B for every x in E, we say that E is _______.
bounded above
What is the least-upper-bound property?
An ordered set S has the least-upper-bound property if for any non-empty subset E of S that is bounded above, the supremum (sup E) exists in S.
True or False: The least-upper-bound property requires that every non-empty subset of an ordered set has a supremum.
False
Fill in the blank: An ordered set S is said to have the least-upper-bound property if for any non-empty subset E of S that is bounded above, _______ exists in S.
sup E
What does it mean for a set E to be bounded above?
A set E is bounded above if there exists a number that is greater than or equal to every element in E.