# Category:Unfinished Proofs

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

This category lists pages which need finishing.

See the finish template.

## Pages in category "Unfinished Proofs"

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

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

- Abel's Test for Uniform Convergence
- Absolute Error of Sum is not Greater than Sum of Absolute Errors
- Ackermann Function/Examples
- Definition:Ackermann Function/Mistake 2
- Definition:Ackermann-Péter Function
- Ackermann-Péter Function/Examples
- Addition in Minimally Inductive Set is Unique
- Addition of Order Types/Examples/Example Ordering on Integers
- Alphabetic Substitution is Semantically Equivalent/Existential Quantifier
- Alphabetic Substitution is Semantically Equivalent/Universal Quantifier
- Alternating Group on 4 Letters/Conjugacy Classes
- Analytic Continuation of Riemann Zeta Function using Jacobi Theta Function
- Analytic Continuations of Riemann Zeta Function to Complex Plane
- Antilexicographic Product of Totally Ordered Sets is Totally Ordered/General Result
- Approximation to Power of 7 by Power of 10
- Area of Circle/Proof 4
- Axioms of Hilbert Proof System Instance 1 for Predicate Logic are Tautologies

### B

- Babbage's Congruence
- Definition:Balance
- Banach-Alaoglu Theorem
- Banach-Alaoglu Theorem/Proof 1
- Banach-Alaoglu Theorem/Proof 2
- Bijection from Cartesian Product of Initial Segments to Initial Segment
- Bijection/Examples/Negative Functions
- Binet-Cauchy Identity
- Binet-Cauchy Identity/Proof 2
- Binomial Theorem/Abel's Generalisation
- Binomial Theorem/Abel's Generalisation/Proof 2
- Bolzano-Weierstrass Theorem/General Form
- Boubaker's Theorem
- Definition:Braid Group

### C

- Cantor Set has Zero Lebesgue Measure
- Carathéodory's Theorem (Convex Analysis)
- Casting Out Nines
- Category of Subobject Classes is Category
- Central Product/Examples/D4 with Q
- Characteristic of Increasing Mapping from Toset to Order Complete Toset
- Characteristics of Cycle Graph
- Characterization of Measures
- Characterization of Metacategory via Equations
- Mathematician:Charles Proteus Steinmetz
- Definition:Chess
- Definition:Chess/Draw/Insufficient Pieces
- Church's Thesis
- Circle of Apollonius in Complex Plane
- Circle of Apollonius is Circle
- Circle of Apollonius is Circle/Proof 2
- Classification of Compact One-Manifolds
- Classification of Compact One-Manifolds/Corollary
- Closed Convex Set in terms of Bounded Linear Functionals
- Closed Linear Subspaces Closed under Setwise Addition
- Closure of Irreducible Subspace is Irreducible
- Closure of Irreducible Subspace is Irreducible/Proof 1
- Compact Subspace of Linearly Ordered Space
- Compactness Properties Preserved under Projection Mapping
- Compatibility of Atlases is Equivalence Relation
- Completeness Criterion (Metric Spaces)
- Completeness Criterion (Metric Spaces)/Proof 1
- Composite Fibonacci Numbers with Prime Index
- Composite of Three Mappings in Cycle forming Injections and Surjection
- Condition for Increasing Binomial Coefficients
- Condition for Increasing Binomial Coefficients/Proof 2
- Condition for Ordered Set of All Mappings to be Total Ordering
- Conditions for Function to be First Integral of Euler's Equations for Vanishing Variation
- Conditions for Function to be Maximum of its Legendre Transform Two-variable Equivalent
- Conditions for Transformation to be Canonical
- Conditions Satisfied by Linear Code
- Congruence Relation and Ideal are Equivalent
- Conjugacy Action on Group Elements is Group Action/Proof 2
- Connecting Homomorphism is Functorial
- Construction of Regular Heptadecagon
- Construction of Transitive Closure of Relation
- Construction of Triangle from Given Lengths
- Continuity of Mapping to Cartesian Product under Chebyshev Distance
- Convergent Real Sequence/Examples/x (n+1) = k over 1 + x n/Lemma 2
- Convergent Real Sequence/Examples/x n = root x n-1 y n-1, 1 over y n = half (1 over x n + 1 over y n-1)
- Conversion of Number in Golden Mean Number System to Simplest Form
- Convex Set is Contractible
- Coproduct of Free Monoids
- Curry's Paradox
- Cut Associated with 1 is Identity for Multiplication of Cuts

### D

- De Morgan's Laws imply Uniquely Complemented Lattice is Boolean Lattice
- Decomposition of Matrix Exponential
- Definite Integral of Fourier Series at Ends of Interval
- Definite Integral to Infinity of Exponential of -a x^2 by Cosine of b x
- Derivation of Hamilton-Jacobi Equation
- Dicyclic Group Dic3/Matrix Representation
- Dicyclic Group is Non-Abelian Group
- Dido's Problem/Variant 2
- Discrete Category on Set is Discrete Category
- Discrete Normal Subgroup of Connected Group is Contained in Center
- Dissection of Square into 9 Acute Triangles
- Distinct Lower Sections of Well-Ordered Class are not Order Isomorphic
- Distinct Ordinals are not Order Isomorphic
- Division Algebra has No Zero Divisors
- Dual of Preordered Set is Preordered Set
- Definition:Dual Statement (Category Theory)
- Dudeney's Property of 2592
- Dynkin System Closed under Intersections is Sigma-Algebra

