Category:Mathematical fact
This category is part of modular mathematics and is for facts, that is, statements known to be true. These include theorems, lemmas, corollaries and propositions.
Pages in category "Mathematical fact"
The following 200 pages are in this category, out of 347 total.
(previous page) (next page)A
- Affin-lineare mapping/Values on affine basis/Fact
- Affine space/Affine Basis/Barycentric coordinates/Fact
- Affine space/Affine basis/Hyperplane realization/Fact
- Affine space/Affine subspace/Characterization/Fact
- Affine space/Affine subspace/Intersection property/Fact
- Affine space/Finite point family/Affinely independent/Characterization/Fact
- Affine space/Point set/Barycentric combination/Point/Fact
- Affine space/Point set/Generated affine subspace/Fact
- Affine varieties/Under geometric deformation/Transcendental not affine, algebraic affine/Fact
- Affine-linear mapping/Barycentric combination/Fact
- Affine-linear mapping/Fixed point/Linear/Fact
- Affine-linear mapping/Functorial properties/Fact
- Alternating mapping/Swap property/Fact
B
C
- Cayley-Hamilton/Fact
- Cayley-Hamilton/Matrix version/Fact
- Cayley-Hamilton/Minimal polynomial and characteristic polynomial/Fact
- Characteristic polynomial/Coprime factorization/Direct sum/Fact
- Characteristic polynomial/Direct sum decomposition/Fact
- Cohen-Macaulay graded ring/Positive characteristic/Parameter/Tight closure/Degree criterion/Inclusion/Fact
- Cohen-Macaulay ring/Positive characteristic/Cohomological criterion for tight closure/Fact
- Compact interval/Real function/Riemann integrable on partition/Fact
- Complex Conjugation/Rules/Fact
- Complex numbers/Conjugation/Real part imaginary part/Fact
- Complex numbers/Field/Fact
- Complex numbers/Modulus/Rules/Fact
- Complex numbers/Real and imaginary part/Properties/Fact
- Continuous function/Closed bounded interval/Maximum is attained/Fact
- Continuous Function/Primitive function exists/Fact
- Continuous function/R/Intermediate value theorem/0-version/Fact
- Continuous function/R/Intermediate value theorem/Fact
- Convergent power series/R/Primitive function/Fact
- Convergent power series/R/Taylor series/Coincidence/Fact
- Cyclotomic equation over C/Explicit description/Fact
D
- Determinant function/Behavior under row operations/Fact
- Determinant function/Uniquely determined/Fact
- Determinant/Field/Upper triangular matrix/Fact
- Determinant/Laplace expansion/Fact
- Determinant/Leibniz formula/Fact
- Determinant/Multiplication theorem/Fact
- Determinant/Recursively/Alternating/Fact
- Determinant/Recursively/Alternating/Swap property/Fact
- Determinant/Recursively/Multilinear/Fact
- Determinant/Transposed matrix/Universal property/Fact
- Determinant/Zero, linear dependent and rank property/Fact
- Differentiable function/D in R/Chain rule/Fact
- Differentiable function/D in R/Continuity in point/Fact
- Differentiable function/D in R/Inverse function/Fact
- Differentiable function/D in R/Linear approximation/Fact
- Differentiable function/D in R/Rules/Fact
- Differentiable function/D open in K/Chain rule/Fact
- Differentiable function/D open in K/Rules/Fact
- Differentiable function/Mean value theorem/Quotient version/Fact
- Differentiable functions/Mean value theorem/Fact
- Direct sum/Linear mapping/Fact
- Divisibility theory (Z)/Lemma of Bezout/Fact
- Division with remainder/Z/Fact
- Dual mapping/Dual basis/Matrix/Fact
E
- Eigenspaces/Direct sum/Dimension/Fact
- Eigenvalues/Endomorphism/Matrix/Fact
- Eigenvalues/Endomorphism/Under Isomorphism/Fact
- Endomorphism/Characteristic polynomial/Different linear factors/Diagonalizable/Fact
- Endomorphism/Diagonalizable/Algebraic and geometric multiplicity/Fact
- Endomorphism/Eigenspaces are linear subspaces/Zero/Fact
- Endomorphism/Eigenvalue and characteristic polynomial/Fact
- Endomorphism/Eigenvalue/Invariant hyperplane/Fact
- Endomorphism/Eigenvectors/Linearly independent/Fact
- Endomorphism/Finite-dimensional/Minimal polynomial/Principal ideal/Fact
- Endomorphism/Generalized eigenspace/Algebraic multiplicity/Fact
- Endomorphism/Geometric and algebraic multiplicity/Fact
- Endomorphism/Invariant linear subspace/Minimal polynomial/Divisibility/Fact
- Endomorphism/Invariant linear subspace/Polynomial/Action/Fact
- Endomorphism/Polynomial/Eigenvector/Fact
- Endomorphism/Real/Two-dimensional invariant/Fact
- Endomorphism/Trigonalizable/Canonical additive decomposition/Fact
- Endomorphism/Trigonalizable/Direct sum/Fact
- Endomorphismus/Finite dimensional/Change of basis/Fact
- Euclidean plan/Proper isometry/Rotation/Fact
- Euclidean plane/Improper isometry/Axis reflection/Fact
- Euclidean space/Isometry/Structure/Fact
- Euclidean vector space/Isometry with standard space/Fact
- Euclidean vector space/Isometry/Orthogonal/Fact
- Euclidean vector space/R^3/Isometry/Eigenvector/Fact
- Euclidean vector space/R^3/Proper isometry/Fact
- Euclidean vector space/R^3/Proper isometry/Representation/Fact
- Exponential series/Real/Absolute convergence/Fact
- Exponential series/Real/Elementary properties/Fact
- Exponential series/Real/Functional equation/Fact
F
- Field/Basic properties/Fact
- Field/Binomi/Fact
- Field/Domain/Fact
- Field/Two ideals/Fact
- Field/Uniqueness of negative and inverse element/Fact
- Finite field/Smooth projective curve/Vector bundel/Etale trivializable and Frobenius periodicity/Fact
- Finite field/Smooth projective curve/Vector bundle/Affineness and nonexistence of curves/Fact
- Finite field/Smooth projective curve/Vector bundle/Finite annihilation/Harder-Narasimhan-criterion/Fact
- Finite field/Smooth projective curve/Vector bundle/Strongly semistable degree 0/Trivializable/Fact
- Finite field/Smooth projective curve/Vector bundle/Strongly semistable degree nonnegative/Finite annihilation/Fact
- Finite permutation group/Cardinality/Fact
- Finite permutation/Representation with transpositions/Fact
- Finite-dimensional vector space/Dual basis/Basis/Fact
- Finite-dimensional vector space/Linear mapping/Two generalized eigenspaces/Fact
- Finite-dimensional vector space/Linear subspace/Kernel/Solution space/Fact
- Forcing algebra/Primary ideal/Induced torsor/Fact
- Forcing algebra/Relation to tight closure/Local cohomology/Characterization/Fact
- Function/R/Limit/Epsilon/Characterizations/Fact
- Function/R/Limit/Epsilon/Rules/Fact
- Fundamental theorem of algebra/Nonconstant polynomial/Zero/Fact
- Fundamental theorem of calculus/Riemann/Fact
H
- Hilbert-Kunz multiplicity/Two-dimensional graded/Brenner-Trivedi-formula/Fact
- Hilbert-Kunz multiplicity/Two-dimensional graded/Formula for maximal ideal in plane case/Fact
- Hilbert-Kunz/Invariant ring/Coinvariants/Fact
- Hilbert-Kunz/Invariant ring/Coinvariants/Polynomial ring/Fact
- Hilbert-Kunz/Relative two-dimensional situation/Limit and interpretation/Fact
- Homogeneous linear system/Dimension estimate/Fact
- Homomorphism space/Bases/Matrices/Fact
- Homomorphism space/Dimension/Fact
- Homomorphism space/Direct sum decomposition/Fact
- Homomorphism space/Functorial properties/Fact
- Homomorphism space/Linear subspaces/Fact
- Hospital/Differentiable in inner interval/Fact
- Hyperbolic function/R/Monotonicity properties/Fact
- Hyperbolic functions/R/Elementary properties/Fact
- Hyperplane/Kernel of a linear form/Fact
I
- Inner product/K/Cauchy-Schwarz/Fact
- Inner product/K/Norm/Properties/Fact
- Inner product/K/Polarization identity with norm/Fact
- Integration by parts/Fact
- Integration/Substitution/dx version/Fact
- Integration/Substitution/Fact
- Interval/Continuous function/Riemann integrable/Fact
- Interval/Primitive function/Constant difference/Fact
- Inverse trigonometric functions/Derivative/Fact
- Invertible matrix/Finite order/C/Diagonalizable/Fact
- Invertible matrix/Staircase form/Identity matrix/Fact
- Isometry/C/Diagonalizable/Fact
- Isometry/Several characterizations with orthonormal basis/Fact
L
- Linear independence/Test with linear forms/Fact
- Linear inhomogeneous system/Elimination/Echelon form and triangular form/Fact
- Linear inhomogeneous system/Elimination/Echelon form/Fact
- Linear inhomogeneous system/Strictly triangular/Solution/Fact
- Linear isometrie/Space/Fixed point on football/Fact
- Linear isometry/Determinant is 1 or -1/Fact
- Linear mapping/Bijective/Inverse mapping linear/Fact
- Linear mapping/Composition/Fact
- Linear mapping/Determination on basis/Fact
- Linear mapping/Diagonalizable/Characterizations/Fact
- Linear mapping/Diagonalizable/Direct sum of eigenspaces/Fact
- Linear mapping/Different eigenvalues/Diagonalizable/Fact
- Linear mapping/Dimension formula/Fact
- Linear mapping/Dual mapping/Functorial properties/Fact
- Linear mapping/Eigenspace as kernel/Fact
- Linear mapping/Eigenspace for different eigenvalues/Zero/Fact
- Linear mapping/Eigenvalue zero/Characterization/Fact
- Linear mapping/Finite dimensional/Change of basis/Fact
- Linear mapping/Finite dimensional/Eigenvalues bounded by dimension/Fact
- Linear mapping/Image and preimage/Linear subspaces/Fact
- Linear mapping/Kernel/Injectivity/Fact
- Linear mapping/Matrix and basis/Rank/Fact
- Linear mapping/Matrix to bases/Correspondence/Fact
- Linear mapping/Matrix to basis/Several properties/Fact
- Linear mapping/Matrix/Commutative diagram/Fact
- Linear mapping/Matrix/Composition/Fact
- Linear mapping/To finite-dimensional/Representation with linear forms/Fact
- Linear mapping/Trigonalizable/Characterization with characteristic polynomial/Fact
- Linear mapping/Trigonalizable/Characterizations/1/Fact
- Linear subspace/Dual space/Orthogonal space/Correspondence/Fact
- Linear subspace/Intersection/Dimension estimate/Fact
- Linear subspace/Sum and intersection/Dimension/Fact
- Linear system/Cramer's rule/Fact
- Linear system/Elimination lemma/Fact
- Linear system/Superposition principle/Fact
- Linear system/Superposition principle/Homogeneous and inhomogeneous/Fact
- Linearly independent/Simple properties/Fact
- Logarithm/Base/Rules/Fact
M
- Main theorem of calculus/Riemann/Newton-Leibniz-formula/Fact
- Mapping/Composition/Associativity/Fact
- Matrix/Adjugate matrix/Formula with determinant/Fact
- Matrix/Elementary row operations/Elementary matrix from left/Fact
- Matrix/Equivalent/Eigenvalue/Fact
- Matrix/Row rank and column rank/Fact
- Matrix/Row rank and column rank/Manipulations/Fact
- Matrix/Staircase form by elementary manipulations/Fact
- Mean value theorem for definite integrals/Riemann/Fact
- Minimal polynomial and characteristic polynomial/Same zeroes/Fact
- Multilinear mapping/Distributivity law/Fact
N
- Natural logarithm/Derivative/Fact
- Natural logarithm/Functional equation/Bijection/Continuity/Monotonicity/Fact
- Natural numbers/Proofs/Induction principle/Fact
- Nilpotent endomorphism/Characterization on basis/Fact
- Nilpotent endomorphism/Jordan normal form/Fact
- Nilpotent endomorphism/Jordan normal form/Mapping lemma/Fact
- Nilpotent endomorphism/Minimal polynomial/Fact
- Nilpotent endomorphism/Successive kernels/Fact
- Nilpotent endomorphism/Trigonalizable/Fact