Category:Improvements
Jump to navigation
Jump to search
These are pages containing proofs that, although correct, are not the best they could be.
See the Improve template.
Pages in category "Improvements"
The following 147 pages are in this category, out of 147 total.
A
C
- Cardinal Equal to Collection of All Dominated Ordinals
- Center of Group is Normal Subgroup
- Characteristic of Ordered Integral Domain is Zero
- Characteristics of Traversable Graph
- Characterization of Lipschitz Continuity on Shift of Finite Type by Variations
- Definition:Chess
- Circle of Apollonius is Circle
- Definition:Class (Descriptive Statistics)
- Definition:Classical Propositional Logic
- Closure of Irreducible Subspace is Irreducible
- Compact First-Countable Space is Sequentially Compact
- Compact Subspace of Linearly Ordered Space/Reverse Implication
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 2
- Compactness Theorem/Proof using Henkin Construction
- Composition of Mappings is Associative
- Condition for Ideal to be Total Ring
- Condition on Congruence Relations for Cancellable Monoid to be Group/Counterexample
- Conditions for Strong Minimum of Functional
- Definition:Connection on Manifold
- Definition:Consistent (Logic)/Set of Formulas/Propositional Logic
- Definition:Contravariant Hom Functor
- Cosine of Sum/Proof 4
- Countable Union of Finite Sets is Countable
- Definition:Covariant Hom Functor
D
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2/Forward Implication
- De Morgan's Laws imply Uniquely Complemented Lattice is Boolean Lattice
- Definite Integral from 0 to Half Pi of Even Power of Sine x
- Definite Integral from 0 to Half Pi of Even Power of Sine x/Proof 1
- Definite Integral from 0 to Half Pi of Odd Power of Sine x
- Definite Integral from 0 to Half Pi of Odd Power of Sine x/Proof 1
- Determinant of Linear Operator is Well Defined
- Dimension of R-Module R is 1
- Disjunction has no Inverse
E
- Eigenvalues of Normal Operator have Orthogonal Eigenspaces
- Empty Set is Well-Ordered
- Equation for Perpendicular Bisector of Two Points
- Equivalence of Definitions of Normal Subgroup
- Equivalence of Definitions of Transitive Closure (Set Theory)
- Equivalence of Subobjects is Equivalence
- Euler's Equation for Vanishing Variation is Invariant under Coordinate Transformations
- Euler's Theorem for Planar Graphs
- Existential Instantiation/Informal Statement
- Expansion Theorem for Determinants
- Exponential of Sum/Real Numbers/Corollary
F
G
H
I
- Image of Small Class under Mapping is Small
- Template:Improve
- Increasing Sequence in Ordered Set Terminates iff Maximal Element
- Increasing Sequence of Sets forms Nest
- Indexed Summation of Multiple of Mapping
- Intersection of Ordinals is Smallest
- Definition:Inverse Sine/Real/Arcsine
- Definition:Irreducible (Representation Theory)
- Definition:Irreducible (Representation Theory)/G-Module
L
M
N
- Necessary and Sufficient Condition for Quadratic Functional to be Positive Definite
- Necessary Condition for Integral Functional to have Extremum for given function/Dependent on N Functions
- Necessary Condition for Integral Functional to have Extremum for given Function/Dependent on Nth Derivative of Function
- Non-Equivalence as Equivalence with Negation/Formulation 1/Forward Implication/Proof
- Norm on Vector Space is Quasinorm
- Definition:Number Base/Integers
- Number which is Square and Cube Modulo 7
O
- Open Sets of Double Pointed Topology/Corollary
- Order Isomorphism iff Strictly Increasing Surjection
- Order Topology equals Dual Order Topology
- Order Topology on Convex Subset is Subspace Topology
- Order-Extension Principle/Strict/Proof 2
- Ordinal Subset is Well-Ordered
- Orthocenter, Centroid and Circumcenter Coincide iff Triangle is Equilateral
P
- P-Product Metrics on Real Vector Space are Topologically Equivalent
- P-Product Metrics on Real Vector Space are Topologically Equivalent/Inequality for General Case
- Primary Decomposition Theorem
- Prime Magic Square/Examples/Order 3/Smallest
- Primitive of x over Root of a x + b by Root of p x + q
- Product of Divisor Sum and Euler Phi Functions
- Products of 2-Digit Pairs which Reversed reveal Same Product
- Definition:Projection
- Projection from Product Category
- Definition:Proper Relational Structure
- Pullback of Quotient Group Isomorphism/Examples/C6 with A4
R
- Rational Numbers with Denominators Coprime to Prime under Addition form Group
- Real Numbers of Type Rational a plus b root 2 form Field
- Reciprocal of Function of Bounded Variation Bounded away from Zero is of Bounded Variation
- Recursively Defined Sequence/Examples/Term is Term of Index less 1 plus 6 times Term of Index less 2
- Relation between Two Ordinals
- Relationship between Transitive Closure Definitions
S
- Scheffé's Lemma/Corollary
- Seifert-van Kampen Theorem
- Definition:Set of Literals
- Definition:Set Partition
- Shape of Cosecant Function
- Shape of Secant Function
- Sigma-Algebra Generated by Finite Partition is Finite Sub-Sigma-Algebra
- Sign of Composition of Permutations
- Smallest Field is Field
- Solution to Legendre's Differential Equation
- Strictly Increasing Sequence induces Partition
- Strictly Increasing Sequence of Natural Numbers
- Subband of Induced Operation is Set of Subbands
- Subgroup is Subset of Conjugate iff Normal
- Subgroup is Superset of Conjugate iff Normal
- Sufficient Conditions for Uncountability
- Sum of Indexed Suprema
- Sums of Squares of Diagonals of Order 3 Magic Square
- Supremum of Absolute Value of Difference equals Supremum of Difference