### E

- Element of *-Algebra Uniquely Decomposes into Hermitian Elements
- Endomorphisms on Entropic Structure whose Pointwise Product is Identity Automorphism
- Equation of Plane Wave is Particular Solution of Wave Equation/Direction Cosine Form
- Equidecomposable Nested Sets
- Equidistance is Independent of Betweenness
- Equivalence of Definitions of Abelian Category
- Equivalence of Definitions of Arborescence
- Equivalence of Definitions of Balanced String
- Equivalence of Definitions of Boundary
- Equivalence of Definitions of Complete Metric Space
- Equivalence of Definitions of Conjugate Point
- Equivalence of Definitions of Convex Polygon
- Equivalence of Definitions of Convex Polyhedron
- Equivalence of Definitions of Countable Set
- Equivalence of Definitions of Curvature
- Equivalence of Definitions of Field of Quotients
- Equivalence of Definitions of Gamma Function
- Equivalence of Definitions of Meromorphic Function
- Equivalence of Definitions of Ordered Integral Domain
- Equivalence of Definitions of Polynomial Function on Subset of Ring
- Equivalence of Definitions of Sigma-Finite Measure
- Equivalence of Definitions of Strictly Inductive Semigroup
- Equivalent Characterizations of Invertible Matrix
- Eratosthenes' Measurement of Earth
- Erdős-Moser Equation
- Euclid's Lemma for Prime Divisors/General Result/Proof 1
- Euclid's Lemma for Unique Factorization Domain/General Result
- Euclid's Lemma/Proof 1
- Euclidean Algorithm/Algorithmic Nature
- Exchange of Order of Summations over Finite Sets/Cartesian Product
- Exchange of Order of Summations over Finite Sets/Cartesian Product/Proof 3
- Existence of Complementary Subspace
- Existence of Ordinal with no Surjection from Set
- Existence of Ring of Polynomial Forms in Transcendental over Integral Domain
- Definition:Exterior Algebra
- External Direct Product Closure/General Result
- External Direct Product of Congruence Relations

### F

- Factorial as Product of Consecutive Factorials
- Faà di Bruno's Formula
- Faà di Bruno's Formula/Proof 1
- Faà di Bruno's Formula/Proof 3
- Faà di Bruno's Formula/Proof 4
- Fibonacci Number by Power of 2
- Fibonacci Number by Power of 2/Proof 1
- Field has Prime Characteristic p iff exists Monomorphism from Field of Integers Modulo p
- Filtration's Lp Spaces are Dense in Limit Filtration's Lp Space
- Template:Finish
- Finished Branch Lemma/Corollary
- Finite Cartesian Product of Non-Empty Sets is Non-Empty
- Finite Chain is Order-Isomorphic to Finite Ordinal
- Finite Character for Sets of Mappings
- Finite Fourier Series
- Finite Group has Composition Series
- Finite Group has Composition Series/Proof 1
- Finite Group with One Sylow p-Subgroup per Prime Divisor is Isomorphic to Direct Product
- Finite Hausdorff Measure Implies Zero Higher Dimensional Measure
- Finite Product of Sigma-Compact Spaces is Sigma-Compact
- First Order ODE/y' + 2 x y = 1
- Definition:Floating Point Representation
- Focus of Hyperbola from Transverse and Conjugate Axis
- Fourier Series/Sawtooth Wave
- Fourier Series/Triangle Wave
- Definition:Free Abelian Group
- Function f is Big-O of g iff g is Big-Omega of f
- Function Simple iff Positive and Negative Parts Simple
- Fundamental Theorem of Calculus/Second Part
- Fundamental Theorem of Calculus/Second Part/Proof 3

### G

- Gaussian Integers form Euclidean Domain
- Gaussian Integers form Euclidean Domain/Proof 1
- Gaussian Integers form Principal Ideal Domain
- GCD from Prime Decomposition
- GCD from Prime Decomposition/General Result
- General Stokes' Theorem
- Generating Function for Elementary Symmetric Function
- Generating Function for Elementary Symmetric Function/Proof 3
- Gibbs Phenomenon
- GO-Space Embeds as Closed Subspace of Linearly Ordered Space
- Gradient of Dot Product
- Definition:Grafting Number
- Definition:Gram-Equivalent
- Group Epimorphism Induces Bijection between Subgroups
- Group/Examples/inv x = 1 - x

### H

- Halley's Method
- Hausdorff's Maximal Principle implies Axiom of Choice
- Hausdorff's Maximal Principle implies Axiom of Choice/Proof
- Heine-Borel Theorem/Dedekind Complete Space
- Henry Ernest Dudeney/Modern Puzzles/73 - Alphabetical Arithmetic/Solution
- Henry Ernest Dudeney/Puzzles and Curious Problems/112 - Simple Division/Solution
- Henry Ernest Dudeney/Puzzles and Curious Problems/162 - Find the Triangle/Solution
- Henry Ernest Dudeney/Puzzles and Curious Problems/319 - The Ten Cards/Solution
- Henry Ernest Dudeney/Puzzles and Curious Problems/98 - Digital Money/Solution
- Higher Dimensional Hausdorff Measure than Euclidean Space is Zero
- Hilbert Cube is Separable
- Homotopy Group is Group
- Homotopy Group is Homeomorphism Invariant