Set Theory
A set is a collection of objects, considered as a whole.
Referenced by (23 direct, 96 transitive)
Direct references:
- Vector Space
- countable-closed-set-has-isolated-points
- Element
- Membership criterion
- Domain of Definition
- Value
- Range
- Sequence
- Inverse Image
- 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
- Component
- Differentiable
- Total derivatives are unique
- Continuously Differentiable
- Upper bound
- Lower bound
- Domain
Transitive (depth 1):
- Vector
- Scalar
- Function
- Vector Field
- Vector Function
- Scalar Function
- remark-7
- note-11
- theorem-19
- Range (sequence)
- grad-div-curl-related
- Greatest lower bound
- proof-of-compact-metric-spaces-are-complete
- remark-31
- proof-of-theorem-19
- mapping-continuous-iff-inverse-images-of-open-sets-are-open
- gradient-as-surface-normal-vector
- remark-9
- Total Derivative
- Level Surface
- Laplacian
- Least upper bound
- note-4
- remark-45
- Directional Derivative
- Jacobian Matrix
- Partial Derivative
- Cauchy Sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- Bounded (sequence)
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- Limit (Sequence)
- sequence-terms-not-distinct
- Diverge
- sequence-theorems-context
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- sequence-range-cardinality
- Term
- limit-point-implies-convergent-sequence
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
- sequence-notation
- limit-of-a-function-characterized-by-limits-of-sequences
- real-sequence-notation
- Convergent
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- note-49
- Bolzano-Weierstrass
- Subsequence
Transitive (depth 2):
- Vector Multiplication by a Scalar
- Hessian Matrix
- note-3
- euclidean-spaces-are-complete
- proof-of-theorem-50
- Complete
- Cauchy criterion for convergence
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- compact-metric-spaces-are-complete
- convergent-sequences-are-bounded
- proof-of-cauchy-criterion-for-convergence
- gravitational-potential-is-a-solution-to-laplaces-equation
- Subsequential limit
- remark-29
- Composition
- remark-44
- proof-of-function-is-continuous-at-point-iff-limit-at-point-equals-function-at-point
- Line Integral of Vector Function
- directional-derivative-is-inner-product-of-vector-and-grad
- Normal Derivative
- Tangent Plane
- Gradient
- Potential Function
- proof-of-theorem-7
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- Irrotational
- Divergence
- invariance-of-curl
- remark-16
- Cross Product
- Bound vector
- Surface Normal Vector
- Unit Vector
- Direction
- Free vector
- incompressible
- note-5
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-23
Transitive (depth 3):
The objects that make up a set are called its elements or its members.
Referenced by (3 direct, 95 transitive)
Transitive (depth 1):
- Hessian Matrix
- remark-9
- invariance-of-curl
- remark-16
- Cross Product
- Jacobian Matrix
- Bound vector
- Surface Normal Vector
- Unit Vector
- Direction
- remark-44
- Free vector
- theorem-19
- incompressible
- note-5
- Vector Multiplication by a Scalar
- remark-31
- note-3
- Value
- Continuously Differentiable
- Component
- remark-29
- Sequence
- remark-7
- Domain of Definition
- Composition
- note-11
- Range
- proof-of-function-is-continuous-at-point-iff-limit-at-point-equals-function-at-point
Transitive (depth 2):
- remark-23
- Vector Field
- Vector Function
- Scalar Function
- Range (sequence)
- grad-div-curl-related
- Tangent Vector
- Directional Derivative
- proof-of-theorem-19
- directional-derivative-is-inner-product-of-vector-and-grad
- Vector Equality
- Normal Derivative
- remark-45
- Zero Vector
- Partial Derivative
- gradient-as-surface-normal-vector
- proof-of-gradient-as-surface-normal-vector
- Cauchy Sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- Bounded (sequence)
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- Limit (Sequence)
- sequence-terms-not-distinct
- Diverge
- sequence-theorems-context
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- sequence-range-cardinality
- Term
- limit-point-implies-convergent-sequence
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
- sequence-notation
- limit-of-a-function-characterized-by-limits-of-sequences
- real-sequence-notation
- Convergent
- proof-of-theorem-27
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- note-31
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- note-49
- subsequential-limits-of-a-metric-space-form-a-closed-set
- Bolzano-Weierstrass
- Subsequence
Transitive (depth 3):
- euclidean-spaces-are-complete
- proof-of-theorem-50
- proof-of-euclidean-spaces-are-complete
- Complete
- Cauchy criterion for convergence
- proof-of-compact-metric-spaces-are-complete
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- compact-metric-spaces-are-complete
- convergent-sequences-are-bounded
- proof-of-cauchy-criterion-for-convergence
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- Line Integral of Vector Function
- Gradient
- Potential Function
- proof-of-theorem-7
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- Irrotational
- Divergence
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-23
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 (6 direct, 2 transitive)
Direct references:
Transitive (depth 1):
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 (15 direct, 64 transitive)
Direct references:
Transitive (depth 1):
- remark-31
- proof-of-theorem-19
- grad-div-curl-related
- remark-45
- Directional Derivative
- Partial Derivative
- Cauchy Sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- Bounded (sequence)
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- Limit (Sequence)
- sequence-terms-not-distinct
- Diverge
- sequence-theorems-context
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- sequence-range-cardinality
- Term
- limit-point-implies-convergent-sequence
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
- sequence-notation
- limit-of-a-function-characterized-by-limits-of-sequences
- real-sequence-notation
- Convergent
- proof-of-theorem-27
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- note-31
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- note-49
- subsequential-limits-of-a-metric-space-form-a-closed-set
- Bolzano-Weierstrass
- Subsequence
- Vector Field
- Vector Function
- Scalar Function
- Range (sequence)
Transitive (depth 2):
- euclidean-spaces-are-complete
- proof-of-theorem-50
- proof-of-euclidean-spaces-are-complete
- Complete
- Cauchy criterion for convergence
- proof-of-compact-metric-spaces-are-complete
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- compact-metric-spaces-are-complete
- convergent-sequences-are-bounded
- proof-of-cauchy-criterion-for-convergence
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- Line Integral of Vector Function
- directional-derivative-is-inner-product-of-vector-and-grad
- Normal Derivative
- gradient-as-surface-normal-vector
- Gradient
- theorem-19
- Potential Function
- proof-of-theorem-7
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- Irrotational
- Divergence
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-23
Transitive (depth 3):
Referenced by (5 direct, 14 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):
- euclidean-spaces-are-complete
- proof-of-theorem-50
- proof-of-euclidean-spaces-are-complete
- Complete
- Cauchy criterion for convergence
- proof-of-compact-metric-spaces-are-complete
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- compact-metric-spaces-are-complete
- convergent-sequences-are-bounded
- proof-of-cauchy-criterion-for-convergence
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- proof-of-theorem-7
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-23
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$