# Category:Explanation Required

Jump to navigation
Jump to search
(previous page) (next page)

This category is for pages which have a point which needs explaining.

See the Explain template.

## Subcategories

This category has the following 13 subcategories, out of 13 total.

### C

### D

- Definitions/Connections (6 P)
- Definitions/Integrable Functions (12 P)
- Definitions/Monoid Rings (4 P)

### E

### F

- Formal Laurent Series (empty)

### I

### M

- Monoid Rings (empty)

### S

- Semidirect Products (4 P)

### T

## Pages in category "Explanation Required"

The following 200 pages are in this category, out of 917 total.

(previous page) (next page)### A

- Abel's Theorem
- Abel's Theorem/Historical Note
- Accumulation Point of Infinite Sequence in First-Countable Space is Subsequential Limit
- Definition:Addition of Polynomials
- Definition:Addition of Polynomials/Polynomial Forms
- Definition:Aleph Mapping
- Alexander's Compactness Theorem
- Definition:Algebraic Integer
- Alternating Sum and Difference of Factorials to Infinity
- Analytic Continuation of Dirichlet L-Function
- Angle Between Non-Zero Vectors Always Defined
- Angle Between Vectors in Terms of Dot Product
- Angular Velocity is Vector Quantity
- Approximation to Reciprocal times Derivative of Gamma Function
- Arc Length of Sector
- Definition:Archimedean Property
- Definition:Archimedean Property/Norm
- Arens-Fort Space is not Locally Connected
- Definition:Argument of Complex Number
- Argument Principle
- Artin's Theorem on Alternative Algebras
- Arzelà-Ascoli Theorem
- Automorphism Group/Examples/Cyclic Group C8
- Ax-Grothendieck Theorem
- Axiom:Axiom of Choice for Finite Sets
- Axiom:Axiom of Choice for Finite Sets/Proof from Hall's Marriage Theorem
- Axiom of Choice implies Zorn's Lemma
- Axiom of Choice implies Zorn's Lemma/Proof 2
- Axiom:Axiom of Continuity
- Axiom:Axiom of Limitation of Size

### B

- Baire-Osgood Theorem
- Banach-Alaoglu Theorem
- Banach-Alaoglu Theorem/Proof 1
- Barbier's Theorem
- Definition:Barrier
- Basis for Open Ordinal Topology
- Basis of Free Module is No Greater than Generator
- Bendixson-Dulac Theorem
- Bernstein's Theorem on Unique Global Solution to y''=F(x,y,y')/Lemma 3
- Bertrand's Theorem
- Bertrand's Theorem/Asymptotic Proof
- Bertrand's Theorem/Lemma
- Bertrand's Theorem/Non-Perturbative Proof
- Bertrand-Chebyshev Theorem
- Definition:Bilinear Form
- Definition:Bilinear Functional
- Boolean Prime Ideal Theorem
- Boolean Prime Ideal Theorem/Proof 1
- Bound for Analytic Function and Derivatives
- Bounded Function is of Exponential Order Zero
- Bourbaki-Witt Fixed Point Theorem
- Branch of Finite Tree is Finite
- Bézout's Identity
- Bézout's Identity/Proof 4

### C

