BROWSE
ALPHABETICALLY
LEVEL:
Elementary
Advanced
Both
INCLUDE TOPICS:
Basic Math
Algebra
Analysis
Biography
Calculus
Comp Sci
Discrete
Economics
Foundations
Geometry
Graph Thry
History
Number Thry
Phys Sci
Statistics
Topology
Trigonometry
|
|
axiom – Cantor’s Theorem
axiom
In formal mathematics, a formula or schema of formulas stipulated as true in the theory under discussion, i.e., assumed to be true at the outset, and so not requiring proof. Axioms are the counterpart in mathematics of suppositions, assumptions, or premises in ordinary syllogistic logic.
axiom of choice
An axiom of set theory, particularly ZFC, which asserts that from any (infinite) family of sets a new set may be created containing exactly one element from each set in the family. This axiom has been shown to be independent of the other axioms of ZFC (ZF). It is equivalent to: 1) Zorn's Lemma; 2) the Hausdorff Maximality Theorem; 3) the well-ordering principle; and 4) the statement that the cartesian product of an infinite family of sets is non-empty. Because the axiom of choice permits non-constructive proofs, it is rejected by intuitionism, and careful mathematicians refer explicitly to its use in proofs which require it.
Baire Category Theorem
If X is a complete metric space, then the intersection of a countable collection of dense open subsets of X is also dense. Equivalently, the union of a countable collection of closed, nowhere dense subsets of X is nowhere dense.
Banach space
A complete normed space.
Banach-Tarski Paradox
Given two bounded subsets of 3-dimensional Euclidean space, provided each has interior points, then the first may be decomposed into finitely many pieces and translated by rigid motions into a subset congruent to the second subset. For instance, a ball of unit radius can be decomposed into finitely many pieces, and then reassembled into two balls of unit radius. This shocking result is a consequence of the axiom of choice.
base
Number systems: In a place-notational number system, the number of symbols used. For example, in base two the two symbols 0 and 1 are used, and in base seven the seven symbols 0, 1, 2, 3, 4, 5, and 6 are used.
Exponential expressions: The number or expression which is “being raised to” the power of the exponent.
Topology: Given a topological space X, a base is a class B of sets such that, for every x in X and every neighborhood U of x, there is a set b in B such that x is contained in b and b is contained in U.
bijection
A bijective function, i.e., a function that is both an injection and a surjection.
bijective
A function is bijective if it is both injective and surjective, i.e., both “one-to-one” and “onto.”
binary operation
A binary operation on a set X is a function whose domain is the set of ordered pairs of elements from X and whose range is X.
Examples: addition on the set of integers, function composition.
Bolzano-Weierstrass property
A topological space X is said to have the Bolzano-Weierstrass property if every infinite sequence in X has a convergent subsequence. It is a theorem that every compact space has the Bolzano-Weierstrass property.
Borel measure
A measure m on a metric space X defined on a s-algebra of sets which contains the Borel sets is called a Borel measure. See also: Lebesgue measure.
Borel set
If X is a topological space, then the s-algebra of sets generated by the open sets of X is called the Borel s-algebra, and its members are called Borel sets. The Borel subsets of the real line are generated by the open intervals (equivalently, by the closed intervals, half-open intervals, and rays).
bound
A lower bound of any subset of a linear order (linearly ordered set) is an element which is less than or equal to every element of the subset. The greatest lower bound is the largest of its lower bounds. An upper bound of any subset of a linear order is an element which is greater than or equal to every element of the subset. The least upper bound is the smallest of the upper bounds.
Cf. infimum, supremum.
bounded
A set or sequence of values is called bounded if there is a value M such that the values are never bigger than M and never smaller than –M. A function is bounded if its values are bounded. A sequence of functions is pointwise bounded if at every domain element x the sequence of values of the functions at x is bounded. A subset E of a locally compact topological space is bounded if there exists a compact set C such that E is contained in C. Such a subset is called s-bounded if there exists a sequence of compact sets Ci such that E is contained in their union. See also: totally bounded.
bounded variation
A function on the real numbers with range in the complex numbers is said to be of bounded variation if its total variation is finite. The space of all such functions is denoted by BV. If in addition f is right continuous and its limit at negative infinity is zero, then f is said to be of normalized bounded variation. The space of such functions is denoted by NBV.
Bourbaki, Nicolas
Although the myth of an actual French mathematician named Bourbaki was maintained for many years, it became generally known in 1952 that “Bourbaki” is the nom de plume of a private congress of young French mathematicians which formed in 1935, with the purpose of writing a comprehensive exposition of modern mathematics in many volumes, called Elements. Bourbaki’s original members included André Weil, Henri Cartan, Claude Chevalley, and Jean Dieudonné. Other mathematicians have been recruited into Bourbaki in the years since, including G. de Rham, A. Grothendieck, S. Lang, and R. Thom. A principle motivation for the activity of the Bourbaki group is the felt need to unify the entire corpus of mathematical work in the face of accelerating diversification and specialization of mathematics.
|
|
Georg Cantor
|
Cantor, Georg
(born 1845)
German mathematician and founder of modern set theory. Cantor’s concern with the set-theoretic nature of the real numbers began while he was working on certain properties of trigonometric series during the early 1870’s. Inspired by the work of his friend Dedekind, Cantor proved in 1873 that the rational numbers are countable, and later the same year proved that the real numbers themselves are uncountable. These proofs introduced important methods, including the notion of a one-to-one correspondence and the method of diagonalization. Cantor’s results were counterintuitive and broke with established dogma about the nature of infinity. Consequently, he became a controversial figure, opposed by some mathematicians (e.g., Kronecker) who used their influence to stifle Cantor’s career as much as possible. This opposition exacerbated Cantor’s predisposition to severe depression, and he ultimately died, of a heart attack, in a sanitorium.
Related article: Cantor's Theorem
Related article: Cantor Set
Related MiniText: Infinity -- You Can't Get There From Here...
Cantor-Bendixson Theorem
Every closed subset of the real numbers is the disjoint union of a perfect set and a countable set.
Cf. derived set.
Cantor-Schröder-Bernstein Theorem
For any sets A and B, if there exists an injective (one-to-one) function from A into B and also an injective function from B into A, then there exists a surjective (onto) function from A onto B.
Cantor set
ARTICLE
A subset of the unit interval (on the real number line) which is a perfect set, nowhere dense, uncountable, and homeomorphic to the entire unit interval. See the article for a complete exposition.
Cantor’s Theorem
ARTICLE
Given any set, a new set may be constructed which is cardinally larger, i.e., whose size is represented by a larger cardinal than the size of the initial set. More specifically, for no set X is there a bijection of X onto its power set. This theorem establishes both that there are different sizes of infinity, and that there is no greatest such “size.” Cantor’s proof was the first use of a diagonalization argument to derive a contradiction.
Related MiniText: Infinity -- You Can't Get There From Here...
|
|
 
|