Set Theory
A set is a collection of objects, considered as a whole.
Referenced by (24 direct, 124 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
- Cauchy-Riemann Equations
- Component
- Differentiable
- Total derivatives are unique
- Continuously Differentiable
Transitive (depth 1):
- remark-46
- Directional Derivative
- Partial Derivative
- Jacobian Matrix
- proof-of-@cauchys-integral-theorem
- grad-div-curl-related
- proof-of-compact-metric-spaces-are-complete
- remark-7
- note-11
- Vector Field
- Scalar Function
- Vector Function
- Range (sequence)
- mapping-continuous-iff-inverse-images-of-open-sets-are-open
- note-4
- Least upper bound
- Laplacian
- Level Surface
- Total Derivative
- remark-9
- gradient-as-surface-normal-vector
- Vector
- Scalar
- remark-32
- proof-of-theorem-19
- Greatest lower bound
- Divergence Theorem of Gauss
- Cauchy's Integral Theorem
- theorem-19
- Taylor Expansion Theorem
- Volume Integral
- Function
- Diverge
- Term
- sequence-terms-not-distinct
- Limit (Sequence)
- Cauchy Sequence
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- sequence-theorems-context
- Bounded (sequence)
- Subsequence
- sequence-range-cardinality
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- sequence-notation
- limit-point-implies-convergent-sequence
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- Convergent
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- note-49
- Bolzano-Weierstrass
- limit-of-a-function-characterized-by-limits-of-sequences
- real-sequence-notation
Transitive (depth 2):
- gravitational-potential-is-a-solution-to-laplaces-equation
- Tangent Plane
- Stoke's Theorem
- Line Integral of Vector Function
- Surface Integral over Vector Field
- Subsequential limit
- compact-metric-spaces-are-complete
- euclidean-spaces-are-complete
- Complete
- proof-of-theorem-50
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- Cauchy criterion for convergence
- convergent-sequences-are-bounded
- invariance-of-curl
- note-5
- remark-45
- Bound vector
- Unit Vector
- Surface Normal Vector
- Free vector
- Layer
- Cross Product
- intuition-13
- Direction
- remark-16
- incompressible
- Hessian Matrix
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-23
- Irrotational
- Divergence
- Potential Function
- proof-of-cauchy-criterion-for-convergence
- directional-derivative-is-inner-product-of-vector-and-grad
- Normal Derivative
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-theorem-7
- Circle of Convergence
- proof-of-function-is-continuous-at-point-iff-limit-at-point-equals-function-at-point
- remark-30
- remark-3
- Composition
- Complex Function
- Homeomorphism
- Contour Integral
- Gradient
- note-3
- Vector Multiplication by a Scalar
Transitive (depth 3):
- Surface Normal
- proof-of-gradient-as-surface-normal-vector
- Vector Equality
- Zero Vector
- Radius of Convergence
- remark-23
- analytic-implies-cr-equations
- Point Singularity
- Derivative Function
- Complex Derivative
- Analytic at a point
- Analytic
- theorem-50
- example-52
- Tangent Vector
- proof-of-integral-of-one-over-z-around-unit-circle
Transitive (depth 4):
The objects that make up a set are called its elements or its members.
Referenced by (4 direct, 123 transitive)
Direct references:
Transitive (depth 1):
- invariance-of-curl
- note-5
- remark-45
- Bound vector
- Unit Vector
- Surface Normal Vector
- remark-9
- Free vector
- Layer
- Jacobian Matrix
- Cross Product
- intuition-13
- Direction
- remark-16
- incompressible
- theorem-19
- Hessian Matrix
- note-11
- Component
- Circle of Convergence
- Continuously Differentiable
- proof-of-function-is-continuous-at-point-iff-limit-at-point-equals-function-at-point
- remark-30
- remark-3
- Domain of Definition
- Range
- Composition
- Complex Function
- Homeomorphism
- remark-7
- Value
- Contour Integral
- Sequence
- note-3
- remark-32
- Vector Multiplication by a Scalar
Transitive (depth 2):
- remark-46
- Directional Derivative
- Partial Derivative
- Normal Derivative
- directional-derivative-is-inner-product-of-vector-and-grad
- proof-of-theorem-19
- Vector Equality
- Zero Vector
- Radius of Convergence
- grad-div-curl-related
- remark-23
- Vector Field
- Scalar Function
- Vector Function
- Range (sequence)
- analytic-implies-cr-equations
- Point Singularity
- Derivative Function
- Complex Derivative
- Analytic at a point
- Analytic
- gradient-as-surface-normal-vector
- proof-of-gradient-as-surface-normal-vector
- Tangent Vector
- proof-of-integral-of-one-over-z-around-unit-circle
- proof-of-@cauchys-integral-theorem
- Diverge
- Term
- sequence-terms-not-distinct
- subsequential-limits-of-a-metric-space-form-a-closed-set
- Limit (Sequence)
- Cauchy Sequence
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- sequence-theorems-context
- Bounded (sequence)
- Subsequence
- sequence-range-cardinality
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
- note-31
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- sequence-notation
- limit-point-implies-convergent-sequence
- proof-of-theorem-27
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- Convergent
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- note-49
- Bolzano-Weierstrass
- limit-of-a-function-characterized-by-limits-of-sequences
- real-sequence-notation
Transitive (depth 3):
- Divergence Theorem of Gauss
- Stoke's Theorem
- Line Integral of Vector Function
- Surface Integral over Vector Field
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- Complex Differentiable
- proof-of-analytic-implies-cr-equations
- compact-metric-spaces-are-complete
- euclidean-spaces-are-complete
- Complete
- proof-of-euclidean-spaces-are-complete
- proof-of-theorem-50
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- proof-of-compact-metric-spaces-are-complete
- Cauchy criterion for convergence
- convergent-sequences-are-bounded
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-23
- Irrotational
- Divergence
- Potential Function
- proof-of-cauchy-criterion-for-convergence
- A theorem about radius of convergence
- theorem-7
- A theorem about the uniqueness of Taylor series as @power-series expansions
- Gradient
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-theorem-7
- Residue Theorem
- Cauchy-Riemann Equations
- Cauchy's Integral Theorem
- Taylor Expansion Theorem
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.$
Theorem
@set-equality-via-subset-inclusion
Two sets $X$ and $Y$ are equal if and only if $X$ is a subset of $Y$ and $Y$ is a subset of $X.$
Proof
@proof-of-set-equality-via-subset-inclusion
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 (25 direct, 86 transitive)
Direct references:
- Random Variables and Probability Distributions
- Machine Learning Basics
- Layer
- Domain of Definition
- Value
- Range
- Sequence
- note-11
- proof-of-function-is-continuous-at-point-iff-limit-at-point-equals-function-at-point
- Composition
- Classification of Singularities
- Derivatives of Complex Functions
- remark-3
- Contour Integral
- Complex Function
- Circle of Convergence
- Component
- remark-7
- remark-9
- Continuously Differentiable
- remark-30
- Hessian Matrix
- Jacobian Matrix
- remark-45
- Homeomorphism
Transitive (depth 1):
- remark-46
- Directional Derivative
- Partial Derivative
- Radius of Convergence
- grad-div-curl-related
- Vector Field
- Scalar Function
- Vector Function
- Range (sequence)
- analytic-implies-cr-equations
- Point Singularity
- Derivative Function
- Complex Derivative
- Analytic at a point
- Analytic
- remark-32
- proof-of-theorem-19
- proof-of-integral-of-one-over-z-around-unit-circle
- proof-of-@cauchys-integral-theorem
- Diverge
- Term
- sequence-terms-not-distinct
- subsequential-limits-of-a-metric-space-form-a-closed-set
- Limit (Sequence)
- Cauchy Sequence
- limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- sequence-theorems-context
- Bounded (sequence)
- Subsequence
- sequence-range-cardinality
- nested-sequence-of-compact-sets-with-lim-diam-zero-has-singleton-intersection
- note-31
- every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- proof-of-every-convergent-sequence-in-a-metric-space-is-a-cauchy-sequence
- sequence-notation
- limit-point-implies-convergent-sequence
- proof-of-theorem-27
- proof-of-limit-of-a-function-characterized-by-limits-of-sequences
- Convergent
- sequence-in-compact-metric-space-has-a-convergent-subsequence
- note-49
- Bolzano-Weierstrass
- limit-of-a-function-characterized-by-limits-of-sequences
- real-sequence-notation
Transitive (depth 2):
- Divergence Theorem of Gauss
- Stoke's Theorem
- Line Integral of Vector Function
- Surface Integral over Vector Field
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- compact-metric-spaces-are-complete
- euclidean-spaces-are-complete
- Complete
- proof-of-euclidean-spaces-are-complete
- proof-of-theorem-50
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- proof-of-compact-metric-spaces-are-complete
- Cauchy criterion for convergence
- Complex Differentiable
- proof-of-analytic-implies-cr-equations
- convergent-sequences-are-bounded
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-23
- Irrotational
- Divergence
- Potential Function
- proof-of-cauchy-criterion-for-convergence
- directional-derivative-is-inner-product-of-vector-and-grad
- Normal Derivative
- A theorem about radius of convergence
- theorem-7
- A theorem about the uniqueness of Taylor series as @power-series expansions
- Gradient
- gradient-as-surface-normal-vector
- theorem-19
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-theorem-7
- Residue Theorem
- intuition-13
- Cauchy-Riemann Equations
- Cauchy's Integral Theorem
- Taylor Expansion Theorem
Transitive (depth 3):
Referenced by (6 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 (3 direct)
Referenced by (1 direct, 4 transitive)
Direct references:
Transitive (depth 1):
Transitive (depth 2):
Referenced by (27 direct, 18 transitive)
Direct references:
- Machine Learning Basics
- 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):
- Subsequential limit
- proof-of-subsequential-limits-of-a-metric-space-form-a-closed-set
- compact-metric-spaces-are-complete
- euclidean-spaces-are-complete
- Complete
- proof-of-euclidean-spaces-are-complete
- proof-of-theorem-50
- proof-of-limit-of-diameter-of-remaining-points-in-cauchy-sequence-is-zero
- proof-of-compact-metric-spaces-are-complete
- Cauchy criterion for convergence
- convergent-sequences-are-bounded
- proof-of-sequence-in-compact-metric-space-has-a-convergent-subsequence
- proof-of-theorem-23
- proof-of-cauchy-criterion-for-convergence
- proof-of-limit-of-a-function-at-a-point-is-unique-if-it-exists
- proof-of-theorem-7
Transitive (depth 2):
Note
@sequence-notation
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
Theorem
@complement-of-union-is-intersection-of-complements
The complement of a union is equal to the intersection of complements.
Proof
@proof-of-complement-of-union-is-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)
Theorem
@complement-of-intersection-is-union-of-complements
The complement of an intersection is equal to the union of complements.
Proof
@proof-of-complement-of-intersection-is-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$