jaj•a•person's notes

Tag: missing/proof

132 items with this tag.

(Co)limit construction theorems
1-form
2 central extension of a free abelian group
A twice-differentiable function is convex iff its second derivative is nonnegative everywhere
Adjoining the degree derivation
Alternating character
Artin braid group
Automorphic collineätion criterion
Axiom of Choice
Axiom of Foundation
Binary 8,4,4 extended Hamming code
Binomial expansion
Bonferroni inequalities
Borsuk-Ulam theorem
Bounded operator
Bounded set
Brouwer's fixed point theorem
Cauchy-Schwarz inequality
Cayley's theorem for rings
Centre of a character
Chevalley property
Class existence theorem schema
Clifford algebra
Closed category of graded vector spaces
Completion of a Latin square from its diagonal
Conjugation of a Weyl element
Convergence almost surely
Covolume of a classical lattice
Cyclotomic integers
Degree operator
Dense set
Descarte's rule of signs
Dual basis
Dual root system
Eckmann-Hilton argument
Einstein field equation
Eisenstein's criterion
Empirical cumulative distribution function
Euclidean domain
Euler's formula
Expectation
Extended binary Golay code
Exterior algebra
Exterior derivative
Extreme Value Theorem
Field of fractions
Field of rational functions
Finite (co)completeness criterion
First variation
Fundamental group
Fundamental unit of a real quadratic field
Gauß's lemma
Group extension
Haar measure
Hom-module
Hook length formula
Inner Lie algebra automorphism
Intermediate value theorem
Inverse function theorem
Isometry of a semi-Riemannian manifold
Isomorphism theorems
Khinchin's law
Killing field
Killing form
Kolmogorov's law
Kronecker's root of unity lemma
Kummer's factorization theorem
Ky Fan metric
Lebesgue space
Levi-Civita connexion
Lie algebra extension
Lie derivative
Limit points are limits of convergent subsequences in a first-countable space
Limit points are points contained in the closure of every end piece
Local homeomorphism
Locally path connected spaces have identical connected and path-connected components
MacWilliams identities
MacWilliams theorem
Matrix calculus
Matrix determinant
Memoryless random variable
Minkowski inequality
Minkowski's bound
Monogenic field
Multipole expansion of the reciprocal
Nearest point of a convex subset of a Hilbert space
Negative hypergeometric distribution
Norm of a number field
Normal extension
Orbit counting lemma
Parallelogram law
Parseval's relation
Poincaré-Birkhoff-Witt theorem
Poisson distribution
Poisson process
Polynomial ring over a UFD is a UFD
Projective quadric
Quasigroup
Quillen's lemma
Radon-Nikodym theorem
Regular monomorphisms in the category of topological spaces
Riemannian curvature
Riemannian volume form
Right adjoint functors are continuous
Roots of a minimal polynomial
S(5,8,24)
Semisimple ring
Shannon information
Spectral mapping theorem
Spectrum of an algebraic element
Stanley's hook content formula
Stone-Weierstraß theorem
Subgroup of a free abelian group
Symmetric algebra
Tangent space
Tensor algebra
Tensor field
Tensor field transformation laws
Tensor product of graded vector spaces
Tensor product of vector spaces over a field
Tensor representation
The boundary of a ball is not a retract
The polynomial ring over a field is a Euclidean domain
The rank of a transitive group action equals the number of suborbits
Universal enveloping algebra
Universality of the uniform distribution
Upper bound on the cardinality of an arbitrary union
Vandermonde matrix
Vector field
Vielbein
Well-founded set
Whitney embedding theorem

Created with Quartz v4.5.2 © 2026