Category:Mathematical proof
Pages in category "Mathematical proof"
The following 200 pages are in this category, out of 285 total.
(previous page) (next page)A
- Affin-lineare mapping/Values on affine basis/Fact/Proof
- Affine space/Affine Basis/Barycentric coordinates/Fact/Proof
- Affine space/Affine basis/Hyperplane realization/Fact/Proof
- Affine space/Affine subspace/Characterization/Fact/Proof
- Affine space/Affine subspace/Intersection property/Fact/Proof
- Affine space/Point set/Generated affine subspace/Fact/Proof
- Affine varieties/Under geometric deformation/Transcendental not affine, algebraic affine/Fact/Proof
- Affine-linear mapping/Barycentric combination/Fact/Proof
- Affine-linear mapping/Fixed point/Linear/Fact/Proof
- Affine-linear mapping/Functorial properties/Fact/Proof
- Alternating mapping/Swap property/Fact/Proof
B
C
- Cayley-Hamilton/Fact/Proof
- Cayley-Hamilton/Matrix version/Fact/Proof
- Cayley-Hamilton/Minimal polynomial and characteristic polynomial/Fact/Proof
- Characteristic polynomial/Coprime factorization/Direct sum/Fact/Proof
- Characteristic polynomial/Direct sum decomposition/Fact/Proof
- Cohen-Macaulay graded ring/Positive characteristic/Parameter/Tight closure/Degree criterion/Inclusion/Fact/Proof
- Cohen-Macaulay ring/Positive characteristic/Cohomological criterion for tight closure/Fact/Proof
- Complex numbers/Field/Fact/Proof
- Complex numbers/Modulus/Rules/Fact/Proof
- Continuity in a point/K/Characterization/Fact/Proof
- Continuous Function/Primitive function exists/Fact/Proof
- Continuous function/R/Intermediate value theorem/0-version/Fact/Proof
- Continuous function/R/Intermediate value theorem/Fact/Proof
- Convergent power series/R/Taylor series/Coincidence/Fact/Proof
- Cosine/R/Addition theorem/Power series direct/Fact/Proof
- Cyclotomic equation over C/Explicit description/Fact/Proof
D
- Determinant function/Behavior under row operations/Fact/Proof
- Determinant function/Uniquely determined/Fact/Proof
- Determinant/Field/Upper triangular matrix/Fact/Proof
- Determinant/Laplace expansion/Fact/Proof
- Determinant/Leibniz formula/Fact/Proof
- Determinant/Multiplication theorem/Fact/Proof
- Determinant/Recursively/Alternating/Fact/Proof
- Determinant/Recursively/Multilinear/Fact/Proof
- Determinant/Transposed matrix/Universal property/Fact/Proof
- Determinant/Zero, linear dependent and rank property/Fact/Proof
- Differentiable function/D in R/Chain rule/Fact/Proof
- Differentiable function/D in R/Continuity in point/Fact/Proof
- Differentiable function/D in R/Inverse function/Fact/Proof
- Differentiable function/D in R/Linear approximation/Fact/Proof
- Differentiable function/D in R/Rules/Fact/Proof
- Differentiable function/D open in K/Chain rule/Fact/Proof
- Differentiable function/D open in K/Linear approximation/Fact/Proof
- Differentiable function/D open in K/Rules/Fact/Proof
- Differentiable function/Mean value theorem/Quotient version/Fact/Proof
- Differentiable functions/Mean value theorem/Fact/Proof
- Direct sum/Linear mapping/Fact/Proof
- Dual mapping/Dual basis/Matrix/Fact/Proof
E
- Eigenspaces/Direct sum/Dimension/Fact/Proof
- Eigenvalues/Endomorphism/Matrix/Fact/Proof
- Eigenvalues/Endomorphism/Under Isomorphism/Fact/Proof
- Endomorphism/Diagonalizable/Algebraic and geometric multiplicity/Fact/Proof
- Endomorphism/Eigenspaces are linear subspaces/Zero/Fact/Proof
- Endomorphism/Eigenvalue and characteristic polynomial/Fact/Proof
- Endomorphism/Eigenvalue/Invariant hyperplane/Fact/Proof
- Endomorphism/Eigenvectors/Linearly independent/Fact/Proof
- Endomorphism/Generalized eigenspace/Algebraic multiplicity/Fact/Proof
- Endomorphism/Geometric and algebraic multiplicity/Fact/Proof
- Endomorphism/Invariant linear subspace/Minimal polynomial/Divisibility/Fact/Proof
- Endomorphism/Invariant linear subspace/Polynomial/Action/Fact/Proof
- Endomorphism/Polynomial/Eigenvector/Fact/Proof
- Endomorphism/Real/Two-dimensional invariant/Fact/Proof
- Endomorphism/Trigonalizable/Canonical additive decomposition/Fact/Proof
- Endomorphism/Trigonalizable/Direct sum/Fact/Proof
- Endomorphismus/Finite dimensional/Change of basis/Fact/Proof
- Equivalence classes/Partition/Quotient set/Properties/Fact/Proof
- Equivalence relation/Quotient set/Universal property/Fact/Proof
- Euclidean plan/Proper isometry/Rotation/Fact/Proof
- Euclidean plane/Improper isometry/Axis reflection/Fact/Proof
- Euclidean space/Isometry/Structure/Fact/Proof
- Euclidean vector space/Isometry with standard space/Fact/Proof
- Euclidean vector space/Isometry/Orthogonal/Fact/Proof
- Euclidean vector space/R^3/Isometry/Eigenvector/Fact/Proof
- Euclidean vector space/R^3/Proper isometry/Fact/Proof
- Euclidean vector space/R^3/Proper isometry/Representation/Fact/Proof
- Exponential series/Real/Absolute convergence/Fact/Proof
- Exponential series/Real/Elementary properties/Fact/Proof
- Exponential series/Real/Functional equation/Fact/Proof
F
- Field/Basic properties/Fact/Proof2
- Field/Binomi/Fact/Proof
- Field/Domain/Fact/Proof
- Field/Two ideals/Fact/Proof
- Field/Uniqueness of negative and inverse element/Fact/Proof2
- Finite field/Smooth projective curve/Vector bundle/Affineness and nonexistence of curves/Fact/Proof
- Finite field/Smooth projective curve/Vector bundle/Finite annihilation/Harder-Narasimhan-criterion/Fact/Proof
- Finite field/Smooth projective curve/Vector bundle/Strongly semistable degree 0/Trivializable/Fact/Proof
- Finite field/Smooth projective curve/Vector bundle/Strongly semistable degree nonnegative/Finite annihilation/Fact/Proof
- Finite permutation group/Cardinality/Fact/Proof
- Finite permutation/Representation with transpositions/Fact/Proof
- Finite-dimensional vector space/Dual basis/Basis/Fact/Proof
- Finite-dimensional vector space/Linear mapping/Two generalized eigenspaces/Fact/Proof
- Forcing algebra/Primary ideal/Induced torsor/Fact/Proof
- Function/R/Limit/Epsilon/Rules/Fact/Proof
- Fundamental theorem of calculus/Riemann/Fact/Proof
G
- Geometric series/Real/Convergence/Absolutely/Fact/Proof
- Group homomorphism/Factorization/Fact/Proof
- Group homomorphism/Homomorphism theorem/Surjective and kernel/Fact/Proof
- Group homomorphism/Image/Subgroup/Fact/Proof
- Group homomorphism/Injectivity and kernel/Fact/Proof
- Group homomorphism/Inverse to inverse/Fact/Proof
- Group homomorphism/Kernel/Normal subgroup/Fact/Proof
- Group homomorphism/Kernel/Subgroup/Fact/Proof
- Group homomorphism/Surjective and residue class group/Fact/Proof
- Group homomorphism/Z to group/Fact/Proof
- Group theory (algebra)/Lagrange's theorem/Fact/Proof
- Group theory/Cosets/Properties/Fact/Proof
- Group theory/Isomorphism theorem for residue class groups/Fact/Proof
- Group theory/Lagrange/Order of an element/Fact/Proof
- Group/Inverse element/Unique/Fact/Proof
- Group/Normal subgroup/Residue class group/Fact/Proof
H
- Homogeneous linear system/Dimension estimate/Fact/Proof
- Homomorphism space/Bases/Matrices/Fact/Proof
- Homomorphism space/Dimension/Fact/Proof
- Homomorphism space/Direct sum decomposition/Fact/Proof
- Homomorphism space/Linear subspaces/Fact/Proof
- Hospital/Differentiable in inner interval/Fact/Proof
- Hyperbolic function/R/Monotonicity properties/Fact/Proof
- Hyperplane/Kernel of a linear form/Fact/Proof
I
- Inner automorphism/Automorphism/Fact/Proof
- Inner product/K/Cauchy-Schwarz/Fact/Proof
- Inner product/K/Norm/Properties/Fact/Proof
- Integration by parts/Fact/Proof
- Integration/Substitution/dx version/Fact/Proof
- Integration/Substitution/Fact/Proof
- Interval/Primitive function/Constant difference/Fact/Proof
- Inverse trigonometric functions/Derivative/Fact/Proof
- Invertible matrix/Finite order/C/Diagonalizable/Fact/Proof
- Invertible matrix/Staircase form/Identity matrix/Fact/Proof
- Isometry/C/Diagonalizable/Fact/Proof
L
- Linear inhomogeneous system/Elimination/Echelon form and triangular form/Fact/Proof
- Linear inhomogeneous system/Elimination/Echelon form/Fact/Proof
- Linear inhomogeneous system/Strictly triangular/Solution/Fact/Proof
- Linear isometrie/Space/Fixed point on football/Fact/Proof
- Linear isometry/Determinant is 1 or -1/Fact/Proof2
- Linear mapping/Determination on basis/Fact/Proof
- Linear mapping/Diagonalizable/Characterizations/Fact/Proof
- Linear mapping/Diagonalizable/Direct sum of eigenspaces/Fact/Proof
- Linear mapping/Different eigenvalues/Diagonalizable/Fact/Proof
- Linear mapping/Dimension formula/Fact/Proof
- Linear mapping/Dual mapping/Functorial properties/Fact/Proof
- Linear mapping/Eigenspace as kernel/Fact/Proof
- Linear mapping/Eigenspace for different eigenvalues/Zero/Fact/Proof
- Linear mapping/Finite dimensional/Change of basis/Fact/Proof
- Linear mapping/Kernel/Injectivity/Fact/Proof
- Linear mapping/Matrix to bases/Correspondence/Fact/Proof
- Linear mapping/Matrix to basis/Injective and columns linearly independent/Fact/Proof
- Linear mapping/Matrix to basis/Several properties/Fact/Proof
- Linear mapping/Matrix/Composition/Fact/Proof
- Linear mapping/Matrix/Composition/Fact/Proof2
- Linear mapping/To finite-dimensional/Representation with linear forms/Fact/Proof
- Linear mapping/Trigonalizable/Characterizations/1/Fact/Proof
- Linear subspace/Dual space/Orthogonal space/Correspondence/Fact/Proof
- Linear subspace/Intersection/Dimension estimate/Fact/Proof
- Linear subspace/Sum and intersection/Dimension/Fact/Proof
- Linear system/Cramer's rule/Fact/Proof
- Linear system/Elimination lemma/Fact/Proof
- Linear system/Superposition principle/Homogeneous and inhomogeneous/Fact/Proof
M
- Main theorem of calculus/Riemann/Newton-Leibniz-formula/Fact/Proof
- Mapping/Composition/Associativity/Fact/Proof
- Matrix/Adjugate matrix/Formula with determinant/Fact/Proof
- Matrix/Equivalent/Eigenvalue/Fact/Proof
- Matrix/Row rank and column rank/Fact/Proof
- Matrix/Row rank and column rank/Manipulations/Fact/Proof
- Mean value theorem for definite integrals/Riemann/Fact/Proof
- Minimal polynomial and characteristic polynomial/Same zeroes/Fact/Proof
N
- Natural logarithm/Derivative/Fact/Proof
- Natural logarithm/Functional equation/Bijection/Continuity/Monotonicity/Fact/Proof
- Natural numbers/Proofs/Induction principle/Fact/Proof2
- Nilpotent endomorphism/Characterization on basis/Fact/Proof
- Nilpotent endomorphism/Jordan normal form/Fact/Proof
- Nilpotent endomorphism/Jordan normal form/Mapping lemma/Fact/Proof
- Nilpotent endomorphism/Minimal polynomial/Fact/Proof
- Nilpotent endomorphism/Successive kernels/Fact/Proof
- Nilpotent endomorphism/Trigonalizable/Fact/Proof
- Normal subgroup/Characterization/Fact/Proof
- Normed vector space/Metric space/Fact/Proof
O
- Open subscheme/Affine and extended ideal/Finitely generated/Fact/Proof
- Ordered field/Bernoulli's inequality/Fact/Proof
- Ordered field/Convergent sequence/Bounded/Fact/Proof
- Ordered field/Convergent sequences/Rules/1/Fact/Proof
- Ordered field/Convergent sequences/Rules/2/Fact/Proof
- Ordered field/Elementary properties for inverses/Fact/Proof
- Ordered field/Sequence/Unique limit/Fact/Proof
P
- Permutation matrix/Cycle/C/Eigenvalues/Fact/Proof
- Permutation matrix/Cycle/Characteristic polynomial/Fact/Proof
- Permutation/Sign via inversions/Fact/Proof
- Permutation/Sign via transpositions/Fact/Proof
- Permutation/Sign/Group homomorphism/Fact/Proof
- Polynomial function/R/Continuous/Fact/Proof2
- Polynomial ring over a field/One variable/Principal ideal domain/2/Fact/Proof
- Polynomial ring over a field/One variable/Principal ideal domain/Fact/Proof
- Polynomial ring/Endomorphism/Inserting/Ring homomorphism (without concept)/Fact/Proof
- Polynomial ring/Field/Lemma of Bezout/Coprime/Fact/Proof
- Polynomial ring/Field/Lemma of Bezout/Fact/Proof
- Polynomial ring/Field/One variable/Euclidean division/Fact/Proof