Pages that link to "Template:Theorem Of"
From Maths
The following pages link to Template:Theorem Of:
View (previous 500 | next 500) (20 | 50 | 100 | 250 | 500)- Continuity definitions are equivalent (transclusion) (← links)
- The intersection of sets is a subset of each set (transclusion) (← links)
- Commutativity of intersection (transclusion) (← links)
- The set of all open balls of a metric space are able to generate a topology and are a basis for that topology (transclusion) (← links)
- Triangle inequality (transclusion) (← links)
- Product topology (transclusion) (← links)
- Ordered pair (transclusion) (← links)
- The domain, range and field of a relation exist (transclusion) (← links)
- Cauchy-Schwarz inequality (transclusion) (← links)
- Euclidean norm (transclusion) (← links)
- Pullback norm (transclusion) (← links)
- Cauchy criterion for convergence (transclusion) (← links)
- Group (transclusion) (← links)
- Sigma-algebra (transclusion) (← links)
- Ring generated by (transclusion) (← links)
- Ring (transclusion) (← links)
- Measures are monotonic and subtractive (transclusion) (← links)
- Universal property of the quotient topology (transclusion) (← links)
- Compact-to-Hausdorff theorem (transclusion) (← links)
- Passing to the quotient (function) (transclusion) (← links)
- Class of sets closed under complements properties (transclusion) (← links)
- Properties of classes of sets closed under set-subtraction (transclusion) (← links)
- De Morgan's laws (transclusion) (← links)
- Sigma-algebra generated by (transclusion) (← links)
- Pre-image sigma-algebra (transclusion) (← links)
- Every map from a space with the discrete topology is continuous (transclusion) (← links)
- Pre-measure/Properties in common with measure (transclusion) (← links)
- A function is a measure iff it measures the empty set as 0, disjoint sets add, and it is continuous from below (with equiv. conditions) (transclusion) (← links)
- Discrete metric and topology/Summary (transclusion) (← links)
- Dynkin system generated by (transclusion) (← links)
- Conditions for a Dynkin system to be a sigma-algebra (transclusion) (← links)
- Conditions for a generated Dynkin system to be a sigma-algebra (transclusion) (← links)
- A collection of subsets is a sigma-algebra iff it is a Dynkin system and closed under finite intersections (transclusion) (← links)
- A map from two sigma-algebras, A and B, is measurable if and only if for some generator of B (call it G) we have the inverse image of S is in A for every S in G (transclusion) (← links)
- Conditions for a map to be a measurable map (transclusion) (← links)
- Composition of measurable maps is measurable (transclusion) (← links)
- Borel sigma-algebra generated by (transclusion) (← links)
- Borel sigma-algebra (transclusion) (← links)
- Compactness/Uniting covers proof (transclusion) (← links)
- Union of subsets is a subset of the union (transclusion) (← links)
- Basis for a topology (transclusion) (← links)
- Dynkin system/Proof that definitions 1 and 2 are equivalent (transclusion) (← links)
- Set subtraction (transclusion) (← links)
- Equivalent statements to compactness of a metric space/Statement (transclusion) (← links)
- Equivalent statements to compactness of a metric space (transclusion) (← links)
- Every sequence in a compact space is a lingering sequence (transclusion) (← links)
- Every lingering sequence has a convergent subsequence (transclusion) (← links)
- If a subsequence of a Cauchy sequence converges then the Cauchy sequence itself also converges (transclusion) (← links)
- Topology theorems (transclusion) (← links)
- Exists functor (transclusion) (← links)
- Equivalent conditions for a linear map between two normed spaces to be continuous everywhere (transclusion) (← links)
- Negation of implies (transclusion) (← links)
- Equivalent conditions for a linear map between two normed spaces to be continuous everywhere/1 implies 2 (transclusion) (← links)
- Equivalent conditions for a linear map between two normed spaces to be continuous everywhere/2 implies 3 (transclusion) (← links)
- Equivalent conditions for a linear map between two normed spaces to be continuous everywhere/3 implies 4 (transclusion) (← links)
- Equivalent conditions for a linear map between two normed spaces to be continuous everywhere/4 implies 1 (transclusion) (← links)
- Equivalence of Cauchy sequences/Proof (transclusion) (← links)
- Integral of a positive function (measure theory) (transclusion) (← links)
- Reverse triangle inequality (transclusion) (← links)
- Every convergent sequence is Cauchy (transclusion) (← links)
- Pre-image sigma-algebra/Proof of claim: it is a sigma-algebra (transclusion) (← links)
- Trace sigma-algebra/Proof of claim that it actually is a sigma-algebra (transclusion) (← links)
- Continuous map/Claim: continuous iff continuous at every point (transclusion) (← links)
- The (pre-)measure of a set is no more than the sum of the (pre-)measures of the elements of a covering for that set/Statement (transclusion) (← links)
- The (pre-)measure of a set is no more than the sum of the (pre-)measures of the elements of a covering for that set (transclusion) (← links)
- Extending pre-measures to outer-measures (transclusion) (← links)
- Greater than or equal to/Epsilon form (transclusion) (← links)
- Passing to the infimum (transclusion) (← links)
- Characteristic property of the quotient topology (transclusion) (← links)
- Passing to the quotient (topology) (transclusion) (← links)
- Passing to the quotient (topology)/Statement (transclusion) (← links)
- The stages of a homotopy are continuous (transclusion) (← links)
- Characteristic property of the product topology (transclusion) (← links)
- Characteristic property of the product topology/Statement (transclusion) (← links)
- Urysohn's lemma (transclusion) (← links)
- Lebesgue number lemma (transclusion) (← links)
- Given a topological manifold of dimension 2 or more and points p1, p2 and q where q is neither p1 nor p2 then a path from p1 to p2 is path-homotopic to a path that doesn't go through q (transclusion) (← links)
- A continuous map induces a homomorphism between fundamental groups (transclusion) (← links)
- The relation of path-homotopy is preserved under composition with continuous maps (transclusion) (← links)
- Induced homomorphism on fundamental groups (transclusion) (← links)
- Passing to the infimum/Statement (transclusion) (← links)
- The set of all mu*-measurable sets is a ring (transclusion) (← links)
- The set of all mu*-measurable sets is a sigma-ring (transclusion) (← links)
- Axiom of completeness/Statement (transclusion) (← links)
- Axiom of completeness (transclusion) (← links)
- Mean value theorem (transclusion) (← links)
- Products and coproducts of groups (transclusion) (← links)
- First group isomorphism theorem (transclusion) (← links)
- Group factorisation theorem (transclusion) (← links)
- Function factorisation theorem (transclusion) (← links)
- Group homomorphism theorem (transclusion) (← links)
- Overview of the group isomorphism theorems (transclusion) (← links)
- Task:Characteristic property of the subspace topology (transclusion) (← links)
- Task:Characteristic property of the coproduct topology (transclusion) (← links)
- R^n is a topological vector space (transclusion) (← links)
- Epsilon form of inequalities (transclusion) (← links)
- Extending pre-measures to measures (transclusion) (← links)
- The set of all mu*-measurable sets forms a sigma-ring (transclusion) (← links)
- The set of all mu*-measurable sets forms a ring (transclusion) (← links)
- A pre-measure on a semi-ring may be extended uniquely to a pre-measure on a ring (transclusion) (← links)
- The ring of sets generated by a semi-ring is the set containing the semi-ring and all finite disjoint unions (transclusion) (← links)
- Distributivity of intersections across unions (transclusion) (← links)
- Semi-ring of half-closed-half-open intervals (transclusion) (← links)
- A subset of a topological space is open if and only if it is a neighbourhood to all of its points (transclusion) (← links)
- An open set is a neighbourhood to all of its points (transclusion) (← links)
- If a set is a neighbourhood to all of its points then it is open (transclusion) (← links)
- If A is a logical consequence of Gamma then the formula set of Gamma union the negation of A is not satisfiable (transclusion) (← links)
- Equivalent formulas (transclusion) (← links)
- Homotopy is an equivalence relation on the set of all continuous maps between spaces (transclusion) (← links)
- The relation of maps being homotopic is an equivalence relation (transclusion) (← links)
- Topology generated by a basis (transclusion) (← links)
- Basis criterion (topology) (transclusion) (← links)
- The basis criterion (topology)/Statement (transclusion) (← links)
- The basis criterion (topology) (transclusion) (← links)
- Characteristic property of the disjoint union topology/Statement (transclusion) (← links)
- Characteristic property of the disjoint union topology (transclusion) (← links)
- Characteristic property of the subspace topology (transclusion) (← links)
- Characteristic property of the subspace topology/Statement (transclusion) (← links)
- Composition of continuous maps is continuous (transclusion) (← links)
- The composition of continuous maps is continuous (transclusion) (← links)
- Canonical injection of the subspace topology (transclusion) (← links)
- The canonical injections of the disjoint union topology are topological embeddings (transclusion) (← links)
- Task:Equivalent properties to homeomorphism (transclusion) (← links)
- Every surjective map gives rise to an equivalence relation (transclusion) (← links)
- Equivalent statements to a set being dense (transclusion) (← links)
- A set is dense if and only if every non-empty open subset contains a point of it (transclusion) (← links)
- A topological space is connected if and only if the only sets that are both open and closed in the space are the entire space itself and the emptyset (transclusion) (← links)
- Every continuous map from a non-empty connected space to a discrete space is constant (transclusion) (← links)
- A topological space is disconnected if and only if there exists a non-constant continuous function from the space to the discrete space on two elements (transclusion) (← links)
- A topological space is disconnected if and only if it is homeomorphic to a disjoint union of two or more non-empty topological spaces (transclusion) (← links)
- A subset of a topological space is disconnected if and only if it can be covered by two non-empty-in-the-subset and disjoint-in-the-subset sets that are open in the space itself (transclusion) (← links)
- A subset of a topological space is disconnected if and only if it can be covered by two non-empty-in-the-subset and disjoint-in-the-subset sets that are open in the space itself/Statement (transclusion) (← links)
- The image of a connected set is connected (transclusion) (← links)
- Image of a connected set is connected (transclusion) (← links)
- The image of a compact set is compact (transclusion) (← links)
- Factoring a function through the projection of an equivalence relation induced by that function yields an injection (transclusion) (← links)
- Factoring a continuous map through the projection of an equivalence relation induced by that map yields an injective continuous map (transclusion) (← links)
- If a surjective continuous map is factored through the canonical projection of the equivalence relation induced by that map then the yielded map is a continuous bijection (transclusion) (← links)
- Every subspace of a Hausdorff space is Hausdorff (transclusion) (← links)
- A subspace of a Hausdorff space is Hausdorff (transclusion) (← links)
- A subspace of a Hausdorff space is a Hausdorff space (transclusion) (← links)
- Properties of the pre-image of a map (transclusion) (← links)
- A map is continuous if and only if the pre-image of every closed set is closed (transclusion) (← links)
- A map is continuous if and only if each point in the domain has an open neighbourhood for which the restriction of the map is continuous on (transclusion) (← links)
- A set is open if and only if every point in the set has an open neighbourhood contained within the set (transclusion) (← links)
- Pasting lemma (transclusion) (← links)
- Equivalent conditions to a set being saturated with respect to a map (transclusion) (← links)
- Equivalent conditions to a set being saturated with respect to a function (transclusion) (← links)
- Equivalent conditions to a map being a quotient map (transclusion) (← links)
- Characteristic property of the direct product module (transclusion) (← links)
- Characteristic property of the direct sum module (transclusion) (← links)
- Module factorisation theorem (transclusion) (← links)
- The intersection of two sets is non-empty if and only if there exists a point in one set that is in the other set (transclusion) (← links)
- Intersection is commutative (transclusion) (← links)
- Equivalent conditions to a set being bounded/Statement (transclusion) (← links)
- Equivalent conditions to a set being bounded (transclusion) (← links)
- Proof that the fundamental group is actually a group (transclusion) (← links)
- Function factorisation (transclusion) (← links)
- Proof that the fundamental group is actually a group/Outline (transclusion) (← links)
- Homotopy invariance of loop concatenation (transclusion) (← links)
- Homotopy invariance of path concatenation (transclusion) (← links)
- Equivalence classes are either equal or disjoint (transclusion) (← links)
- The vector space of all linear maps between two spaces (transclusion) (← links)
- A linear map is injective if and only if the image of every non-zero vector is a non-zero vector (transclusion) (← links)
- UTLOC:1 (transclusion) (← links)
- If a real series converges then its terms tend to zero (transclusion) (← links)
- Operations on convergent sequences of real numbers (transclusion) (← links)
- Comparison test for real series/Statement (transclusion) (← links)
- A monotonically increasing sequence bounded above converges (transclusion) (← links)
- Comparison test for real series (transclusion) (← links)
- Weierstrass approximation theorem (transclusion) (← links)
- Proof that the symmetric group is actually a group (transclusion) (← links)
- Characteristic property of the tensor product/Statement (transclusion) (← links)
- Characteristic property of the tensor product (transclusion) (← links)
- Basis for the tensor product (transclusion) (← links)
- The dual space to the dual space of a vector space is canonically isomorphic to the vector space (transclusion) (← links)
- A linear map is injective if and only if the kernel contains only the zero vector (transclusion) (← links)
- The composition of end-point-preserving-homotopic paths with a continuous map yields end-point-preserving-homotopic paths (transclusion) (← links)
- A continuous map induces a homomorphism on fundamental groups (transclusion) (← links)
- The induced fundamental group homomorphism of a composition of continuous maps is the same as the composition of their induced homomorphisms/Statement (transclusion) (← links)
- The induced fundamental group homomorphism of a composition of continuous maps is the same as the composition of their induced homomorphisms (transclusion) (← links)
- The induced fundamental group homomorphism of the identity map is the identity map of the fundamental group (transclusion) (← links)
- The induced fundamental group homomorphism of the identity map is the identity map of the fundamental group/Statement (transclusion) (← links)
- Homeomorphic topological spaces have isomorphic fundamental groups/Statement (transclusion) (← links)
- If the composition of two functions is a bijection then the initial map is injective and the latter map is surjective (transclusion) (← links)
- The intersection of an arbitrary family of Dynkin systems is itself a Dynkin system (transclusion) (← links)
- A collection of subsets is a sigma-algebra if and only if it is both a p-system and a d-system (transclusion) (← links)
- A function is continuous if and only if the pre-image of every basis element is open (transclusion) (← links)
- Negation of logical and (transclusion) (← links)
- A compact and convex subset of Euclidean n-space with non-empty interior is a closed n-cell and its interior is an open n-cell/Statement (transclusion) (← links)
- A compact and convex subset of Euclidean n-space with non-empty interior is a closed n-cell and its interior is an open n-cell (transclusion) (← links)
- Metric topology (transclusion) (← links)
- An open ball contains another open ball centred at each of its points (transclusion) (← links)
- If the intersection of two open balls is non-empty then for every point in the intersection there is an open ball containing it in the intersection (transclusion) (← links)
- Given two open balls sharing the same centre but with differing radius then the one defined to have a strictly smaller radius is contained in the other (transclusion) (← links)
- Topology induced by a metric (transclusion) (← links)
- Index of elementary set theory equalities (transclusion) (← links)
- A cap (B-C) = (A cap B) - C (transclusion) (← links)
- A-(A-B) = A cap B (transclusion) (← links)
- A linear map is injective if and only if its kernel is trivial (transclusion) (← links)
- The singular homology groups of a 1-point space are all trivial except the zeroth which is isomorphic to the integers (transclusion) (← links)
- For a vector subspace of a topological vector space if there exists a non-empty open set contained in the subspace then the spaces are equal (transclusion) (← links)
- A proper vector subspace of a topological vector space has no interior (transclusion) (← links)
- The interior of a set in a topological space is equal to the union of all interior points of that set (transclusion) (← links)
- Intermediate value theorem (transclusion) (← links)
- Given a homeomorphism all subspaces of the domain are homeomorphic to their image under the homeomorphism itself (transclusion) (← links)
- Borel sigma-algebra of the real line (transclusion) (← links)
- Unique lifting property (transclusion) (← links)
- A pair of identical elements is a singleton (transclusion) (← links)
- Rewriting for-all and exists within set theory (transclusion) (← links)
- There is no set of all sets (transclusion) (← links)
- A sequence consisting of the nth terms of the sequences in a Cauchy sequence of elements in any little-L space is itself a Cauchy sequence of complex numbers (transclusion) (← links)
- The little-L spaces are complete (transclusion) (← links)
- The little-L(C) spaces are complete (transclusion) (← links)
- A set is bounded if and only if for all points in the space there is a positive real such that the distance from that point to any point in the set is less than the positive real (transclusion) (← links)
- If two charts are smoothly compatible with an atlas then they are smothly compatible with each other (transclusion) (← links)
- Cauchy-Schwarz inequality for inner product spaces (transclusion) (← links)
- Given a Hilbert space and a non-empty, closed and convex subset then for each point in the space there is a closest point in the subset (transclusion) (← links)
- The closure of a linear subspace of a normed space is a linear subspace (transclusion) (← links)
- If an inner product is non-zero then both arguments are non-zero (transclusion) (← links)
- For any vector subspace of a Hilbert space the orthogonal complement and the closure of that subspace form a direct sum of the entire space (transclusion) (← links)
- The norm of a space is a uniformly continuous map with respect to the topology it induces (transclusion) (← links)
- Monotonicity of the integral of non-negative extended-real-valued measurable functions with respect to a measure (transclusion) (← links)
- Monotone convergence theorem for non-negative numerical measurable functions (transclusion) (← links)
- Monotone convergence theorem for non-negative numerical measurable functions/Statement (transclusion) (← links)
- C( )0,1( ,R) is not complete when considered with the L^1 norm (transclusion) (← links)
- Homotopy of maps is an equivalence relation (transclusion) (← links)
- Square lemma (of homotopic paths) (transclusion) (← links)
- Geometric series (transclusion) (← links)
- Law of total probability (transclusion) (← links)
- The sum of two random variables with Poisson distributions is a Poisson distribution itself (transclusion) (← links)
- Mdm of the Poisson distribution (transclusion) (← links)
- Deriving the exponential distribution from the time between event in a Poisson distribution (transclusion) (← links)
- Expectation of the geometric distribution (transclusion) (← links)
- Addition of Poisson distributions (transclusion) (← links)
- Variance of the geometric distribution (transclusion) (← links)
- Mdm of a discrete distribution lemma (transclusion) (← links)
- Time between events of a Poisson distribution (transclusion) (← links)
- Deriving the exponential distribution from the Poisson distribution (transclusion) (← links)