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
|
|
paradox – potential infinite
paradox
A seemingly 'necessary' contradiction or absurdity. A paradox arising logically out of formal axioms is called an antinomy. True paradoxes may be broadly classified as paradoxes of logic, paradoxes of infinity, paradoxes of knowledge, paradoxes of language, and paradoxes of self-reference. See:Antistrephon Paradox
Banach-Tarski Paradox
Berry Paradox
Boundary Paradox
Finitude Paradox
First Boring Number Paradox
Grelling's Paradox
Grue-Bleen Paradox
Liar Paradox
Quine's Paradox
Prisoner's Dilemma
Russell Paradox
Santa Sentence Paradox
Sid's Paradox
Sorites Paradox
Unexpected Hanging Paradox
Zeno's Paradox of the Arrow
Zenos Paradox of the Moving Rows
Zeno's Paradox of the Tortoise and Achilles
Paradox of the Heap
See Sorites Paradox.
parallelogram
A quadrilateral with opposite sides (and opposite angles) equal.
parallel postulate
The 5th postulate of Euclidean geometry.
partially ordered set
A set with a partial order defined on it.
partial order
A partial order on a set X is a binary relation “ ” on X that is reflexive, transitive, and antisymmetric. A partial order in which every pair of elements is related is called a total order or linear order. A partial order on X imposes a lattice on X.
Cf. linear order, tree.
partition
General: A partition of a set X is a collection of subsets of X such that every element of X is in exactly one of the subsets. Such a partition is given by (and gives rise to) an equivalence relation on X. For example, division modulo 3 partitions the set of natural numbers into three subsets, each containing all those numbers leaving remainders of 0, 1, or 2 respectively when divided by 3.
Algebra: A partition of a matrix is a division of the matrix into conformable submatrices.
Analysis: A partition of a space is a collection of pairwise disjoint regions of the space whose union is the entire space. For example, a partition of an interval [a, b] of the real line is given by a finite set of points {xi} such that a = x1 < x2 < . . . < xn = b which divide the interval into disjoint subintervals.
Number Theory: Given a positive integer n, a partition of n is a set of positive integers whose sum is n. For example, 4 = 3 + 1 = 2 + 2 = 2 + 1 + 1 = 1 + 1 + 1 + 1 are the four possible partitions of the number 4.
Peano axioms
The axiom system developed by Giuseppe Peano to formalize arithmetic. The key to his method is the introduction of a “successor operation” S on numbers; if a is a number, then Sa is the successor of that number. In this way Peano reduced arithmetic to the conceptually primitive operation of counting.
The axioms are:- 0 is a number.
- If a is a number, then Sa is a number.
- If a and b are numbers, then a + 0 = a, and a + Sb = S(a + b).
- If a and b are numbers, then a × 0 = 0, and a × Sb = a × b + a.
- (Induction Principle.) For any formula f, if we have f(0) and if f(a) always implies f(Sa), then we have f(a) for all numbers a.
perfect set
A closed set X is called perfect if every point of X is an accumulation point of X. The following are equivalent characterizations:- X is closed and containes no isolated points.
- X is closed and dense in itself.
- X is equal to its derived set.
permutation
A permutation on a finite set is a reordering of its elements. On a set of n elements there are n! (n-factorial) permutations, and together they form a group, the symmetric group on n elements.
The number of permutations of a subselection of r elements from a set of n elements is usually denoted nPr, and is given by
A cyclic permutation, also called a cycle, of an ordered collection of n objects is obtained by replacing each kth object with the (k - 1)th object, and replacing the first object with the nth object. In other words, each object advances one place in the order, and the last object “wraps around” to the first position. The number of objects n is called the degree (sometimes length) of the cycle. A cycle of length 2 is called a transposition. Every permutation can be factored as a product of transpositions, and is called an even (or odd) permutation if it factors into an even (resp. odd) number of transpositions.
The subgroup of the symmetric group on n elements consisting of all the even permutations is called the alternating group on n elements.
Cf. combination.
perpendicular
Two lines are perpendicular if they intersect in a right angle. In particular, two lines in the Cartesian plane are perpendicular if their respective slopes m1 and m2 satisfy m 1 × m2 = –1.
Two curves intersect perpendicularly if their tangent lines at the point of intersection are perpendicular.
Perpendicularity of planes and surfaces is defined analogously. Cf. normal.
perpendicular distance
Geometry: The shortest distance between a point and a line, or between a point and a plane. Sometimes called directed distance.
Pi (p)
The real number that is equal to the ratio of the circumference of any circle to its diameter, approximately equal to 3.1415926. It is known to be a transcendental number.
plane figure
A figure, i.e., a graphical (visual) representation of points, lines, curves, or regions in the geometric plane. A plane figure, such as a polygon, that bounds a finite region is called closed.
Platonic solid
ARTICLE
A solid having congruent, regular polygonal faces. There are five Platonic solids: the icosahedron, tetrahedron, octahedron, dodecahedron, and cube.
polygon
A closed plane figure having straight sides. A polygon that has equal sides and equal angles is called a regular polygon. Examples: square, hexagon, nonagon, etc.
polyhedron
A closed, solid figure consisting of four or more planar faces, pairs of which meet at edges. The faces form polygons, and the points where three or more edges meet are called vertices. The number of faces, edges, and vertices of a polyhedron are related by the Euler polyhedron formula.
A polyhedron with four faces is called a tetrahedron, a pentahedron has five faces, a hexadron six, a heptahedron seven, an octahedron eight, a dodecahedron twelve, and an icosahedron twenty. If all the faces of a polyhedron are congruent, it is called a regular solid or Platonic solid.
polynomial
General: A function of the form
p(x) = a0 + a1x + a2x2 + ... + anxn
where the ai (called coefficients) are real numbers or complex numbers, and the exponents are all natural numbers. The highest exponent is called the degree of the polynomial, and the coefficient an on the highest degree term is called the leading coefficient. Polynomials of degree two are called quadratic polynomials, of degree 3 cubic, of degree 4 quartic, and those of degree 5 are called quintic.
More generally, a polynomial may be in several variables x1, ... ,xk, and may be thought of as a sum of the form
where all but finitely many of the ai are 0. In this case, the degree of the polynomial is the highest sum of exponents appearing in any term. For example, 2x4 and 3xy2z are both fourth-degree terms.
Abstract Algebra (formal polynomial): A formal sum of the form
The ai are called coefficients, and are elements of some commutative ring R. p is said to be a polynomial over R, or with coefficients in R. The x is just a formal symbol. Only finitely many of the ai can be non-zero, and if an is the last non-zero coefficient, n is called the degree of p.
Polynomials can be added and multiplied in the natural way, by using the cummutative and distributive laws of addition and multiplication in R. Explicitly, if p and q are polynomials over the same ring, and the ai and bi are the coefficients of p and q, respectively, then
and
These operations allow us to define R[x], the polynomial ring over R.
The Substitution Principle allows us evaluate a polynomial p on any element of R, and we can use this to define a function corresponding to p, thereby capturing the informal notion of a polynomial.
Cf. Diophantine equation, quadratic formula.
poset
A partially ordered set, i.e., a set with a partial order defined on it.
postulate
A statement in a mathematical theory that is assumed without proof. Essentially synonymous with “axiom.”
potential infinite
A distinction made by Aristotle: a set is potentially infinite if it cannot be finitely completed, e.g., our naive or given conception of the natural numbers. Aristotle admitted potentially infinite sets, but denied the logical possiblity of the actual infinite, that is, infinite totalities considered as completed entities.
Related MiniText: Infinity -- You Can't Get There From Here...
|
|
 
|