Portal:Mathematics/Selected article archive
This page is part of the Mathematics Portal |
This page is an archive of selected articles on the Mathematics Portal. To view the archive of articles selected for Article of the Month from before Article of the Month was replaced by Selected Article, see Portal:Mathematics/Featured article archive. For mathematics articles featured elsewhere on Wikipedia see Wikipedia:Featured articles#Mathematics.
The template is at Portal:Mathematics/Feature article.
Suggestions for future featured content can be made at Portal:Mathematics/Suggestions.
Title | Description |
---|---|
Wallpaper group | A wallpaper group is a mathematical concept used to classify repetitive designs on two-dimensional surfaces, such as floors and walls, based on the symmetries in the pattern. Such patterns occur frequently in architecture and decorative art. The mathematical study of such patterns reveals that exactly 17 different types of pattern can occur.
Wallpaper groups are examples of an abstract algebraic structure known as a group. Groups are frequently used in mathematics to study the notion of symmetry. Wallpaper groups are related to the simpler frieze groups, and to the more complex three-dimensional crystallographic groups. |
Catalan number | The Catalan numbers, named for the Belgian mathematician Eugène Charles Catalan, are a sequence of natural numbers that are important in combinatorial mathematics. The sequence begins:
The Catalan numbers are solutions to numerous counting problems which often have a recursive flavour. In fact, one author lists over 60 different possible interpretations of these numbers. For example, the n^{th} Catalan number is the number of full binary trees with n internal nodes, or n+1 leaves. It is also the number of ways of associating n applications of a binary operator as well as the number of ways that a convex polygon with n + 2 sides can be cut into triangles by connecting vertices with straight lines. |
David Hilbert | David Hilbert (January 23, 1862, Wehlau, Prussia–February 14, 1943, Göttingen, Germany) was a German mathematician, recognized as one of the most influential mathematicians of the 19th and early 20th centuries. He established his reputation as a great mathematician and scientist by inventing or developing a broad range of ideas, such as invariant theory, the axiomization of geometry, and the notion of Hilbert space, one of the foundations of functional analysis. Hilbert and his students supplied significant portions of the mathematic infrastructure required for quantum mechanics and general relativity. He is one of the founders of proof theory, mathematical logic, and the distinction between mathematics and metamathematics, and warmly defended Cantor's set theory and transfinite numbers. A famous example of his world leadership in mathematics is his 1900 presentation of a set of problems that set the course for much of the mathematical research of the 20th century. |
Leonhard Euler |
Leonhard Euler (pronounced oiler; IPA /ˈɔɪlər/) (April 15, 1707 Basel, Switzerland - September 18, 1783 St Petersburg, Russia) was a Swiss mathematician and physicist. He is considered to be the dominant mathematician of the 18th century and one of the greatest mathematicians of all time; he is certainly among the most prolific, with collected works filling over 70 volumes.
Euler developed many important concepts and proved numerous lasting theorems in diverse areas of mathematics, from calculus to number theory to topology. In the course of this work, he introduced many of modern mathematical terminologies, defining the concept of a function, and its notation, such as sin, cos, and tan for the trigonometric functions. |
Euclid's Elements |
Euclid's Elements (Greek: Στοιχεῖα) is a mathematical and geometric treatise, consisting of 13 books, written by the Hellenistic mathematician Euclid in Egypt during the early 3rd century BC. It comprises a collection of definitions, postulates (axioms), propositions (theorems) and proofs thereof. Euclid's books are in the fields of Euclidean geometry, as well as the ancient Greek version of number theory. The Elements is one of the oldest extant axiomatic deductive treatments of geometry, and has proven instrumental in the development of logic and modern science.
It is considered one of the most successful textbooks ever written: the Elements was one of the very first books to go to press, and is second only to the Bible in number of editions published (well over 1000). For centuries, when the quadrivium was included in the curriculum of all university students, knowledge of at least part of Euclid's Elements was required of all students. Not until the 20th century did it cease to be considered something all educated people had read. It is still (though rarely) used as a basic introduction to geometry today. |
Monty Hall problem | The Monty Hall problem is a puzzle involving probability similar to the American game show Let's Make a Deal. The name comes from the show's host, Monty Hall. A widely known, but problematic (see below) statement of the problem is from Craig F. Whitaker of Columbia, Maryland in a letter to Marilyn vos Savant's September 9, 1990, column in Parade Magazine (as quoted by Bohl, Liberatore, and Nydick).
The problem is also called the Monty Hall paradox; it is a veridical paradox in the sense that the solution is counterintuitive, although the problem does not yield a logical contradiction. |
Trigonometric functions | The trigonometric functions are functions of an angle; they are most important when studying triangles and modeling periodic phenomena, among many other applications. They are commonly defined as ratios of two sides of a right triangle containing the angle, and can equivalently be defined as the lengths of various line segments from a unit circle. More modern definitions express them as infinite series or as solutions of certain differential equations, allowing their extension to positive and negative values and even to complex numbers.
The study of trigonometric functions dates back to Babylonian times, and a considerable amount of fundamental work was done by ancient Greek, Indian and Arab mathematicians. |
Four color theorem | The four color theorem states that given any plane separated into regions, such as a political map of the counties of a state, the regions may be colored using no more than four colors in such a way that no two adjacent regions receive the same color. Two regions are called adjacent if they share a border segment, not just a point. "Color by Number" worksheets and exercises, which combine learning art and math for people of young ages, are a good example of the four color theorem.
It is often the case that using only three colors is inadequate. This applies already to the map with one region surrounded by three other regions (even though with an even number of surrounding countries three colors are enough) and it is not at all difficult to prove that five colors are sufficient to color a map. The four color theorem was the first major theorem to be proven using a computer, and the proof is disputed by some mathematicians because it would be infeasible for a human to verify by hand (see computer-aided proof). Ultimately, in order to believe the proof, one has to have faith in the correctness of the compiler and hardware executing the program used for the proof. The lack of mathematical elegance was another factor, and to paraphrase comments of the time, "a good mathematical proof is like a poem — this is a telephone directory!" |
Algorithm | An algorithm is a procedure (a finite set of well-defined instructions) for accomplishing some task which, given an initial state, will terminate in a defined end-state. The computational complexity and efficient implementation of the algorithm are important in computing, and this depends on suitable data structures.
Informally, the concept of an algorithm is often illustrated by the example of a recipe, although many algorithms are much more complex; algorithms often have steps that repeat (iterate) or require decisions (such as logic or comparison). Algorithms can be composed to create more complex algorithms. The concept of an algorithm originated as a means of recording procedures for solving mathematical problems such as finding the common divisor of two numbers or multiplying two numbers. The concept was formalized in 1936 through Alan Turing's Turing machines and Alonzo Church's lambda calculus, which in turn formed the foundation of computer science. Most algorithms can be directly implemented by computer programs; any other algorithms can at least in theory be simulated by computer programs. In many programming languages, algorithms are implemented as functions or procedures. |
Manifold | A manifold is an abstract mathematical space in which every point has a neighborhood which resembles Euclidean space, but in which the global structure may be more complicated. In discussing manifolds, the idea of dimension is important. For example, lines are one-dimensional, and planes two-dimensional.
In a one-dimensional manifold (or one-manifold), every point has a neighborhood that looks like a segment of a line. Examples of one-manifolds include a line, a circle, and two separate circles. In a two-manifold, every point has a neighborhood that looks like a disk. Examples include a plane, the surface of a sphere, and the surface of a torus. Manifolds are important objects in mathematics and physics because they allow more complicated structures to be expressed and understood in terms of the relatively well-understood properties of simpler spaces. |
Carl Friedrich Gauss |
Carl Friedrich Gauss (30 April 1777 – 23 February 1855) was a German mathematician and scientist of profound genius who contributed significantly to many fields, including number theory, analysis, differential geometry, geodesy, electricity, magnetism, astronomy and optics. Known as "the prince of mathematicians" and "greatest mathematician since antiquity", Gauss had a remarkable influence in many fields of mathematics and science and is ranked as one of history's most influential mathematicians.
Gauss was a child prodigy, of whom there are many anecdotes pertaining to his astounding precocity while a mere toddler, and made his first ground-breaking mathematical discoveries while still a teenager. He completed Disquisitiones Arithmeticae, his magnum opus, at the age of twenty-one (1798), though it wasn't published until 1801. This work was fundamental in consolidating number theory as a discipline and has shaped the field to the present day. |
Regular polytope | A regular polytope is a geometric figure with a high degree of symmetry. Examples in two dimensions include the square, the regular pentagon and hexagon, and so on. In three dimensions the regular polytopes include the cube, the dodecahedron, and all other Platonic solids. Other Platonic solids include the tetrahedron, the octahedron, the icosahedron. Examples exist in higher dimensions also, such as the 5-dimensional hendecatope. Circles and spheres, although highly symmetric, are not considered polytopes because they do not have flat faces. The strong symmetry of the regular polytopes gives them an aesthetic quality that interests both non-mathematicians and mathematicians.
Many regular polytopes, at least in two and three dimensions, exist in nature and have been known since prehistory. The earliest surviving mathematical treatment of these objects comes to us from ancient Greek mathematicians such as Euclid. Indeed, Euclid wrote a systematic study of mathematics, publishing it under the title Elements, which built up a logical theory of geometry and number theory. His work concluded with mathematical descriptions of the five Platonic solids. |
Georg Cantor |
Georg Ferdinand Ludwig Philipp Cantor (December 3, 1845, St. Petersburg, Russia – January 6, 1918, Halle, Germany) was a German mathematician who is best known as the creator of set theory. Cantor established the importance of one-to-one correspondence between sets, defined infinite and well-ordered sets, and proved that the real numbers are "more numerous" than the natural numbers. In fact, Cantor's theorem implies the existence of an "infinity of infinities." He defined the cardinal and ordinal numbers, and their arithmetic. Cantor's work is of great philosophical interest, a fact of which he was well aware.
Cantor's work encountered resistance from mathematical contemporaries such as Leopold Kronecker and Henri Poincaré, and later from Hermann Weyl and L.E.J. Brouwer. Ludwig Wittgenstein raised philosophical objections. Nowadays, the vast majority of mathematicians who are neither constructivists nor finitists accept Cantor's work on transfinite sets and arithmetic, recognizing it as a major paradigm shift. |
Cryptography |
Cryptography (or cryptology) is derived from Greek κρυπτός kryptós "hidden," and the verb γράφω gráfo "write". In modern times, it has become a branch of information theory, as the mathematical study of information and especially its transmission from place to place. The noted cryptographer Ron Rivest has observed that "cryptography is about communication in the presence of adversaries." It is a central contributor to several fields: information security and related issues, particularly, authentication, and access control. One of cryptography's primary purposes is hiding the meaning of messages, not usually the existence of such messages.
In modern times, cryptography also contributes to computer science. Cryptography is central to the techniques used in computer and network security for such things as access control and information confidentiality. Cryptography is also used in many applications encountered in everyday life; the security of ATM cards, computer passwords, and electronic commerce all depend on cryptography. |
Polar coordinate system | The polar coordinate system is a two-dimensional coordinate system in which points are given by an angle and a distance from a central point known as the pole (equivalent to the origin in the more familiar Cartesian coordinate system). The polar coordinate system is used in many fields, including mathematics, physics, engineering, navigation and robotics. It is especially useful in situations where the relationship between two points is most easily expressed in terms of angles and distance; in the Cartesian coordinate system, such a relationship can only be found through trigonometric formulae. For many types of curves, a polar equation is the simplest means of representation of variables.
It is known that the Greeks used the concepts of angle and radius. The astronomer Hipparchus (190-120 BC) tabulated a table of chord functions giving the length of the chord for each angle, and there are references to his using polar coordinates in establishing stellar positions. |
Fermat's Last Theorem |
Fermat's Last Theorem is one of the most famous theorems in the history of mathematics. It states that:
Despite how closely the problem is related to the Pythagorean theorem, which has infinite solutions and hundreds of proofs, Fermat's subtle variation is much more difficult to prove. Still, the problem itself is easily understood even by schoolchildren, making it all the more frustrating and generating perhaps more incorrect proofs than any other problem in the history of mathematics. The 17th-century mathematician Pierre de Fermat wrote in 1637 in his copy of Bachet's translation of the famous Arithmetica of Diophantus: "I have a truly marvelous proof of this proposition which this margin is too narrow to contain." However, no correct proof was found for 357 years, until it was finally proven using very deep methods by Andrew Wiles in 1995 (after a failed attempt a year before). |
Blaise Pascal |
Blaise Pascal (pronounced [blez pɑskɑl]), (June 19, 1623 – August 19, 1662) was a French mathematician, physicist, and religious philosopher. He was a child prodigy who was educated by his father. Pascal's earliest work was in the natural and applied sciences where he made important contributions to the construction of mechanical calculators, the study of fluids, and clarified the concepts of pressure and vacuum by generalizing the work of Evangelista Torricelli. Pascal also wrote powerfully in defense of the scientific method.
A mathematician of the first order, Pascal helped create two major new areas of research. He wrote a significant treatise on projective geometry at the age of sixteen and corresponded with Pierre de Fermat from 1654 on probability theory, strongly influencing the development of modern economics and social science. Following a mystical experience in late 1654, he abandoned his scientific work and devoted himself to philosophy and theology. However, he had suffered from ill-health throughout his life and his new interests were ended by his early death two months after his 39th birthday. |
Platonic solid | A Platonic solid is a convex regular polyhedron. These are the three-dimensional analogs of the convex regular polygons. There are precisely five such figures (shown on the left). The name of each figure is derived from the number of its faces: respectively 4, 6, 8, 12 and 20. They are unique in that the sides, edges and angles are all congruent. Due to their aesthetic beauty and symmetry, the Platonic solids have been a favorite subject of geometers for thousands of years. They are named after the ancient Greek philosopher Plato who claimed the classical elements were constructed from the regular solids. The Platonic solids have been known since antiquity. The five solids were certainly known to the ancient Greeks and there is evidence that these figures were known long before then. The neolithic people of Scotland constructed stone models of all five solids at least 1000 years before Plato. |
Game Theory |
Game theory is a branch of mathematics that is often used in the context of economics. It studies strategic interactions between agents. In strategic games, agents choose strategies which will maximize their return, given the strategies the other agents choose. The essential feature is that it provides a formal modelling approach to social situations in which decision makers interact with other agents. Game theory extends the simpler optimisation approach developed in neoclassical economics.
The field of game theory came into being with the 1944 classic Theory of Games and Economic Behavior by John von Neumann and Oskar Morgenstern. A major center for the development of game theory was RAND Corporation where it helped to define nuclear strategies. Game theory has played, and continues to play a large role in the social sciences, and is now also used in many diverse academic fields. Beginning in the 1970s, game theory has been applied to animal behaviour, including evolutionary theory. Many games, especially the prisoner's dilemma, are used to illustrate ideas in political science and ethics. Game theory has recently drawn attention from computer scientists because of its use in artificial intelligence and cybernetics. |
0.999... | The real number denoted by the recurring decimal 0.999… is exactly equal to 1. In other words, "0.999…" represents the same number as the symbol "1". Various proofs of this identity have been formulated with varying rigour, preferred development of the real numbers, background assumptions, historical context, and target audience.
The equality has long been taught in textbooks, and in the last few decades, researchers of mathematics education have studied the reception of this equation among students, who often reject the equality. The students' reasoning is typically based on one of a few common erroneous intuitions about the real numbers; for example, a belief that each unique decimal expansion must correspond to a unique number, an expectation that infinitesimal quantities should exist, that arithmetic may be broken, an inability to understand limits or simply the belief that 0.999… should have a last 9. These ideas are false with respect to the real numbers, which can be proven by explicitly constructing the reals from the rational numbers, and such constructions can also prove that 0.999… = 1 directly. |
Infinite monkey theorem | The infinite monkey theorem states that a monkey hitting keys at random on a typewriter keyboard for an infinite amount of time will almost surely type or create a particular chosen text, such as the complete works of William Shakespeare. Note that "almost surely" in this context is a mathematical term with a specific meaning, and that the "monkey" is not an actual monkey; rather, it is a vivid metaphor for an abstract device that produces an unending, random sequence of letters.
The theorem graphically illustrates the perils of reasoning about infinity by imagining a vast but finite number. If every atom in the visible universe were a monkey producing a billion keystrokes a second from the Big Bang until today, it is still very unlikely that any monkey would get as far as "slings and arrows" in Hamlet's most famous soliloquy. The infinite monkey theorem is straightforward to prove, even without appealing to more advanced results. |
Number | A number is an abstract entity that represents a count or measurement. A symbol for a number is called a numeral. The arithmetical operations of numbers, such as addition, subtraction, multiplication and division, are generalized in the branch of mathematics called abstract algebra, the study of abstract number systems such as groups, rings and fields.
Numbers can be classified into sets called number systems. The most familiar numbers are the natural numbers, which to some mean the non-negative integers and to others mean the positive integers. In everyday parlance the non-negative integers are commonly referred to as whole numbers, the positive integers as counting numbers, symbolised by . Mathematics is used in many classes throughout the course of one's education. The integers consist of the natural numbers (positive whole numbers and zero) combined with the negative whole numbers, which are symbolised by (from the German Zahl, meaning "number"). A rational number is a number that can be expressed as a fraction with an integer numerator and a non-zero natural number denominator. Fractions can be positive, negative, or zero. The set of all fractions includes the integers, since every integer can be written as a fraction with denominator 1. The symbol for the rational numbers is a bold face (for quotient). |
Alan Turing |
Alan Mathison Turing, OBE (June 23, 1912 – June 7, 1954), was an English mathematician, logician, and cryptographer.
Turing is often considered to be the father of modern computer science. Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church–Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine. With the Turing test, he made a significant and characteristically provocative contribution to the debate regarding artificial intelligence: whether it will ever be possible to say that a machine is conscious and can think. He later worked at the National Physical Laboratory, creating one of the first designs for a stored-program computer, although it was never actually built. In 1947 he moved to the University of Manchester to work, largely on software, on the Manchester Mark I then emerging as one of the world's earliest true computers. During World War II, Turing worked at Bletchley Park, Britain's codebreaking centre, and was for a time head of Hut 8, the section responsible for German Naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the method of the bombe, an electromechanical machine which could find settings for the Enigma machine. |
Eigenvalues and eigenvectors | In mathematics, an eigenvector of a transformation is a vector, different from the zero vector, which that transformation simply multiplies by a constant factor, called the eigenvalue of that vector. Often, a transformation is completely described by its eigenvalues and eigenvectors. The eigenspace for a factor is the set of eigenvectors with that factor as eigenvalue, together with the zero vector.
In the specific case of linear algebra, the eigenvalue problem is this: given an n by n matrix A, what nonzero vectors x in exist, such that Ax is a scalar multiple of x? The scalar multiple is denoted by the Greek letter λ and is called an eigenvalue of the matrix A, while x is called the eigenvector of A corresponding to λ. These concepts play a major role in several branches of both pure and applied mathematics — appearing prominently in linear algebra, functional analysis, and to a lesser extent in nonlinear situations. It is common to prefix any natural name for the vector with eigen instead of saying eigenvector. For example, eigenfunction if the eigenvector is a function, eigenmode if the eigenvector is a harmonic mode, eigenstate if the eigenvector is a quantum state, and so on. Similarly for the eigenvalue, e.g. eigenfrequency if the eigenvalue is (or determines) a frequency. |
Riemann hypothesis | The Riemann hypothesis, first formulated by Bernhard Riemann in 1859, is one of the most famous unsolved problems. It has been an open question for well over a century, despite attracting concentrated efforts from many outstanding mathematicians.
The Riemann hypothesis is a conjecture about the distribution of the zeros of the Riemann zeta-function ζ(s). The Riemann zeta-function is defined for all complex numbers s ≠ 1. It has zeros at the negative even integers (i.e. at s=-2, s=-4, s=-6, ...). These are called the trivial zeros. The Riemann hypothesis is concerned with the non-trivial zeros, and states that:
Thus the non-trivial zeros should lie on the so-called critical line ½ + it with t a real number and i the imaginary unit. The Riemann zeta-function along the critical line is sometimes studied in terms of the Z-function, whose real zeros correspond to the zeros of the zeta-function on the critical line. The Riemann hypothesis is one of the most important open problems in contemporary mathematics; a $1,000,000 prize has been offered by the Clay Mathematics Institute for a proof. Most mathematicians believe the Riemann hypothesis to be true. (J. E. Littlewood and Atle Selberg have been reported as skeptical. Selberg's skepticism, if any, waned, from his young days. In a 1989 paper, he suggested that an analogue should hold for a much wider class of functions, the Selberg class.) |
Johannes Kepler |
Johannes Kepler (1571 – 1630) was an Austrian Lutheran mathematician, astronomer and a key figure in the 17th century astronomical revolution. He is best known for his laws of planetary motion, based on his works Astronomia nova and Harmonice Mundi; Kepler's laws provided one of the foundations of Isaac Newton's theory of universal gravitation. Before Kepler, planets' paths were computed by combinations of the circular motions of the celestial orbs; after Kepler astronomers shifted their attention from orbs to orbits—paths that could be represented mathematically as an ellipse.
During his career Kepler was a mathematics teacher at a Graz seminary school (later the University of Graz, Austria), an assistant to Tycho Brahe, court mathematician to Emperor Rudolf II, mathematics teacher in Linz, Austria, and adviser to General Wallenstein. He also did fundamental work in the field of optics and helped to legitimize the telescopic discoveries of his contemporary Galileo Galilei. Kepler lived in an era when there was no clear distinction between astronomy and astrology, while there was a strong division between astronomy (a branch of mathematics within the liberal arts) and physics (a branch of the more prestigious discipline of philosophy). |
Hilbert space | A Hilbert space is a real or complex vector space with a positive-definite Hermitian form, that is complete under its norm. Thus it is an inner product space, which means that it has notions of distance and of angle (especially the notion of orthogonality or perpendicularity). The completeness requirement ensures that for infinite dimensional Hilbert spaces the limits exist when expected, which facilitates various definitions from calculus. A typical example of a Hilbert space is the space of square summable sequences.
Hilbert spaces allow simple geometric concepts, like projection and change of basis to be applied to infinite dimensional spaces, such as function spaces. They provide a context with which to formalize and generalize the concepts of the Fourier series in terms of arbitrary orthogonal polynomials and of the Fourier transform, which are central concepts from functional analysis. Hilbert spaces are of crucial importance in the mathematical formulation of quantum mechanics. |
e (mathematical constant) |
The mathematical constant e is occasionally called Euler's number after the Swiss mathematician Leonhard Euler, or Napier's constant in honor of the Scottish mathematician John Napier who introduced logarithms. It is one of the most important numbers in mathematics, alongside the additive and multiplicative identities 0 and 1, the imaginary unit i, and π, the circumference to diameter ratio for any circle. It has a number of equivalent definitions. One is given in the caption of the image to the right, and three more are:
The number e is also the base of the natural logarithm. Since e is transcendental, and therefore irrational, its value can not be given exactly. The numerical value of e truncated to 20 decimal places is 2.71828 18284 59045 23536. |
Graph (discrete mathematics) | Informally speaking, a graph is a set of objects called points, nodes, or vertices connected by links called lines or edges. In a proper graph, which is by default undirected, a line from point A to point B is considered to be the same thing as a line from point B to point A. In a digraph, short for directed graph, the two directions are counted as being distinct arcs or directed edges. Typically, a graph is depicted in diagrammatic form as a set of dots (for the points, vertices, or nodes), joined by curves (for the lines or edges). Graphs have applications in both mathematics and computer science, and form the basic object of study in graph theory.
Applications of graph theory are generally concerned with labeled graphs and various specializations of these. Many problems of practical interest can be represented by graphs. The link structure of a website could be represented by a directed graph: the vertices are the web pages available at the website and a directed edge from page A to page B exists if and only if A contains a link to B. A graph structure can be extended by assigning a weight to each edge of the graph. Graphs with weights, or weighted graphs, are used to represent structures in which pairwise connections have some numerical values. For example if a graph represents a road network, the weights could represent the length of each road. A digraph with weighted edges in the context of graph theory is called a network. Networks have many uses in the practical side of graph theory, network analysis (for example, to model and analyze traffic networks). |
Homotopy groups of spheres | The homotopy groups of spheres describe the different ways spheres of various dimensions can be wrapped around each other. They are studied as part of algebraic topology. The topic can be hard to understand because the most interesting and surprising results involve spheres in higher dimensions. These are defined as follows: an n-dimensional sphere, n-sphere, consists of all the points in a space of n+1 dimensions that are a fixed distance from a center point. This definition is a generalization of the familiar circle (1-sphere) and sphere (2-sphere).
The goal of algebraic topology is to categorize or classify topological spaces. Homotopy groups were invented in the late 19th century as a tool for such classification, in effect using the set of mappings from a c-sphere into a space as a way to probe the structure of that space. An obvious question was how this new tool would work on n-spheres themselves. No general solution to this question has been found to date, but many homotopy groups of spheres have been computed and the results are surprisingly rich and complicated. The study of the homotopy groups of spheres has led to the development of many powerful tools used in algebraic topology. |
Quadratic equation | A quadratic equation is a polynomial equation of degree two. The general form is
where a ≠ 0 (if a = 0, then the equation becomes a linear equation). The letters a, b, and c are called coefficients: the quadratic coefficient a is the coefficient of x^{2}, the linear coefficient b is the coefficient of x, and c is the constant coefficient, also called the free term. Quadratic equations are known by that name because quadratus is Latin for "square"; in the leading term the variable is squared. A quadratic equation has two (not necessarily distinct) solutions, which may be real or complex, given by the quadratic formula: If the discriminant , then the quadratic equation has two distinct real solutions; if , the equation has two real solutions which are equal; if , the equation has two complex solutions. These solutions are roots of the corresponding quadratic function |
Continuum hypothesis | The continuum hypothesis is a hypothesis, advanced by Georg Cantor, about the possible sizes of infinite sets. Cantor introduced the concept of cardinality to compare the sizes of infinite sets, and he showed that the set of integers is strictly smaller than the set of real numbers. The continuum hypothesis states the following:
Or mathematically speaking, noting that the cardinality for the integers is ("aleph-null") and the cardinality of the real numbers is , the continuum hypothesis says This is equivalent to: The real numbers have also been called the continuum, hence the name. |
Euclidean geometry |
Euclidean geometry is a mathematical system attributed to the Greek mathematician Euclid of Alexandria. Euclid's text Elements was the first systematic discussion of geometry. It has been one of the most influential books in history, as much for its method as for its mathematical content. The method consists of assuming a small set of intuitively appealing axioms, and then proving many other propositions (theorems) from those axioms. Although many of Euclid's results had been stated by earlier Greek mathematicians, Euclid was the first to show how these propositions could fit together into a comprehensive deductive and logical system.
The Elements begin with plane geometry, still often taught in secondary school as the first axiomatic system and the first examples of formal proof. The Elements goes on to the solid geometry of three dimensions, and Euclidean geometry was subsequently extended to any finite number of dimensions. Much of the Elements states results of what is now called number theory, proved using geometrical methods. For over two thousand years, the adjective "Euclidean" was unnecessary because no other sort of geometry had been conceived. Euclid's axioms seemed so intuitively obvious that any theorem proved from them was deemed true in an absolute sense. Today, however, many other self-consistent geometries are known, the first ones having been discovered in the early 19th century. It also is no longer taken for granted that Euclidean geometry describes physical space. An implication of Einstein's theory of general relativity is that Euclidean geometry is only a good approximation to the properties of physical space if the gravitational field is not too strong. |
Knot theory |
Knot theory is the branch of topology that studies mathematical knots, which are defined as embeddings of a circle S^{1} in 3-dimensional Euclidean space, R^{3}. This is basically equivalent to a conventional knotted string with the ends of the string joined together to prevent it from becoming undone. Two mathematical knots are considered equivalent if one can be transformed into the other via continuous deformations (known as ambient isotopies); these transformations correspond to manipulations of a knotted string that do not involve cutting the string or passing the string through itself.
Knots can be described in various ways, but the most common method is by planar diagrams (known as knot projections or knot diagrams). Given a method of description, a knot will have many descriptions, e.g., many diagrams, representing it. A fundamental problem in knot theory is determining when two descriptions represent the same knot. One way of distinguishing knots is by using a knot invariant, a "quantity" which remains the same even with different descriptions of a knot. Research in knot theory began with the creation of knot tables and the systematic tabulation of knots. While tabulation remains an important task, today's researchers have a wide variety of backgrounds and goals. Classical knot theory, as initiated by Max Dehn, J. W. Alexander, and others, is primarily concerned with the knot group and invariants from homology theory such as the Alexander polynomial. The discovery of the Jones polynomial by Vaughan Jones in 1984, and subsequent contributions from Edward Witten, Maxim Kontsevich, and others, revealed deep connections between knot theory and mathematical methods in statistical mechanics and quantum field theory. A plethora of knot invariants have been invented since then, utilizing sophisticated tools as quantum groups and Floer homology. |
Riemann sphere | The Riemann sphere is a way of extending the plane of complex numbers with one additional point at infinity, in a way that makes expressions such as
well-behaved and useful, at least in certain contexts. It is named after 19th century mathematician Bernhard Riemann. It is also called the complex projective line, denoted CP^{1}. On a purely algebraic level, the complex numbers with an extra infinity element constitute a number system known as the extended complex numbers. Arithmetic with infinity does not obey all of the usual rules of algebra, and so the extended complex numbers do not form a field. However, the Riemann sphere is geometrically and analytically well-behaved, even near infinity; it is a one-dimensional complex manifold, also called a Riemann surface. In complex analysis, the Riemann sphere facilitates an elegant theory of meromorphic functions. The Riemann sphere is ubiquitous in projective geometry and algebraic geometry as a fundamental example of a complex manifold, projective space, and algebraic variety. It also finds utility in other disciplines that depend on analysis and geometry, such as quantum mechanics and other branches of physics. |
Fractal | A fractal is "a rough or fragmented geometric shape that can be subdivided in parts, each of which is (at least approximately) a reduced-size copy of the whole". The term was coined by Benoît Mandelbrot in 1975 and was derived from the Latin fractus meaning "broken" or "fractured".
A fractal as a geometric object generally has the following features:
Because they appear similar at all levels of magnification, fractals are often considered to be infinitely complex (in informal terms). Natural objects that approximate fractals to a degree include clouds, mountain ranges, lightning bolts, coastlines, and snow flakes. However, not all self-similar objects are fractals—for example, the real line (a straight Euclidean line) is formally self-similar but fails to have other fractal characteristics. Fractals, when zoomed in, will keep showing more and more of itself, and it keeps going for infinity. |
Map projection | A map projection is any method used in cartography (mapmaking) to represent the dimensional surface of the earth or other bodies. The term "projection" here refers to any function defined on the earth's surface and with values on the plane, and not necessarily a geometric projection.
Flat maps could not exist without map projections, because a sphere cannot be laid flat over a plane without distortions. One can see this mathematically as a consequence of Gauss's Theorema Egregium. Flat maps can be more useful than globes in many situations: they are more compact and easier to store; they readily accommodate an enormous range of scales; they are viewed easily on computer displays; they can facilitate measuring properties of the terrain being mapped; they can show larger portions of the earth's surface at once; and they are cheaper to produce and transport. These useful traits of flat maps motivate the development of map projections. |
Golden ratio | In mathematics and the arts, two quantities are in the golden ratio if the ratio between the sum of those quantities and the larger one is the same as the ratio between the larger one and the smaller. The golden ratio is a mathematical constant, usually denoted by the Greek letter φ (phi).
Expressed algebraically, two quantities a and b (assuming ) are therefore in the golden ratio if It follows from this property that φ satisfies the quadratic equation φ^{2} = φ + 1 and is therefore an algebraic irrational number, given by which is approximately equal to 1.6180339887. At least since the Renaissance, many artists and architects have proportioned their works to approximate the golden ratio—especially in the form of the golden rectangle, in which the ratio of the longer side to the shorter is the golden ratio—believing this proportion to be aesthetically pleasing. Mathematicians have studied the golden ratio because of its unique and interesting properties. Other names frequently used for or closely related to the golden ratio are golden section (Latin: sectio aurea), golden mean, golden number, divine proportion (Italian: proporzionedivina), divine section (Latin: sectio divina), golden proportion, golden cut, and mean of Phidias. |
Stereographic projection | In geometry, the stereographic projection is a particular mapping (function) that projects a sphere onto a plane. The projection is defined on the entire sphere, except at one point: the projection point. Where it is defined, the mapping is smooth and bijective. It is conformal, meaning that it preserves angles. It is neither isometric nor area-preserving: that is, it preserves neither distances nor the areas of figures.
Intuitively, then, the stereographic projection is a way of picturing the sphere as the plane, with some inevitable compromises. Because the sphere and the plane appear in many areas of mathematics and its applications, so does the stereographic projection; it finds use in diverse fields including complex analysis, cartography, geology, and photography. |
Banach-Tarski Paradox | The Banach–Tarski paradox is a theorem in set-theoretic geometry which states that a solid ball in 3-dimensional space can be split into a finite number of non-overlapping pieces, which can then be put back together in a different way to yield two identical copies of the original ball. The reassembly process involves only moving the pieces around and rotating them, without changing their shape. However, the pieces themselves are complicated: they are not usual solids but infinite scatterings of points. A stronger form of the theorem implies that given any two "reasonable" solid objects (such as a small ball and a huge ball) — solid in the sense of the continuum — either one can be reassembled into the other. This is often stated colloquially as "a pea can be chopped up and reassembled into the Sun". |