Category:Stub pages

S

• ► Stub pages of grade: A‎ (118 P)
• ► Stub pages of grade: A*‎ (92 P)
• ► Stub pages of grade: A**‎ (21 P)
• ► Stub pages of grade: A***‎ (2 P)
• ► Stub pages of grade: B‎ (44 P)

S cont.

• ► Stub pages of grade: C‎ (34 P)
• ► Stub pages of grade: D‎ (21 P)
• ► Stub pages of grade: E‎ (3 P)
• ► Stub pages of grade: F‎ (1 P)
• ► Stub pages of grade: P‎ (empty)

S cont.

• ► Stub pages of grade: U‎ (1 P)
• ► Stub pages of unknown grade‎ (47 P)
• ► Stub pages pending final review‎ (2 P)

2

• 2-Dimensional rotation matrix

A

• Example:A bijective and continuous map that is not a homeomorphism
• 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
• 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
• A continuous map induces a homomorphism between fundamental groups
• A continuous map induces a homomorphism on fundamental groups
• A function is continuous if and only if the pre-image of every basis element is open
• A linear map is injective if and only if the image of every non-zero vector is a non-zero vector
• 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
• 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
• A monotonically increasing sequence bounded above converges
• A pre-measure on a semi-ring may be extended uniquely to a pre-measure on a ring
• A set is dense if and only if every non-empty open subset contains a point of it
• A set is open if and only if every point in the set has an open neighbourhood contained within the set
• Example:A smooth function that is not real analytic
• 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
• A subset of a topological space is open if and only if it is a neighbourhood to all of its points
• A subspace of a Hausdorff space is Hausdorff
• Absolute value (object)
• Abstract Algebra (subject)
• Abstract simplicial complex
• Additive function
• Adjunction topology
• Alec's remaining probability bound
• Alec's sample mean bound
• Template:Alec's terminology
• Algebra of sets
• Alphabet (formal languages)
• Template:Amcm
• An open ball contains another open ball centred at each of its points
• ASN
• LibSR:Assertions
• Assignment (FOL)
• Axiom of completeness

B

• Basis (linear algebra)
• Basis for the tensor product
• Bastard's object
• Bernstein polynomial
• Bimorphism
• Binary multiplexor
• Boundary (topology)
• Bounded linear map
• Bounded sequence
• Bounded set
• Box topology

C

• C( )0,1( ,R) is not complete when considered with the L^1 norm
• Canonical injection of the subspace topology
• Canonical injections of the disjoint union topology
• Example:Canonical linear isomorphism between a one dimensional vector space and its field
• Canonical linear map
• Canonical projection of an equivalence relation
• Canonical projections of the product topology
• Cantor's construction of the real numbers
• Cantor's construction of the real numbers/Definition
• Cauchy sequence
• Cauchy-Schwarz inequality for inner product spaces
• Task:Characteristic property of the coproduct topology
• Characteristic property of the direct product module
• Characteristic property of the direct sum module
• Characteristic property of the disjoint union topology
• Characteristic property of the disjoint union topology/Statement
• Characteristic property of the product topology
• Characteristic property of the quotient topology
• Task:Characteristic property of the subspace topology
• Characteristic property of the subspace topology
• Characteristic property of the subspace topology/Statement
• Characteristic property of the tensor product

C cont.

• Closed interval
• Closed map
• Closure of a set in a topological space
• Combinatorics (subject)
• Common integrals table
• Comparison test for real series
• Concatenation of paths and loops (homotopy)
• Cone (topology)
• Constant function
• Constant loop based at a point
• Example:Continuous maps contracting something to a point
• Convex function
• Convex hull
• Convex set
• Coproduct
• Coproduct (category theory)
• Covering map (topology)
• Covering space
• CW-complex

D

• Definitions and iff
• Deformation retraction
• Dense
• Deriving the exponential distribution from the time between event in a Poisson distribution
• Deterministic finite automaton
• Differentiation (subject)
• Digraph
• Direct product module
• Direct sum module
• Disconnected (topology)
• Disjoint
• Disjoint union (set)
• Disjoint union topology
• Distributivity of intersections across unions
• Div and idiv (x86)
• Domain (FOL)

E

• Electric charge
• Ell^p(C) is complete for p between one and positive infinity inclusive
• Empty set
• End-point-preserving homotopic paths
• Enigma machine
• Epic
• Epigraph
• Epsilon form of inequalities
• Equivalence classes are either equal or disjoint
• Equivalence relation induced by a function
• Equivalent conditions to a map being a quotient map
• Equivalent conditions to a set being bounded
• Equivalent conditions to a set being saturated with respect to a function
• Equivalent formulas
• Equivalent statements to a set being dense
• Euclidean metric
• Evenly covered by a continuous map
• Every bijection yields an inverse function
• Every convergent sequence is Cauchy
• Every injection yields a bijection onto its image
• Every surjective map gives rise to an equivalence relation
• Exists a unique
• Exists functor
• Expectation of the geometric distribution
• Extending pre-measures to measures
• External direct sum module

F

• Factoring a continuous map through the projection of an equivalence relation induced by that map yields an injective continuous map
• Factoring a function through the projection of an equivalence relation induced by that function yields an injection
• Fibre
• Field
• Final (category theory)
• Finite complement topology

F cont.

• First group isomorphism theorem
• First order language
• Floor function
• 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
• Formal linear combination
• Formula (FOL)
• Free monoid generated by
• Free semigroup generated by
• Free vector space generated by
• Fundamental group homomorphism induced by a continuous map

G

• Generator
• Geometric distribution
• Geometric independence
• Geometric progression
• Geometric series
• Geometrically independent set
• Given a homeomorphism all subspaces of the domain are homeomorphic to their image under the homeomorphism itself
• 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
• Greater than or equal to
• Group action
• Group factorisation theorem
• Group homomorphism
• Group Theory (subject)

H

• Herbrand domain
• Hereditary set
• Hereditary sigma-ring
• Hereditary sigma-ring generated by
• Hereditary system generated by
• Hereditary system of sets
• Hexadecimal
• Hintikka set
• Homeomorphic
• Homeomorphic topological spaces have isomorphic fundamental groups
• Homomorphism
• Homotopic maps
• Homotopy
• Homotopy (object)
• Homotopy concatenation
• Homotopy equivalent topological spaces
• Homotopy invariance of loop concatenation
• Homotopy invariance of path concatenation
• Homotopy is an equivalence relation on the set of all continuous maps between spaces

I

• I.i.d (statistics)
• If A is a logical consequence of Gamma then the formula set of Gamma union the negation of A is not satisfiable
• If a real series converges then its terms tend to zero
• 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
• If a surjective function is factored through the canonical projection of the equivalence relation induced by that function then the yielded function is a bijection
• If an inner product is non-zero then both arguments are non-zero
• If and only if
• If the composition of two functions is a bijection then the initial map is injective and the latter map is surjective
• 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
• Index of elementary set theory equalities
• Index of set-like notations
• Index of spaces, sets and classes
• Inductive set
• Infimum
• Initial (category theory)
• Initial and final compared (category theory)
• Integral (measure theory)
• Integral of a simple function (measure theory)
• Integral of a simple function (measure theory)/Definition
• Intermediate value theorem
• Interpretation (FOL)
• Invariant of an equivalence relation
• Isomorphism
• Isomorphism (category theory)