Set Theory
A set is a collection of objects, considered as a whole.
Referenced by (23 direct, 101 transitive)
Direct references:
- Element
- Membership criterion
- Domain of Definition
- Value
- Range
- Sequence
- Inverse Image
- Vector Space
- countable-closed-set-has-isolated-points
- proof-of-theorem-27
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- subsequential-limits-of-a-metric-space-form-a-closed-set
- note-31
- Diameter
- diameter-of-set-equals-diameter-of-closure
- proof-of-euclidean-spaces-are-complete
- Upper bound
- Lower bound
- Domain
- Component
- Differentiable
- Total derivatives are unique
- Continuously Differentiable
Transitive (depth 1):
- Jacobian Matrix
- remark-46
- Partial Derivative
- Directional Derivative
- Least upper bound
- note-4
- Greatest lower bound
- Vector Field
- remark-7
- note-11
- Scalar Function
- Vector Function
- grad-div-curl-related
- proof-of-compact-metric-spaces-are-complete
- Volume Integral
- Divergence Theorem of Gauss
- theorem-19
- Range (sequence)
- remark-9
- Laplacian
- Total Derivative
- gradient-as-surface-normal-vector
- Level Surface
- remark-32
- proof-of-theorem-19
- Diverge
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- sequence-terms-not-distinct
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- sequence-theorems-context
- Term
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- Bounded (sequence)
- Bolzano-Weierstrass
- real-sequence-notation
- Cauchy Sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- limit-of-a-function-characterized-by-limits-of-sequences
- limit-point-implies-convergent-sequence
- note-49
- Limit (Sequence)
- Convergent
- sequence-range-cardinality
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- sequence-notation
- Subsequence
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
- Vector
- Scalar
- Function
- mapping-continuous-iff-inverse-images-of-open-sets-are-open
Transitive (depth 2):
- Vector Multiplication by a Scalar
- note-3
- Hessian Matrix
- remark-16
- incompressible
- Bound vector
- Direction
- invariance-of-curl
- Cross Product
- Unit Vector
- note-5
- Surface Normal Vector
- remark-45
- Free vector
- gravitational-potential-is-a-solution-to-laplaces-equation
- convergent-sequences-are-bounded
- Potential Function
- Gradient
- Normal Derivative
- directional-derivative-is-inner-product-of-vector-and-grad
- Stoke's Theorem
- Line Integral of Vector Function
- Surface Integral over Vector Field
- Tangent Plane
- Cauchy criterion for convergence
- euclidean-spaces-are-complete
- proof-of-theorem-50
- Complete
- compact-metric-spaces-are-complete
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-theorem-7
- Homeomorphism
- proof-of-function-is-continuous-at-point-iff-limit-at-point-equals-function-at-point
- Composition
- remark-30
- Subsequential limit
- Divergence
- Irrotational
- proof-of-cauchy-criterion-for-convergence
- proof-of-theorem-23
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
Transitive (depth 3):
The objects that make up a set are called its elements or its members.
Referenced by (3 direct, 99 transitive)
Transitive (depth 1):
- remark-9
- remark-16
- Hessian Matrix
- incompressible
- Bound vector
- Direction
- invariance-of-curl
- Jacobian Matrix
- Cross Product
- Unit Vector
- note-5
- Surface Normal Vector
- theorem-19
- remark-45
- Free vector
- remark-32
- Vector Multiplication by a Scalar
- note-3
- Range
- Value
- Component
- Domain of Definition
- Continuously Differentiable
- remark-7
- Sequence
- Homeomorphism
- note-11
- proof-of-function-is-continuous-at-point-iff-limit-at-point-equals-function-at-point
- Composition
- remark-30
Transitive (depth 2):
- remark-46
- Partial Derivative
- Directional Derivative
- proof-of-theorem-19
- Tangent Vector
- directional-derivative-is-inner-product-of-vector-and-grad
- gradient-as-surface-normal-vector
- proof-of-gradient-as-surface-normal-vector
- Vector Field
- Scalar Function
- Vector Function
- grad-div-curl-related
- Range (sequence)
- Vector Equality
- Normal Derivative
- Zero Vector
- remark-23
- Diverge
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- sequence-terms-not-distinct
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- sequence-theorems-context
- Term
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- Bounded (sequence)
- Bolzano-Weierstrass
- real-sequence-notation
- Cauchy Sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- limit-of-a-function-characterized-by-limits-of-sequences
- limit-point-implies-convergent-sequence
- proof-of-theorem-27
- note-49
- note-31
- Limit (Sequence)
- Convergent
- sequence-range-cardinality
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- sequence-notation
- subsequential-limits-of-a-metric-space-form-a-closed-set
- Subsequence
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
Transitive (depth 3):
- proof-of-euclidean-spaces-are-complete
- proof-of-compact-metric-spaces-are-complete
- convergent-sequences-are-bounded
- Potential Function
- Gradient
- Stoke's Theorem
- Line Integral of Vector Function
- Divergence Theorem of Gauss
- Surface Integral over Vector Field
- Cauchy criterion for convergence
- euclidean-spaces-are-complete
- proof-of-theorem-50
- Complete
- compact-metric-spaces-are-complete
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-theorem-7
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- Divergence
- Irrotational
- proof-of-cauchy-criterion-for-convergence
- proof-of-theorem-23
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
Transitive (depth 4):
Two sets are equal if and only if they have the same elements. Formally, for any sets $A$ and $B$:
$$A = B \iff (\forall x)(x \in A \iff x \in B)$$
Referenced by (1 direct)
Direct references:
If $X$ and $Y$ are sets such that every element of $X$ is also an element of $Y,$ then we say $X$ is a subset of $Y,$ denoted as $X \subset Y.$ Formally,
$$X \subset Y \iff (\forall x)(x \in X \implies x \in Y)$$
Referenced by (7 direct, 6 transitive)
Direct references:
Transitive (depth 1):
Transitive (depth 2):
If $X$ and $Y$ are sets such that every element of $Y$ is also an element of $X,$ then we say $X$ is a superset of $Y,$ denoted as $X \supset Y.$ This is the same as $Y \subset X.$
Two sets $X$ and $Y$ are equal if and only if $X$ is a subset of $Y$ and $Y$ is a subset of $X.$
Suppose $X$ and $Y$ are sets with $X \subset Y$ and $Y \subset X.$ Now, suppose $x \in X.$ Then, $x \in Y.$ Conversely, suppose $y \in Y.$ Then $y \in X.$ Thus, $(\forall x)(x \in X \iff x \in Y),$ and $X = Y$.
$\square$Consider two sets, $A$ and $B,$ whose elements may be any objects whatsoever, and suppose that with each element $x$ of $A$ there is associated, in some manner, any element of $B,$ which we denote by $f(x).$ Then $f$ is said to be a function from $A$ to $B.$
Referenced by (16 direct, 67 transitive)
Direct references:
Transitive (depth 1):
- Range (sequence)
- remark-32
- proof-of-theorem-19
- remark-46
- Partial Derivative
- Directional Derivative
- Vector Field
- Scalar Function
- Vector Function
- grad-div-curl-related
- Diverge
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- sequence-terms-not-distinct
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- sequence-theorems-context
- Term
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- Bounded (sequence)
- Bolzano-Weierstrass
- real-sequence-notation
- Cauchy Sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- limit-of-a-function-characterized-by-limits-of-sequences
- limit-point-implies-convergent-sequence
- proof-of-theorem-27
- note-49
- note-31
- Limit (Sequence)
- Convergent
- sequence-range-cardinality
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- sequence-notation
- subsequential-limits-of-a-metric-space-form-a-closed-set
- Subsequence
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
Transitive (depth 2):
- proof-of-euclidean-spaces-are-complete
- proof-of-compact-metric-spaces-are-complete
- convergent-sequences-are-bounded
- Potential Function
- theorem-19
- gradient-as-surface-normal-vector
- Gradient
- Normal Derivative
- directional-derivative-is-inner-product-of-vector-and-grad
- Stoke's Theorem
- Line Integral of Vector Function
- Divergence Theorem of Gauss
- Surface Integral over Vector Field
- Cauchy criterion for convergence
- euclidean-spaces-are-complete
- proof-of-theorem-50
- Complete
- compact-metric-spaces-are-complete
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-theorem-7
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- Divergence
- Irrotational
- proof-of-cauchy-criterion-for-convergence
- proof-of-theorem-23
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
Transitive (depth 3):
Referenced by (5 direct, 17 transitive)
Direct references:
If $f$ is a function from the set $A$ to the set $B,$ the elements $f(x) \in B$ are called the values of $f.$
Referenced by (2 direct)
Direct references:
Referenced by (1 direct, 4 transitive)
Direct references:
Transitive (depth 1):
Transitive (depth 2):
Referenced by (26 direct, 18 transitive)
Direct references:
- sequence-notation
- Term
- sequence-terms-not-distinct
- Sequences in Euclidean and Metric Spaces (embedded)
- Convergent
- Limit (Sequence)
- Diverge
- sequence-range-cardinality
- Bounded (sequence)
- sequence-theorems-context
- limit-point-implies-convergent-sequence
- Subsequence
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-27
- Bolzano-Weierstrass
- subsequential-limits-of-a-metric-space-form-a-closed-set
- note-31
- Cauchy Sequence
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- note-49
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- limit-of-a-function-characterized-by-limits-of-sequences
- real-sequence-notation
Transitive (depth 1):
- proof-of-compact-metric-spaces-are-complete
- proof-of-euclidean-spaces-are-complete
- convergent-sequences-are-bounded
- Cauchy criterion for convergence
- euclidean-spaces-are-complete
- proof-of-theorem-50
- Complete
- compact-metric-spaces-are-complete
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-theorem-7
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- proof-of-cauchy-criterion-for-convergence
- proof-of-theorem-23
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
Transitive (depth 2):
If $f(n) = x_n,$ for $n \in J,$ it is customary to denote the sequence $f$ by the symbol $\{x_n\},$ or sometimes by $x_1, x_2, x_3, \dots.$
If $f: A \to B$ and $E \subset(B),$ then $f^{-1}(E)$ denotes the set of all $x \in A$ such that $f(x) \in E.$ We call $f^{-1}(E)$ the inverse image of $E$ under $f.$
Referenced by (1 direct)
Direct references:
De Morgan's Laws
The complement of a union is equal to the intersection of complements.
Let $A$ and $B$ be sets. We want to show that
$$ (A \cup B)^c = A^c \cap B^c. $$
Suppose $x \in (A \cup B)^c.$ Then, if $x \in A$ or $x \in B,$ then $x \in A \cup B$ and $x \notin (A \cup B)^c,$ a contradiction. Therefore, $x \notin A$ and $x \notin B.$ That is, $x \in A^c$ and $x \in B^c,$ therefore $x \in A^c \cap B^c.$
$\square$Referenced by (2 direct)
The complement of an intersection is equal to the union of complements.
Let $A$ and $B$ be sets. We want to show that
$$ (A \cap B)^c = A^c \cup B^c. $$
Suppose $x \in (A \cap B)^c.$ Then, $x$ is not in $A \cap B,$ that is, $x$ is either not in $A$ or it is not in $B$ or it is in neither. If $x$ is not in $A,$ then it is in $A^c,$ and therefore it is in $A^c \cup B^c.$ The same approach works with $B,$ and therefore $x \in A^c \cup B^c,$ and we have shown $(A \cap B)^c = A^c \cup B^c.$
$\square$