Foundations Flashcards
Is 0 considered to be in the Natural Numbers?
Yes
What is the Axiom of Extension?
Suppose that X and Y are sets and that for any x∈X we have x∈Y and for any y∈Y we have y∈X, then X=Y.
Define a subset.
Suppose X is a set and for any x∈X we have x∈Y, then we call X a subset of Y, denoted X⊂Y.
If X and Y are not equal, X is a proper subset of Y.
What is a singleton?
A set with one element.
What is a function?
A function f:X->Y consists of the following:
-A domain X
-A codomain Y
-A rule f which for every x∈X gives an element f(x)∈Y.
What is the identity function?
The function that maps x to itself
ie. Id(x) = x
What is an injection, surjection and bijection?
Suppose that X and Y are sets and f:X->Y is a function, then:
-Suppose that for every x,x’∈X, if f(x)=f(x’) then x=x’, we call f injective
-Suppose that for every y∈Y, there is some x∈X so f(x)=y, we call f surjective.
Suppose that f is both injective and surjective, we call f bijective.
What is cardinality and when is a set finite.
Cardinality is the number of elements in a set.
If f:X->Y is a bijective function the X and Y have the same cardinality, denoted |X|=|Y|
A set X is finite if |X|= n for some n∈N
What is Cantor’s Theorem?
Suppose the X is a set and f is a function f:X->P(X) from X to its power set, then f is not a surjection.
What is an ordered pair?
Suppose that X and Y are sets. Suppose that x, x′ ∈ X
and y, y′ ∈ Y are elements. Then an ordered pair (x, y) contains x and y, in that order.
Two ordered pairs (x, y) and (x′, y′) are equal if and only if x = x′ and y = y′.
If (x, y) is an ordered pair then we call x its first entry and y its
second entry.
What is the set of ordered pairs from two sets?
Suppose that X and Y are sets. Then the collection
of all ordered pairs with first entry from X and second from Y is
X × Y = {(x, y) ∣ x ∈ X, y ∈ Y } and is called the cartesian product of X and Y .
What is a relation?
A relation R from X to Y consists of the following.
● A set X, called the domain.
● A set Y , called the codomain.
● A subset of X × Y .
If X = Y then we say that R is “a relation on X”. If (x, y) is an element of R we may denote this by writing xRy.
The empty set is a subset of X × Y ; this gives the empty relation.
Likewise X × Y is a subset of itself; this gives the universal relation.
When X = Y then the set {(x, y) ∈ X^2 ∣ x = y} gives the identity relation on X.
When is a relation graphical?
Suppose that X and Y are sets. A relation G from X to Y is graphical if for every x ∈ X there is exactly one y ∈ Y so that (x, y) lies in G.
Is a function a relation?
A function f∶ X → Y is a relation G, from X to Y , which is graphical. If (x, y) lies in G then we write f(x) = y
What is a list?
Suppose that A is a set. Suppose that n is a natural number. A list L is a function L∶ [n] → A. We call n the length of the list L. We also say that the elements of L are taken from A.
State the known Union qualities?
(1) X ∪ ∅ = X (identity)
(2) (X ∪ Y ) ∪ Z = X ∪ (Y ∪ Z) (associativity)
(3) X ∪ Y = Y ∪ X (commutativity)
(4) X ⊂ Y if and only if X ∪ Y = Y (absorption)
(5) X ∪ X = X (idempotent)
State the known Intersection qualities?
(1) X ∩ ∅ = ∅ (annihilator)
(2) (X ∩ Y ) ∩ Z = X ∩ (Y ∩ Z) (associativity)
(3) X ∩ Y = Y ∩ X (commutativity)
(4) X ⊂ Y if and only if X ∩ Y = X (absorption)
(5) X ∩ X = X (idempotent)
What is set difference?
Suppose that X and Y are sets. The collection X − Y = {x ∈ X ∣ x ∉ Y } is called the set-theoretic difference of X and Y .
What is the link between a function being injective/surjective and inverses?
Suppose that X and Y are non-empty sets. Suppose that
f∶ X → Y is a function. Then we have the following.
(1) f is injective if and only if f has a left inverse.
(2) f is surjective if and only if f has a right inverse.
(3) f is bijective if and only if f has an inverse. In this case the
inverse is unique.
Suppose that X, Y , and Z are sets. Suppose that f∶ X → Y and g∶ Y → Z are functions. Then we have the following.
(1) If f and g are injective then so is g ○ f.
(2) If f and g are surjective then so is g ○ f
What is an iteration?
Suppose that X is a set. Suppose that f is a function
on X. Then we define
(1) f^(0) = IdX and
(2) for any n ∈ N we define f^(n+1) = f ○ f^(n).
We say that f^(n) is the n-th iterate of f.
What is an orbit?
Suppose that X is a set. Suppose that f is a function
on X. Then for any x ∈ X we define
Of (x) = {f^(n)(x) ∣ n ∈ N}
We call Of (x) the forward orbit of x under f.
What is the Cantor-Schroder-Bernstein Theorem?
Suppose that X and Y are sets. Suppose that f∶ X → Y and g∶ Y → X are injections. Then there is a bijection h∶ X → Y .
What does it mean for a relation to be Reflexive, Symmetric and Transitive?
Suppose that X is a set. Suppose that R ⊂ X2 is a relation on X.
● Suppose that, for all x ∈ X, we have xRx. Then we say that R is reflexive.
● Suppose that, for all x, y ∈ X, we have that xRy implies yRx. Then we say that R is symmetric.
● Suppose that, for all x, y, z ∈ X, we have that xRy and yRz implies xRz. Then we say that R is transitive.
What is an Equivalence Relation?
Suppose that X is a set. A relation on X is an equivalence relation if it is reflexive, symmetric, and transitive.
What does it mean for a relation to be Antisymmetric?
Suppose that X is a set. Suppose that R is a relation on X. Then R is antisymmetric if, for all x and y in X we have
● if xRy and yRx then x = y.
What is a Partial Order?
Suppose that X is a set. Suppose that R is a relation on X. If R is reflexive, antisymmetric, and transitive, then R is a partial order
What is a Total Relation?
Suppose that X is a set. Suppose that R is a relation on X. We say that R is a total relation if, for all x and y we have xRy or yRx.
What is a Total Order?
Suppose that X is a set. Suppose that R is a relation on X. We say that R is a total order if it is reflexive, antisymmetric, transitive, and total.