- Canonical Injection into Cartesian Product of Modules
- Canonical Injection into Cartesian Product of Modules/Proof 2
- Canonical Order Well-Orders Ordered Pairs of Ordinals
- Definition:Cantor Normal Form
- Cantor Set is Uncountable
- Cantor Set is Uncountable/Proof 1
- Cantor Space is Nowhere Dense
- Cantor Space is Nowhere Dense/Proof 1
- Cantor-Bernstein-Schröder Theorem
- Cantor-Bernstein-Schröder Theorem/Proof 1
- Cantor-Dedekind Hypothesis
- Carathéodory's Theorem (Analysis)
- Carathéodory's Theorem (Convex Analysis)
- Cardinal Number is Ordinal
- Cardinal Number Less than Ordinal
- Cardinality of Set Union/General Case
- Carroll Paradox
- Definition:Cartesian Product/Family of Sets/Axiom of Choice
- Definition:Cauchy Functional Equation
- Cauchy Mean Value Theorem
- Cauchy Mean Value Theorem/Geometrical Interpretation
- Cauchy's Convergence Criterion for Series
- Cauchy's Integral Formula
- Cauchy-Hadamard Theorem/Complex Case
- Cauchy-Hadamard Theorem/Complex Case/Proof 2
- Cayley-Hamilton Theorem/Finitely Generated Modules
- Cayley-Hamilton Theorem/Matrices
- Definition:Central Field
- Central Field is Field of Functional
- Cesàro Mean
- Change of Coordinate Vectors Under Linear Transformation
- Definition:Character (Number Theory)
- Definition:Character (Representation Theory)
- Character of Representations over C are Algebraic Integers
- Characterisation of Linearly Independent Set through Free Module Indexed by Set
- Characterisation of Local Rings
- Characterisation of Ordered Fields
- Characteristic of Increasing Mapping from Toset to Order Complete Toset
- Characterization of Measures
- Chebyshev's Inequality/Proof 1
- Chinese Remainder Theorem (Commutative Algebra)
- Circle is Curve of Second Degree
- Class Equality is Reflexive
- Class Equality is Transitive
- Class of All Ordinals is Ordinal
- Classical Probability is Probability Measure
- Classification of Compact One-Manifolds/Lemma 1
- Classification of Compact Two-Manifolds
- Closed Interval in Complete Lattice is Complete Lattice
- Closed Linear Subspaces Closed under Setwise Addition
- Closed Real Interval is Neighborhood Except at Endpoints
- Closed Unit Interval is not Countably Infinite Union of Disjoint Closed Sets
- Closure of Irreducible Subspace is Irreducible
- Closure of Irreducible Subspace is Irreducible/Proof 1
- Closure of Irreducible Subspace is Irreducible/Proof 2
- Closure of Subset of Double Pointed Topological Space
- CNF Satisfiability Problem is NP-Complete
- Definition:Cofinal Relation on Ordinals
- Common Section of Bisecting Planes of Cube Bisect and are Bisected by Diagonal of Cube
- Commutativity of Incidence Matrix with its Transpose for Symmetric Design
- Compact Hausdorff Topology is Maximally Compact
- Compact Subspace of Linearly Ordered Space
- Compact Subspace of Linearly Ordered Space/Reverse Implication
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 2
- Compactness Properties Preserved under Continuous Surjection
- Compatibility of Atlases is Equivalence Relation
- Complete and Totally Bounded Metric Space is Sequentially Compact
- Complete and Totally Bounded Metric Space is Sequentially Compact/Proof 1
- Definition:Complete Ritz Sequence
- Completion Theorem (Metric Space)/Lemma 4
- Definition:Complex Analytic Differentiable Structure
- Complex Function is Entire iff it has Everywhere Convergent Power Series
- Complex Numbers as External Direct Product
- Complex Sequence is Null iff Modulus of Sequence is Null
- Complex Sequence is Null iff Modulus of Sequence is Null/Proof 1
- Composite of Continuous Mappings is Continuous/Corollary
- Condition for Agreement of Family of Mappings
- Condition for Cofinal Nonlimit Ordinals
- Condition for Composition Series
- Condition for Differentiable Functional to have Extremum
- Condition for Injective Mapping on Ordinals
- Condition for Set Union Equivalent to Associated Cardinal Number
- Condition on Congruence Relations for Cancellable Monoid to be Group/Counterexample
- Conditions for C^1 Smooth Solution of Euler's Equation to have Second Derivative
- Conditions for Extremal Embedding in Field of Functional
- Conditions for Function to be First Integral of Euler's Equations for Vanishing Variation/Corollary 2
- Conditions for Strong Minimum of Functional
- Definition:Conjugate Point (Calculus of Variations)
- Definition:Conjugate Point (Calculus of Variations)/Definition 1
- Definition:Conjugate Point (Calculus of Variations)/Definition 3
- Definition:Conjugate Point (Calculus of Variations)/wrt original Functional
- Connected Subspace of Linearly Ordered Space
- Definition:Connection on Manifold
- Construction of Conic Section
- Construction of Inverse Completion/Quotient Mapping/Image of Cancellable Elements
- Definition:Content of Polynomial/GCD Domain
- Definition:Continued Fraction
- Continued Fraction Algorithm
- Continued Fraction Algorithm/Proof 1
- Definition:Continued Fraction Expansion
- Continued Fraction Expansion of Limit of Simple Infinite Continued Fraction equals Expansion Itself
- Definition:Continued Fraction/Expansion of Real Number
- Continuous Function on Closed Real Interval is Uniformly Continuous
- Continuous Function on Closed Real Interval is Uniformly Continuous/Proof 2
- Continuous Functions on Compact Space form Banach Space
- Continuous iff Way Below iff There Exists Element that Way Below and Way Below
- Continuous Image of Compact Space is Compact/Corollary 3
- Continuous Image of Compact Space is Compact/Corollary 3/Proof 2
- Continuous Image of Connected Space is Connected
- Continuous Image of Connected Space is Connected/Corollary 3
- Continuous Image of Connected Space is Connected/Proof 1
- Continuous Implies Locally Bounded
- Continuous Midpoint-Convex Function is Convex
- Definition:Continuous Total Preordering
- Definition:Continuously Embedded
- Contour Integral of Gamma Function
- Definition:Convergent Sequence/Rational Numbers
- Cook-Levin Theorem
- Coordinate Representation of Divergence
- Definition:Coset Decoding Table
- Countable Compactness is Preserved under Continuous Surjection
- Countable Set has Measure Zero
- Countable Stability implies Stability for All Infinite Cardinalities/Lemma
- Countably Compact Metric Space is Compact
- Countably Compact Metric Space is Compact/Proof 2
- Cover of Interval By Closed Intervals is not Pairwise Disjoint
- Cowen's Theorem/Lemma 3
- Cowen's Theorem/Lemma 8
- Cowen-Engeler Lemma
- Definition:Critical Point (Topology)
- Cyclicity Condition for Units of Ring of Integers Modulo m
- Cyclotomic Polynomial has Integer Coefficients

### D

- De Morgan's Laws imply Uniquely Complemented Lattice is Boolean Lattice
- Definition:De Rham Cohomology
- Definition:Decomposable Set
- Decomposition of Probability Measures
- Definition:Dedekind Domain/Definition 1
- Dedekind's Theorem
- Dedekind's Theorem/Proof 1
- Definition:Dedekind-MacNeille Completion
- Definite Integral from 0 to 2 Pi of Reciprocal of One minus 2 a Cosine x plus a Squared
- Definite Integral of Uniformly Convergent Series of Continuous Functions
- Definite Integral to Infinity of Reciprocal of 1 plus Power of x
- Definite Integral to Infinity of Reciprocal of 1 plus Power of x/Proof 1
- Definite Integral to Infinity of Reciprocal of 1 plus Power of x/Proof 2
- Definition of Polynomial from Polynomial Ring over Sequence