Home About us Products Services Contact us Bookmark
:: wikimiki.org ::
Real Number

Real number

In mathematics, the real numbers are intuitively defined as numbers that are in one-to-one correspondence with the points on an infinite line—the number line. The term "real number" is a retronym coined in response to "imaginary number". Real numbers may be rational or irrational; algebraic or transcendental; and positive, negative, or zero. Real numbers measure continuous quantities. They may in theory be expressed by decimal fractions that have an infinite sequence of digits to the right of the decimal point; these are often (mis-)represented in the same form as 324.823211247… The three dots indicate that there would still be more digits to come, no matter how many more might be added at the end. Measurements in the physical sciences are almost always conceived as approximations to real numbers. Writing them as decimal fractions (which are rational numbers that could be written as ratios, with an explicit denominator) is not only more compact, but to some extent conveys the sense of an underlying real number. The real numbers are the central object of study in real analysis. A real number is said to be computable if there exists an algorithm that yields its digits. Because there are only countably many algorithms, but an uncountable number of reals, most real numbers are not computable. Some constructivists accept the existence of only those reals that are computable. The set of definable numbers is broader, but still only countable. Computers can only approximate most real numbers with rational numbers; these approximations are known as floating point numbers or fixed-point numbers; see real data type. Computer algebra systems are able to treat some real numbers exactly by storing an algebraic description (such as "sqrt(2)") rather than their decimal approximation. Mathematicians use the symbol R (or alternatively, \Bbb , the letter "R" in blackboard bold) to represent the set of all real numbers. The notation Rn refers to an n-dimensional space of real numbers; for example, a value from R3 consists of three real numbers and specifies a location in 3-dimensional space. In mathematics, real is used as an adjective, meaning that the underlying field is the field of real numbers. For example real matrix, real polynomial and real Lie algebra.

History

Vulgar fractions had been used by the Egyptians around 1000 BC; around 500 BC, the Greek mathematicians led by Pythagoras realized the need for irrational numbers. Negative numbers were invented by Indian mathematicians around 600 AD, and then possibly reinvented in China shortly after. They were not used in Europe until the 1600s, but even in the late 1700s, Leonhard Euler discarded negative solutions to equations as unrealistic. The development of calculus in the 1700s used the entire set of real numbers without having defined them cleanly. The first rigorous definition was given by Georg Cantor in 1871.

Definition

Construction from the rational numbers

The real numbers can be constructed as a completion of the rational numbers. For details and other construction of real numbers, see construction of real numbers.

Axiomatic approach

Let R denote the set of all real numbers. Then:
- The set R is a field, meaning that addition and multiplication are defined and have the usual properties.
- The field R is ordered, meaning that there is a total order ≥ such that, for all real numbers x, y and z:
  - if x ≥ y then x + z ≥ y + z;
  - if x ≥ 0 and y ≥ 0 then xy ≥ 0.
- The order is Dedekind-complete, i.e., every non-empty subset S of R with an upper bound in R has a least upper bound (also called supremum) in R. The last property is what differentiates the reals from the rationals. For example, the set of rationals with square less than 2 has a rational upper bound (e.g., 1.5) but no rational least upper bound, because the square root of 2 is not rational. The real numbers are uniquely specified by the above properties. More precisely, given any two Dedekind complete ordered fields R1 and R2, there exists a unique field isomorphism from R1 to R2, allowing us to think of them as essentially the same mathematical object.

Properties

Completeness

The main reason for introducing the reals is that the reals contain all limits. More technically, the reals are complete (in the sense of metric spaces or uniform spaces, which is a different sense than the Dedekind completeness of the order in the previous section). This means the following: A sequence (xn) of real numbers is called a Cauchy sequence if for any ε > 0 there exists an integer N (possibly depending on ε) such that the distance |xn − xm| is less than ε provided that n and m are both greater than N. In other words, a sequence is a Cauchy sequence if its elements xn eventually come and remain arbitrarily close to each other. A sequence (xn) converges to the limit x if for any ε > 0 there exists an integer N (possibly depending on ε) such that the distance |xn − x| is less than ε provided that n is greater than N. In other words, a sequence has limit x if its elements eventually come and remain arbitrarily close to x. It is easy to see that every convergent sequence is a Cauchy sequence. An important fact about the real numbers is that the converse is also true: :Every Cauchy sequence of real numbers is convergent. That is, the reals are complete. Note that the rationals are not complete. For example, the sequence (1, 1.4, 1.41, 1.414, 1.4142, 1.41421, ...) is Cauchy but it does not converge to a rational number. (In the real numbers, in contrast, it converges to the square root of 2.) The existence of limits of Cauchy sequences is what makes calculus work and is of great practical use. The standard numerical test to determine if a sequence has a limit is to test if it is a Cauchy sequence, as the limit is typically not known in advance. For example, the standard series of the exponential function : \mathrm^x = \sum_^ \frac converges to a real number because for every x the sums : \sum_^ \frac can be made arbitrarily small by choosing N sufficiently large. This proves that the sequence is Cauchy, so we know that the sequence converges even if we do not know ahead of time what the limit is.

"The complete ordered field"

The real numbers are often described as "the complete ordered field", a phrase that can be interpreted in several ways. First, an order can be lattice-complete. It is easy to see that no ordered field can be lattice-complete, because it can have no largest element (given any element z, z + 1 is larger), so this is not the sense that is meant. Additionally, an order can be Dedekind-complete, as defined in the section Axioms. The uniqueness result at the end of that section justifies using the word "the" in the phrase "complete ordered field" when this is the sense of "complete" that is meant. This sense of completeness is most closely related to the construction of the reals from Dedekind cuts, since that construction starts from an ordered field (the rationals) and then forms the Dedekind-completion of it in a standard way. These two notions of completeness ignore the field structure. However, an ordered group (and a field is a group under the operations of addition and subtraction) defines a uniform structure, and uniform structures have a notion of completeness (topology); the description in the section Completeness above is a special case. (We refer to the notion of completeness in uniform spaces rather than the related and better known notion for metric spaces, since the definition of metric space relies on already having a characterisation of the real numbers.) It is not true that R is the only uniformly complete ordered field, but it is the only uniformly complete Archimedean field, and indeed one often hears the phrase "complete Archimedean field" instead of "complete ordered field". Since it can be proved that any uniformly complete Archimedean field must also be Dedekind complete (and vice versa, of course), this justifies using "the" in the phrase "the complete Archimedean field". This sense of completeness is most closely related to the construction of the reals from Cauchy sequences (the construction carried out in full in this article), since it starts with an Archimedean field (the rationals) and forms the uniform completion of it in a standard way. But the original use of the phrase "complete Archimedean field" was by David Hilbert, who meant still something else by it. He meant that the real numbers form the largest Archimedean field in the sense that every other Archimedean field is a subfield of R. Thus R is "complete" in the sense that nothing further can be added to it without making it no longer an Archimedean field. This sense of completeness is most closely related to the construction of the reals from surreal numbers, since that construction starts with a proper class that contains every ordered field (the surreals) and then selects from it the largest Archimedean subfield.

Advanced properties

The reals are uncountable; that is, there are strictly more real numbers than natural numbers, even though both sets are infinite. This is proved with Cantor's diagonal argument. In fact, the cardinality of the reals is 2ω, i.e., the cardinality of the set of subsets of the natural numbers. Since only a countable set of real numbers can be algebraic, almost all real numbers are transcendental. The non-existence of a subset of the reals with cardinality strictly between that of the integers and the reals is known as the continuum hypothesis. The continuum hypothesis can neither be proved nor be disproved; it is independent from the axioms of set theory. The real numbers form a metric space: the distance between x and y is defined to be the absolute value |x − y|. By virtue of being a totally ordered set, they also carry an order topology; the topology arising from the metric and the one arising from the order are identical. The reals are a contractible (hence connected and simply connected), separable metric space of dimension 1, and are everywhere dense. The real numbers are locally compact but not compact. There are various properties that uniquely specify them; for instance, all unbounded, continuous, and separable order topologies are necessarily homeomorphic to the reals. Every nonnegative real number has a square root in R, and no negative number does. This shows that the order on R is determined by its algebraic structure. Also, every polynomial of odd degree admits at least one root: these two properties make R the premier example of a real closed field. Proving this is the first half of one proof of the fundamental theorem of algebra. The reals carry a canonical measure, the Lebesgue measure, which is the Haar measure on their structure as a topological group normalised such that the unit interval [0,1] has measure 1. The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement. It is not possible to characterize the reals with first-order logic alone: the Löwenheim-Skolem theorem implies that there exists a countable dense subset of the real numbers satisfying exactly the same sentences in first order logic as the real numbers themselves. The set of hyperreal numbers is much bigger than R but also satisfies the same first order sentences as R. Ordered fields that satisfy the same first-order sentences as R are called nonstandard models of R. This is what makes nonstandard analysis work; by proving a first-order statement in some nonstandard model (which may be easier than proving it in R), we know that the same statement must also be true of R.

Generalizations and extensions

The real numbers can be generalized and extended in several different directions. Perhaps the most natural extension are the complex numbers which contain solutions to all polynomial equations. However, the complex numbers are not an ordered field. Ordered fields extending the reals are the hyperreal numbers and the surreal numbers; both of them contain infinitesimal and infinitely large numbers and thus are not Archimedean. Occasionally, the two formal elements +∞ and −∞ are added to the reals to form the extended real number line, a compact space which is not a field but retains many of the properties of the real numbers. Self-adjoint operators on a Hilbert space (for example, self-adjoint square complex matrices) generalize the reals in many respects: they can be ordered (though not totally ordered), they are complete, all their eigenvalues are real and they form a real associative algebra. Positive-definite operators correspond to the positive reals and normal operators correspond to the complex numbers. Category:Elementary mathematics Category:Real numbers Category:Set theory ko:실수 ja:実数 th:จำนวนจริง

Mathematics

Mathematics is often defined as the study of topics such as quantity, structure, space, and change. Another view, held by many mathematicians, is that mathematics is the body of knowledge justified by deductive reasoning, starting from axioms and definitions. Practical mathematics, in nearly every society, is used for such purposes as accounting, measuring land, or predicting astronomical events. Mathematical discovery or research often involves discovering and cataloging patterns, without regard for application. The remarkable fact that the "purest" mathematics often turns out to have practical applications is what Eugene Wigner has called "the unreasonable effectiveness of mathematics." Today, the natural sciences, engineering, economics, and medicine depend heavily on new mathematical discoveries. The word "mathematics" comes from the Greek μάθημα (máthema) meaning "science, knowledge, or learning" and μαθηματικός (mathematikós) meaning "fond of learning". It is often abbreviated maths in Commonwealth English and math in North American English.

History

:Main article: History of mathematics The evolution of mathematics might be seen to be an ever-increasing series of abstractions, or alternatively an expansion of subject matter. The first abstraction was probably that of numbers. The realization that two apples and two oranges do have something in common, namely that they fill the hands of exactly one person, was a breakthrough in human thought. In addition to recognizing how to count concrete objects, prehistoric peoples also recognized how to count abstract quantities, like time -- days, seasons, years. Arithmetic (e.g. addition, subtraction, multiplication and division), naturally followed. Monolithic monuments testify to a knowledge of geometry. Further steps need writing or some other system for recording numbers such as tallies or the knotted strings called khipu used by the Inca empire to store numerical data. Numeral systems have been many and diverse. Historically, the major disciplines within mathematics arose, from the start of recorded history, out of the need to do calculations on taxation and commerce, to understand the relationships among numbers, to measure land, and to predict astronomical events. These needs can be roughly related to the broad subdivision of mathematics, into the studies of quantity, structure, space, and change. Mathematics since has been much extended, and there has been a fruitful interaction between mathematics and science, to the benefit of both. Mathematical discoveries have been made throughout history and continue to be made today.

Inspiration, pure and applied mathematics, and aesthetics

Mathematics arises wherever there are difficult problems that involve quantity, structure, space, or change. At first these were found in commerce, land measurement and later astronomy; nowadays, all sciences suggest problems studied by mathematicians, and many problems arise within mathematics itself. Newton invented infinitesimal calculus and Feynman his Feynman path integral using a combination of reasoning and physical insight, and today's string theory also inspires new mathematics. Some mathematics is only relevant in the area that inspired it, and is applied to solve further problems in that area. But often mathematics inspired by one area proves useful in many areas, and joins the general stock of mathematical concepts. As in most areas of study, the explosion of knowledge in the scientific age has led to specialization in mathematics. One major distinction is between pure mathematics and applied mathematics. Within applied mathematics, two major areas have split off and become disciplines in their own right, statistics and computer science. Many mathematicians talk about the elegance of mathematics, its intrinsic aesthetics and inner beauty. Simplicity and generality are valued. There is beauty also in a clever proof, such as Euclid's proof that there are infinitely many prime numbers, and in a numerical method that speeds calculation, such as the fast Fourier transform. G. H. Hardy in "A Mathematicians Apology" expressed the belief that these esthetic considerations are, in themselves, sufficient to justify the study of pure mathematics. Main article: Mathematical beauty.

Notation, language, and rigor

Mathematical writing is not easily accessible to the layperson. A Brief History of Time, Stephen Hawking's 1988 bestseller, contained a single mathematical equation. This was the author's compromise with the publisher's advice, that each equation would halve the sales. The reasons for the inaccessibility even of carefully-expressed mathematics can be partially explained. Contemporary mathematicians strive to be as clear as possible in the things they say and especially in the things they write (this they have in common with lawyers). They refer to rigor. To accomplish rigor, mathematicians have extended natural language. There is precisely-defined vocabulary for referring to mathematical objects, and stating certain common relations. There is an accompanying mathematical notation which, like musical notation, has a definite content and also has a strict grammar (under the influence of computer science, more often now called syntax). Some of the terms used in mathematics are also common outside mathematics, such as ring, group and category; but are not such that one can infer the meanings. Some are specific to mathematics, such as homotopy and Hilbert space. It was said that Henri Poincaré was only elected to the Académie Française so that he could tell them how to define automorphe in their dictionary. Rigor is fundamentally a matter of mathematical proof. Mathematicians want their theorems to follow mechanically from axioms by means of formal axiomatic reasoning. This is to avoid mistaken 'theorems', based on fallible intuitions; of which plenty of examples have occurred in the history of the subject (for example, in mathematical analysis). Axioms in traditional thought were 'self-evident truths', but that conception turns out not to be workable in pushing the mathematical boundaries. At a formal level, an axiom is just a string of symbols, which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system. It was the goal of Hilbert's program to put all of mathematics on a firm axiomatic basis, but according to Gödel's incompleteness theorem every (strong enough) axiom system has undecidable formulas; and so a final axiomatization of mathematics is unavailable. Nonetheless mathematics is often imagined to be (as far as its formal content) nothing but set theory in some axiomatization, in the sense that every mathematical statement or proof could be cast into formulas within set theory.

Is mathematics a science?

Carl Friedrich Gauss referred to mathematics as the Queen of the Sciences. The mathematician-physicist Leon M. Lederman has quipped: "The physicists defer only to mathematicians, and the mathematicians defer only to God (though you may be hard pressed to find a mathematician that modest)." If one considers science to be strictly about the physical world, then mathematics, or at least pure mathematics, is not a science. An alternative view is that certain scientific fields (such as theoretical physics) are mathematics with axioms that are intended to correspond to reality. In fact, the theoretical physicist, J. M. Ziman, proposed that science is public knowledge and thus includes mathematics. [http://info.med.yale.edu/therarad/summers/ziman.htm] In any case, mathematics shares much in common with many fields in the physical sciences, notably the exploration of the logical consequences of assumptions. Intuition and experimentation also play a role in the formulation of conjectures in both mathematics and the (other) sciences.

Overview of fields of mathematics

As noted above, the major disciplines within mathematics first arose out of the need to do calculations in commerce, to understand the relationships between numbers, to measure land, and to predict astronomical events. These four needs can be roughly related to the broad subdivision of mathematics into the study of quantity, structure, space, and change (i.e. arithmetic, algebra, geometry and analysis). In addition to these main concerns, there are also subdivisions dedicated to exploring links from the heart of mathematics to other fields: to logic, to set theory (foundations) and to the empirical mathematics of the various sciences (applied mathematics). The study of quantity starts with numbers, first the familiar natural numbers and integers and their arithmetical operations, which are characterized in arithmetic. The deeper properties of whole numbers are studied in number theory. The study of structure began with investigations of Pythagorean triples. Neolithic monuments on the British Isles are constructed using Pythagorean triples. Eventually, this led to the invention of more abstract numbers, such as the square root of two. The deeper structural properties of numbers are studied in abstract algebra and the investigation of groups, rings, fields and other abstract number systems. Included is the important concept of vectors, generalized to vector spaces and studied in linear algebra. The study of vectors combines three of the fundamental areas of mathematics, quantity, structure, and space. The study of space originates with geometry, beginning with Euclidean geometry. Trigonometry combines space and number. The modern study of space generalizes these ideas to include higher-dimensional geometry, non-Euclidean geometries (which play a central role in general relativity) and topology. Quantity and space both play a role in analytic geometry, differential geometry, and algebraic geometry. Within differential geometry are the concepts of fiber bundles, calculus on manifolds. Within algebraic geometry is the description of geometric objects as solution sets of polynomal equations, combining the concepts of quantity and space, and also the study of topological groups, which combine structure and space. Lie groups are used to study space, structure, and change. Topology in all its many ramifications may be the greatest growth area in 20th century mathematics. Understanding and describing change is a common theme in the natural sciences, and calculus was developed as a most useful tool. The central concept used to describe a changing quantity is that of a function. Many problems lead quite naturally to relations between a quantity and its rate of change, and the methods of differential equations. The numbers used to represent continuous quantities are the real numbers, and the detailed study of their properties and the properties of real-valued functions is known as real analysis. These have been generalized, with the inclusion of the square root of negative one, to the complex numbers, which are studied in complex analysis. Functional analysis focuses attention on (typically infinite-dimensional) spaces of functions. One of many applications of functional analysis is quantum mechanics. Many phenomena in nature can be described by dynamical systems; chaos theory makes precise the ways in which many of these systems exhibit unpredictable yet still deterministic behavior. Beyond quantity, structure, space, and change are areas of pure mathematics that can be approached only by deductive reasoning. In order to clarify the foundations of mathematics, the fields of mathematical logic and set theory were developed. Mathematical logic, which divides into recursion theory, model theory, and proof theory, is now closely linked to computer science. When electronic computers were first conceived, several essential theoretical concepts in computer science were shaped by mathematicians, leading to the fields of computability theory, computational complexity theory, and information theory. Many of those topics are now investigated in theoretical computer science. Discrete mathematics is the common name for the fields of mathematics most generally useful in computer science. An important field in applied mathematics is statistics, which uses probability theory as a tool and allows the description, analysis, and prediction of phenomena where chance plays a part. It is used in all the sciences. Numerical analysis investigates methods for using computers to efficiently solve a broad range of mathematical problems that are typically beyond human capacity, and taking rounding errors or other sources of error into account to obtain credible answers.

Major themes in mathematics

An alphabetical and subclassified list of mathematical topics is available. The following list of themes and links gives just one possible view. For a fuller treatment, see Areas of mathematics or the list of lists of mathematical topics.

Quantity

This starts from explicit measurements of sizes of numbers or sets, or ways to find such measurements. : :Number – Natural number – Integers – Rational numbers – Real numbers – Complex numbers – Hypercomplex numbers – Quaternions – Octonions – Sedenions – Hyperreal numbers – Surreal numbers – Ordinal numbers – Cardinal numbers – p-adic numbers – Integer sequences – Mathematical constants – Number names – Infinity – Base

Structure

:Pinning down ideas of size, symmetry, and mathematical structure. : :Abstract algebra – Number theory – Algebraic geometry – Group theory – Monoids – Analysis – Topology – Linear algebra – Graph theory – Universal algebra – Category theory – Order theory – Measure theory

Space

:A more visual approach to mathematics. : :Topology – Geometry – Trigonometry – Algebraic geometry – Differential geometry – Differential topology – Algebraic topology – Linear algebra – Fractal geometry

Change

:Ways to express and handle change in mathematical functions, and changes between numbers. : :Arithmetic – Calculus – Vector calculus – Analysis – Differential equations – Dynamical systems – Chaos theory – List of functions

Foundations and methods

:Approaches to understanding the nature of mathematics. :philosophy of mathematics – mathematical intuitionism – mathematical constructivism – foundations of mathematics – set theory – symbolic logic – model theory – category theory – Logic – reverse mathematics – table of mathematical symbols

Discrete mathematics

:Discrete mathematics involves techniques that apply to objects that can only take on specific, separated values. : :Combinatorics – Naive set theory – Theory of computation– Cryptography – Graph theory

Applied mathematics

:Applied mathematics uses the full knowledge of mathematics to solve real-world problems. :Mathematical physics – Mechanics – Fluid mechanics – Numerical analysis – Optimization – Probability – Statistics – Mathematical economics – Financial mathematics – Game theory – Mathematical biology – Cryptography – Information theory

Important theorems

:These theorems have interested mathematicians and non-mathematicians alike. :See list of theorems for more :Pythagorean theorem – Fermat's last theorem – Gödel's incompleteness theorems – Fundamental theorem of arithmetic – Fundamental theorem of algebra – Fundamental theorem of calculus – Cantor's diagonal argument – Four color theorem – Zorn's lemma – Euler's identity – classification theorems of surfaces – Gauss-Bonnet theorem – Quadratic reciprocity – Riemann-Roch theorem.

Important conjectures

See list of conjectures for more :These are some of the major unsolved problems in mathematics. :Goldbach's conjecture – Twin Prime Conjecture – Riemann hypothesis – Poincaré conjecture – Collatz conjecture – P=NP? – open Hilbert problems.

History and the world of mathematicians

See also list of mathematics history topics :History of mathematics – Timeline of mathematics – Mathematicians – Fields medal – Abel Prize – Millennium Prize Problems (Clay Math Prize) – International Mathematical Union – Mathematics competitions – Lateral thinking – Mathematical abilities and gender issues

Mathematics and other fields

:Mathematics and architecture – Mathematics and education – Mathematics of musical scales

Common misconceptions

Mathematics is not a closed intellectual system, in which everything has already been worked out. There is no shortage of open problems. Pseudomathematics is a form of mathematics-like activity undertaken outside academia, and occasionally by mathematicians themselves. It often consists of determined attacks on famous questions, consisting of proof-attempts made in an isolated way (that is, long papers not supported by previously published theory). The relationship to generally-accepted mathematics is similar to that between pseudoscience and real science. The misconceptions involved are normally based on:
- misunderstanding of the implications of mathematical rigour;
- attempts to circumvent the usual criteria for publication of mathematical papers in a learned journal after peer review, with assumptions of bias;
- lack of familiarity with, and therefore underestimation of, the existing literature. The case of Kurt Heegner's work shows that the mathematical establishment is neither infallible, nor unwilling to admit error in assessing 'amateur' work. And like astronomy, mathematics owes much to amateur contributors such as Fermat and Mersenne. Mathematics is not accountancy. Although arithmetic computation is crucial to accountants, their main concern is to verify that computations are correct through a system of doublechecks. Advances in abstract mathematics are mostly irrelevant to the efficiency of concrete bookkeeping, but the use of computers clearly does matter. Mathematics is not numerology. Numerology uses modular arithmetic to reduce names and dates down to numbers, but assigns emotions or traits to these numbers intuitively or on the basis of traditions. Mathematical concepts and theorems need not correspond to anything in the physical world. In the case of geometry, for example, it is not relevant to mathematics to know whether points and lines exist in any physical sense, as geometry starts from axioms and postulates about abstract entities called "points" and "lines" that we feed into the system. While these axioms are derived from our perceptions and experience, they are not dependent on them. And yet, mathematics is extremely useful for solving real-world problems. It is this fact that led Eugene Wigner to write an essay on The Unreasonable Effectiveness of Mathematics in the Natural Sciences. Mathematics is not about unrestricted theorem proving, any more than literature is about the construction of grammatically correct sentences. However, theorems are elements of formal theories, and in some cases computers can generate proofs of these theorems more or less automatically, by means of automated theorem provers. These techniques have proven useful in formal verification of programs and hardware designs. However, they are unlikely to generate (in the near term, at least) mathematics with any widely recognized aesthetic value.

See also


- Mathematical game
- Mathematical problem
- Mathematical puzzle
- Puzzle

Bibliography


- Benson, Donald C., The Moment Of Proof: Mathematical Epiphanies (1999).
- Courant, R. and H. Robbins, What Is Mathematics? (1941);
- Davis, Philip J. and Hersh, Reuben, The Mathematical Experience. Birkhäuser, Boston, Mass., 1980. A gentle introduction to the world of mathematics.
- Boyer, Carl B., History of Mathematics, Wiley, 2nd edition 1998 available, 1st edition 1968 . A concise history of mathematics from the Concept of Number to contemporary Mathematics.
- Gullberg, Jan, Mathematics--From the Birth of Numbers. W.W. Norton, 1996. An encyclopedic overview of mathematics presented in clear, simple language.
- Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics. Kluwer Academic Publishers 2000. A translated and expanded version of a Soviet math encyclopedia, in ten (expensive) volumes, the most complete and authoritative work available. Also in paperback and on CD-ROM.
- Kline, M., Mathematical Thought from Ancient to Modern Times (1973).
- Pappas, Theoni, The Joy Of Mathematics (1989).

External links


- [http://www.cut-the-knot.org/ Interactive Mathematics Miscellany and Puzzles] — A collection of articles on various math topics, with interactive Java illustrations at cut-the-knot
- Rusin, Dave: [http://www.math-atlas.org/ The Mathematical Atlas]. A guided tour through the various branches of modern mathematics.
- Stefanov, Alexandre: [http://us.geocities.com/alex_stef/mylist.html Textbooks in Mathematics]. A list of free online textbooks and lecture notes in mathematics.
- Weisstein, Eric et al.: [http://www.mathworld.com/ MathWorld: World of Mathematics]. An online encyclopedia of mathematics.
- Polyanin, Andrei: [http://eqworld.ipmnet.ru/ EqWorld: The World of Mathematical Equations]. An online resource focusing on algebraic, ordinary differential, partial differential (mathematical physics), integral, and other mathematical equations.
- A mathematical thesaurus maintained by the [http://nrich.maths.org/ NRICH] project at the University of Cambridge (UK), [http://thesaurus.maths.org/ Connecting Mathematics]
- [http://planetmath.org/ Planet Math]. An online math encyclopedia under construction, focusing on modern mathematics. Uses the GFDL, allowing article exchange with Wikipedia. Uses TeX markup.
- [http://www.mathforge.net/ Mathforge]. A news-blog with topics ranging from popular mathematics to popular physics to computer science and education.
- [http://www.youngmath.net/concerns Young Mathematicians Network (YMN)]. A math-blog "Serving the Community of Young Mathematicians". Topics include: Math News, Grad and Undergrad Life, Job Search, Career, Work & Family, Teaching, Research, Misc...
- [http://metamath.org/ Metamath]. A site and a language, that formalize math from its foundations.
- [http://world.std.com/~reinhold/dir/mathmovies.html Math in the Movies]. A guide to major motion pictures with scenes of real mathematics
- [http://math.cofc.edu/faculty/kasman/MATHFICT/default.html Mathematics in fiction]. Links to works of fiction that refer to mathematics or mathematicians.
- [http://www.mathhelpforum.com/math-help Math Help Forum]. A forum, for math help, math discussion and debate.
- [http://www.sosmath.com/CBB S.O.S. Mathematics Cyberboard] a math help forum which incorporates a LaTeX extension, making it easier for members to write and display math formulae.
- [http://www-history.mcs.st-and.ac.uk/~history/ Mathematician Bibliography]. Extensive history and quotes from all famous mathematicians.
- [http://www.physicsmathforums.com/ Physics Math Forums]
- Category:School subjects fiu-vro:Matõmaatiga zh-min-nan:Sò·-ha̍k ko:수학 ms:Matematik ja:数学 simple:Mathematics th:คณิตศาสตร์

One-to-one correspondence

In mathematics, injections, surjections and bijections are classes of functions distinguished by the manner in which arguments (input expressions from the domain) and images (output expressions from the codomain) are related or mapped to each other.
- A function f: \; A \to B is injective (one-to-one) if f(x)=f(y) \; \to \; x=y or, equivalently, if x \ne y \; \to \; f(x) \ne f(y). One could also say that every element of the codomain (sometimes called range) is mapped to by at most one element (argument) of the domain; not every element of the codomain, however, need have an argument mapped to it. An injective function is an injection.
- A function is surjective (onto) if every element of the codomain is mapped to by some element (argument) of the domain; some images may be mapped to by more than one argument. (Equivalently, a function where the range is equal to the codomain.) A surjective function is a surjection.
- A function is bijective (one-to-one and onto) if and only if (iff) it is both injective and surjective. (Equivalently, every element of the codomain is mapped to by exactly one element of the domain.) A bijective function is a bijection (one-to-one correspondence). (Note: a one-to-one function is injective, but may fail to be surjective, while a one-to-one correspondence is both injective and surjective.) An injective function need not be surjective (not all elements of the codomain may be associated with arguments), and a surjective function need not be injective (some images may be associated with more than one argument). The four possible combinations of injective and surjective features are illustrated in the following diagrams.

Injection

if and only if A function is injective (one-to-one) if every possible element of the codomain is mapped to by at most one argument. Equivalently, a function is injective if it maps distinct arguments to distinct images. An injective function is an injection. The formal definition is the following. :The function f: A \to B is injective iff for all a,b \in A, we have f(a) = f(b) \Rarr a = b.
- A function f : A → B is injective if and only if A is empty or f is left-invertible, that is, there is a function g: B → A such that g o f = identity function on A.
- Since every function is surjective when its codomain is restricted to its range, every injection induces a bijection onto its range. More precisely, every injection f : A → B can be factored as a bijection followed by an inclusion as follows. Let fR : A → f(A) be f with codomain restricted to its image, and let i : f(A) → B be the inclusion map from f(A) into B. Then f = i o fR. A dual factorisation is given for surjections below.
- The composition of two injections is again an injection, but if g o f is injective, then it can only be concluded that f is injective. See the figure at right.
- Every embedding is injective.

Surjection

embedding A function is surjective (onto) if every possible image is mapped to by at least one argument. In other words, every element in the codomain has non-empty preimage. Equivalently, a function is surjective if its range is equal to its codomain. A surjective function is a surjection. The formal definition is the following. :The function f: A \to B is surjective iff for all b \in B, there is a \in A such that f(a) = b.
- A function f : A → B is surjective if and only if it is right-invertible, that is, if and only if there is a function g: B → A such that f o g = identity function on B. (This statement is equivalent to the axiom of choice.)
- By collapsing all arguments mapping to a given fixed image, every surjection induces a bijection defined on a quotient of its domain. More precisely, every surjection f : A → B can be factored as a projection followed by a bijection as follows. Let A/~ be the equivalence classes of A under the following equivalence relation: x ~ y if and only if f(x) = f(y). Equivalently, A/~ is the set of all preimages under f. Let P(~) : A → A/~ be the projection map which sends each x in A to its equivalence class [x]~, and let fP : A/~ → B be the well-defined function given by fP([x]~) = f(x). Then f = fP o P(~). A dual factorisation is given for injections above.
- The composition of two surjections is again a surjection, but if g o f is surjective, then it can only be concluded that g is surjective. See the figure at right
- .

Bijection

axiom of choice A function is bijective if it is both injective and surjective. A bijective function is a bijection (one-to-one correspondence). A function is bijective if and only if every possible image is mapped to by exactly one argument. This equivalent condition is formally expressed as follows. :The function f: A \to B is bijective iff for all b \in B, there is a unique a \in A such that f(a) = b.
- A function f : A → B is bijective if and only if it is invertible, that is, there is a function g: B → A such that g o f = identity function on A and f o g = identity function on B. This function maps each image to its unique preimage.
- The composition of two bijections is again a bijection, but if g o f is a bijection, then it can only be concluded that f is injective and g is surjective. (See the figure at right and the remarks above regarding injections and surjections.)
- The bijections from a set to itself form a group under composition, called the symmetric group.

Cardinality

Suppose you want to define what it means for two sets to "have the same number of elements". One way to do this is to say that two sets "have the same number of elements" if and only if all the elements of one set can be paired with the elements of the other, in such a way that each element is paired with exactly one element. Accordingly, we can define two sets to "have the same number of elements" if there is a bijection between them. We say that the two sets have the same cardinality.

Examples

It is important to specify the domain and codomain of each function since by changing these, functions which we think of as the same may have different jectivity.

Injective and surjective (bijective)


- For every set A the identity function idA and thus specifically \mathbf \to \mathbf : x \mapsto x.
- \mathbf^+ \to \mathbf^+ : x \mapsto x^2 and thus also its inverse \mathbf^+ \to \mathbf^+ : x \mapsto \sqrt.
- The exponential function \exp : \mathbf \to \mathbf^+ : x \mapsto \mathrm^x and thus also its inverse the natural logarithm \ln : \mathbf^+ \to \mathbf : x \mapsto \ln

Injective and non-surjective


- The exponential function \exp : \mathbf \to \mathbf : x \mapsto \mathrm^x

Non-injective and surjective


- \mathbf \to \mathbf : x \mapsto (x-1)x(x+1) = x^3 - x
- The sine function f(x) = sin x

Non-injective and non-surjective


- \mathbf \to \mathbf : x \mapsto x^2

Properties


- For every function f, subset A of the domain and subset B of the codomain we have A ⊂ f −1(fA) and f(f −1B) ⊂ B. If f is injective we have A = f −1(fA) and if f is surjective we have f(f −1B) = B.
- For every function h : A → C we can define a surjection H : A → h(A) : a → h(a) and an injection I : h(A) → C : a → a. It follows that h = I o H. This decomposition is unique up to isomorphism.

Category theory

In the category of sets, injections, surjections, and bijections correspond precisely to monomorphisms, epimorphisms, and isomorphisms, respectively.

History

This terminology was originally coined by the Bourbaki group.

See also


- injective module
- permutation
- horizontal line test Category:Set theory ja:全単射

Line (mathematics)

A line, or straight line, is, roughly speaking, an (infinitely) thin, (infinitely) long, straight geometrical object, i.e. a curve is not always a line. Given two points, in Euclidean geometry, one can always find exactly one line that passes through the two points; the line provides the shortest connection between the points. Three or more points that lie on the same line are called collinear. Two different lines can intersect in at most one point; two different planes can intersect in at most one line. This intuitive concept of a line can be formalized in various ways. If geometry is developed axiomatically (as in Euclid's Elements and later in David Hilbert's Foundations of Geometry), then lines are not defined at all, but characterized axiomatically by their properties. "Everything that satisfies the axioms for a line is a line." While Euclid did define a line as "length without breadth", he did not use this rather obscure definition in his later development. In Euclidean space Rn (and analogously in all other vector spaces), we define a line L as a subset of the form :L = \ where a and b are given vectors in Rn with b non-zero. The vector b describes the direction of the line, and a is a point on the line. Different choices of a and b can yield the same line. In a two-dimensional space, such as the plane, two different lines must either be parallel lines or must intersect at one point. In higher-dimensional spaces however, two lines may do neither, and two such lines are called skew lines. In R2, every line L is described by a linear equation of the form :L=\ with fixed real coefficients a, b and c such that a and b are not both zero (see Linear equation for other forms). Important properties of these lines are their slope, x-intercept and y-intercept. The eccentricity of a straight line is infinity. More abstractly, one usually thinks of the real line as the prototype of a line, and assumes that the points on a line stand in a one-to-one correspondence with the real numbers. However, one could also use the hyperreal numbers for this purpose, or even the long line of topology. The "straightness" of a line, interpreted as the property that it minimizes distances between its points, can be generalized and leads to the concept of geodesics on differentiable manifolds.

Line segment

In mathematics, a line segment is a part of a line that is bounded by two end points. See also interval (mathematics). When the end points are both vertices of a polygon, the line segment is either an edge (of that polygon) if they are adjacent vertices, or otherwise a diagonal. The midpoint of a line segment is its 'middle' point: the unique point at an equal distance from the two end points.

Ray

In Euclidean geometry, a ray, or half-line, given two distinct points A (the origin) and B on the ray, is the set of points C on the line containing points A and B such that A is not strictly between C and B. O----O-----
- ---> A B C In geometric optics a ray or a (light) beam is a line or curve that describes the direction in which light or other electromagnetic radiation is propagated. The ray is perpendicular to the wavefront in wave optics. In most media, light rays are straight lines. Light passing from one medium to another undergoes refraction or total internal reflection following Snell's law.

See also


- Affine function
- Linear equation
- Linear function
- diffraction
- Glossary of Riemannian and metric geometry#R for its meaning in Riemannian geometry.
- incidence (geometry).

External links


- [http://www.cut-the-knot.org/Curriculum/Calculus/StraightLine.shtml Equations of the Straight Line] at cut-the-knot
- [http://mathworld.wolfram.com/Line.html Rigorous definition of a line] Category:Elementary geometry ja:線分 ja:直線 simple:Line ja:半直線

Number line

A number line is a one-dimensional picture in which the integers are shown as specially-marked points evenly spaced on a line. It is often used as an aid in teaching simple addition or subtraction, especially involving negative numbers. -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 <----x----x----x----x----x----x----x----x----x----x----x----x----x----x----x----> It is divided into two symmetric halves by the origin, i.e. the number zero.

Drawing the number line

The number line is most often represented as being horizontal. Customarily, positive numbers lie on the right side of zero, and negative numbers lie on the left side of zero. An arrow on either end of the drawing is meant to suggest that the line continues "forever", even though one's paper or chalkboard does not.

See also


- Real number
- Extended real number line Category:Elementary mathematics ja:数直唶

Imaginary number

In mathematics, an imaginary number (or purely imaginary number) is a complex number whose square is a negative real number. The term was coined by René Descartes in 1637 in his La Géométrie and was meant to be derogatory. At the time, such numbers were thought not to exist, much as zero and the negative numbers were sometimes regarded by some as fictitious or useless.

Definition

Any complex number can be written as a+bi, where a and b are real numbers and i is the imaginary unit with the property that: :i^2 = -1.\, The number a is the real part of the complex number, and b is the imaginary part. Although Descartes originally used the term "imaginary number" to mean what is currently meant by the term "complex number", the term "imaginary number" today usually means a complex number with a real part equal to 0, that is, a number of the form bi. Note that, technically, 0 is considered to be a purely imaginary number: 0 is the only complex number which is both real and purely imaginary.

Geometric interpretation

Geometrically, we find the imaginary numbers on the vertical axis of the complex number plane, allowing them to be presented orthogonal to the real axis. One way of viewing imaginary numbers is to consider a standard number line, positively increasing in magnitude to the right, and negatively increasing in magnitude to the left. At 0 on this x-axis, draw a y-axis with "positive" direction going up; "positive" imaginary numbers then "increase" in magnitude upwards, and "negative" imaginary numbers "decrease" in magnitude downwards. This vertical axis is often called the "imaginary axis" and is denoted i\mathbb. In this model, multiplication by -1 corresponds to a reflection about the origin, i.e. a rotation of 180 degrees about the origin. Multiplication by i corresponds to a 90-degree rotation in the "positive" direction (i.e. counter-clockwise), and the equation i^2 = -1 is interpreted as saying that if we apply 2 90-degree rotations about the origin, the net result is a single 180-degree rotation. Note that a 90-degree rotation in the "negative" direction (i.e. clockwise) also satisfies this interpretation. This reflects the fact that -i also solves the equation x^2 = -1 — see imaginary unit. In electrical engineering and related fields, the imaginary unit is often written as j to avoid confusion with a changing current, traditionally denoted by i.

Are imaginary numbers "real"?

Despite their name, imaginary numbers are just as "real" as real numbers. (See the definition of complex numbers on how they can be constructed using set theory.) One way to understand this is by realizing that numbers themselves are abstractions, and the abstractions can be valid even when they are not recognized in a given context. For example, fractions such as \frac and \frac are meaningless to a person counting stones, but essential to a person comparing the sizes of different collections of stones. Similarly, negative numbers such as -3 and -5 are meaningless when keeping score in a football game, but essential when keeping track of monetary debits and credits. Imaginary numbers follow the same pattern. For most human tasks, real numbers (or even rational numbers) offer an adequate description of data, and imaginary numbers have no meaning; however, in many areas of science and mathematics, imaginary numbers (and complex numbers in general) are essential for describing reality. Imaginary numbers have essential concrete applications in a variety of sciences and related areas such as signal processing, control theory, electromagnetism, quantum mechanics, and cartography. For example, in electrical engineering, when analyzing AC circuitry, the values for the electrical voltage (and current) are expressed as imaginary or complex numbers known as phasors. These are real voltages that can cause damage/harm to either humans or equipment even if their values contain no "real part". Specifically, Euler's formula is used extensively to express signals (e.g., electromagnetic) that vary periodically over time as a combination of sine and cosine functions. Euler's formula accomplishes this more conveniently via an expression of exponential functions with imaginary exponents. Euler's formula states that, for any real number x, : e^ = \cos x + i\sin x. \,

See also


- Complex number
- Quaternion
- Octonion

External link


- [http://www.math.toronto.edu/mathnet/answers/imaginary.html Why imaginary numbers really do exist]
- [http://www.algebra.com/algebra/homework/complex/ Imaginary number calculator] Category:Complex analysis ko:허수 ja:虚数単位

Rational number

In mathematics, a rational number (or informally fraction) is a ratio or quotient of two integers, usually written as the vulgar fraction a/b, where b is not zero. Each rational number can be written in infinitely many forms, for example 3/6 = 2/4 = 1/2. The simplest form is when a and b have no common divisors, and every non-zero rational number has exactly one simplest form of this type with positive denominator. The decimal expansion of a rational number is eventually periodic (in the case of a finite expansion the zeroes which implicitly follow it form the periodic part). The same is true for any other integral base above 1. Conversely, if the expansion of a number for one base is periodic, it is periodic for all bases and the number is rational. A real number that is not rational is called an irrational number. In mathematics, the term "rational something" means that the underlying field considered is the field \mathbb of rational numbers. For example, rational polynomials or rational prime ideals. The set of all rational numbers is denoted by Q, or in blackboard bold \mathbb. Using the set-builder notation \mathbb is defined as such: :\mathbb = \left\

Arithmetic

:\frac + \frac = \frac   :\frac \cdot \frac = \frac   Two rational numbers \frac and \frac are equal if and only if ad = bc Additive and multiplicative inverses exist in the rational numbers. :- \left( \frac \right) = \frac   :\left(\frac\right)^ = \frac \mbox a \neq 0

History

Egyptian fractions

Any positive rational number can be expressed as a sum of distinct reciprocals of positive integers. For instance, \frac = \frac + \frac + \frac For any positive rational number, there are infinitely many different such representations. These representations are called Egyptian fractions, because the ancient Egyptians used them. The Egyptians also had a different notation for dyadic fractions. See also Egyptian numerals.

Formal construction

Mathematically we may define them as an ordered pair of integers \left(a, b\right), with b not equal to zero. We can define addition and multiplication of these pairs with the following rules: : \left(a, b\right) + \left(c, d\right) = \left(ad + bc, bd\right) : \left(a, b\right) \times \left(c, d\right) = \left(ac, bd\right) To conform to our expectation that 2/4 = 1/2, we define an equivalence relation \sim upon these pairs with the following rule: : \left(a, b\right) \sim \left(c, d\right) \mbox ad = bc This equivalence relation is compatible with the addition and multiplication defined above, and we may define Q to be the quotient set of ~, i.e. we identify two pairs (a, b) and (c, d) if they are equivalent in the above sense. (This construction can be carried out in any integral domain, see quotient field.) We can also define a total order on Q by writing : \left(a, b\right) \le \left(c, d\right) \mbox (bd>0\mbox ad \le bc)\mbox(bd<0\mbox ad \ge bc)

Properties

The set \mathbb, together with the addition and multiplication operations shown above, forms a field, the quotient field of the integers \mathbb. The rationals are the smallest field with characteristic 0: every other field of characteristic 0 contains a copy of \mathbb. The algebraic closure of \mathbb, i.e. the field of roots of rational polynomials, is the algebraic numbers. The set of all rational numbers is countable. Since the set of all real numbers is uncountable, we say that almost all real numbers are irrational, in the sense of Lebesgue measure, i.e. the set of rational numbers is a null set. The rationals are a densely ordered set: between any two rationals, there sits another one, in fact infinitely many other ones. As a totally ordered set, the rationals are uniquely characterized by being countable, dense (in the above sense), and having no least or greatest element.

Real numbers

The rationals are a dense subset of the real numbers: every real number has rational numbers arbitrarily close to it. A related property is that rational numbers are the only numbers with finite expressions of continued fraction. By virtue of their order, the rationals carry an order topology. The rational numbers also carry a subspace topology. The rational numbers form a metric space by using the metric d\left(x, y\right) = |x - y|, and this yields a third topology on \mathbb. All three topologies coincide and turn the rationals into a topological field. The rational numbers are an important example of a space which is not locally compact. The rationals are characterized topologically as the unique countable metric space without isolated points. The space is also totally disconnected. The rational numbers do not form a complete metric space; the real numbers are the completion of \mathbb.

p-adic numbers

In addition to the absolute value metric mentioned above, there are other metrics which turn \mathbb into a topological field: let p be a prime number and for any non-zero integer a let |a|_p = p^, where p^n is the highest power of p dividing a; in addition write |0|_p = 0. For any rational number \frac, we set \left|\frac\right|_p = \frac. Then d_p\left(x, y\right) = |x - y|_p defines a metric on \mathbb. The metric space \left(\mathbb, d_p\right) is not complete, and its completion is the p-adic number field \mathbb_p. Category:Elementary mathematics Category:Field theory Category:Fractions Category:Real numbers Category:Set theory ko:유리수 ja:有理数 simple:Rational number th:จำนวนตรรกยะ

Irrational number

In mathematics, an irrational number is any real number that is not a rational number, i.e., one that cannot be written as a ratio of two integers, i.e., it is not of the form :\frac where a and b are integers and b is not zero. It can readily be shown that the irrational numbers are precisely those numbers whose expansion in any given base (decimal, binary, etc) never ends and never enters a periodic pattern, but no mathematician takes that to be a definition. Almost all real numbers are irrational, in a sense which is defined more precisely below. Some irrational numbers are algebraic numbers, such as √2, the square root of two, and 3√5, the cube root of 5, and the golden ratio, symbolized by the Greek letter \varphi (phi) or less commonly by \tau (tau); others are transcendental numbers such as π and e. When the ratio of lengths of two line segments is irrational, the line segments are also described as being incommensurable, meaning they share no measure in common. A measure of a line segment I in this sense is a line segment J that "measures" I in the sense that some whole number of copies of J laid end-to-end occupy the same length as I.

History

The discovery of irrational numbers is usually attributed to Pythagoras, more specifically to the Pythagorean Hippasus of Metapontum, who produced a (most likely geometrical) proof of the irrationality of the square root of 2. The story goes that Hippasus discovered irrational numbers when trying to represent the square root of 2 as a fraction (proof below). However Pythagoras believed in the absoluteness of numbers, and could not accept the existence of irrational numbers. He could not disprove their existence through logic, but his beliefs would not accept the existence of irrational numbers and so he sentenced Hippasus to death by drowning. The sixteenth century saw the final acceptance of negative, integral and fractional numbers. The seventeenth century saw decimal fractions with the modern notation quite generally used by mathematicians. The next hundred years saw the imaginary become a powerful tool in the hands of Abraham de Moivre, and especially of Leonhard Euler. For the nineteenth century it remained to complete the theory of complex numbers, to separate irrationals into algebraic and transcendental, to prove the existence of transcendental numbers, and to make a scientific study of a subject which had remained almost dormant since Euclid, the theory of irrationals. The year 1872 saw the publication of the theories of Karl Weierstrass (by his pupil Kossak), Heine (Crelle, 74), Georg Cantor (Annalen, 5), and Richard Dedekind. Méray had taken in 1869 the same point of departure as Heine, but the theory is generally referred to the year 1872. Weierstrass's method has been completely set forth by Pincherle (1880), and Dedekind's has received additional prominence through the author's later work (1888) and the recent endorsement by Tannery (1894). Weierstrass, Cantor, and Heine base their theories on infinite series, while Dedekind founds his on the idea of a cut (Schnitt) in the system of real numbers, separating all rational numbers into two groups having certain characteristic properties. The subject has received later contributions at the hands of Weierstrass, Kronecker (Crelle, 101), and Méray. Continued fractions, closely related to irrational numbers (and due to Cataldi, 1613), received attention at the hands of Euler, and at the opening of the nineteenth century were brought into prominence through the writings of Joseph Louis Lagrange. Other noteworthy contributions have been made by Druckenmüller (1837), Kunze (1857), Lemke (1870), and Günther (1872). Ramus (1855) first connected the subject with determinants, resulting, with the subsequent contributions of Heine, Möbius, and Günther, in the theory of Kettenbruchdeterminanten. Dirichlet also added to the general theory, as have numerous contributors to the applications of the subject. Transcendental numbers were first distinguished from algebraic irrationals by Kronecker. Lambert proved (1761) that π cannot be rational, and that en is irrational if n is rational (unless n = 0), a proof, however, which left much to be desired. Legendre (1794) completed Lambert's proof, and showed that π is not the square root of a rational number. Joseph Liouville (1840) showed that neither e nor e2 can be a root of an integral quadratic equation. But the existence of transcendental numbers was first established by Liouville (1844, 1851), the proof being subsequently displaced by Georg Cantor (1873). Charles Hermite (1873) first proved e transcendental, and Ferdinand von Lindemann (1882), starting from Hermite's conclusions, showed the same for π. Lindemann's proof was much simplified by Weierstrass (1885), still further by David Hilbert (1893), and has finally been made elementary by Hurwitz and Paul Albert Gordan.

The square root of 2

One proof of the irrationality of the square root of 2 is the following reductio ad absurdum. The proposition is proved by assuming the negation and showing that that leads to a contradiction, which means that the proposition must be true. # Assume that √2 is a rational number. This would mean that there exist integers a and b such that a / b = √2. # Then √2 can be written as an irreducible fraction (the fraction is shortened as much as possible) a / b such that a and b are coprime integers and (a / b)2 = 2. # It follows that a2 / b2 = 2 and a2 = 2 b2. # Therefore a2 is even because it is equal to 2 b2 which is obviously even. # It follows that a must be even. (Odd numbers have odd squares and even numbers have even squares.) # Because a is even, there exists a k that fulfills: a = 2k. # We insert the last equation of (3) in (6): 2b2 = (2k)2 is equivalent to 2b2 = 4k2 is equivalent to b2 = 2k2. # Because 2k2 is even it follows that b2 is also even which means that b is even because only even numbers have even squares. # By (5) and (8) a and b are both even, which contradicts that a / b is irreducible as stated in (2). Since we have found a contradiction the assumption (1) that √2 is a rational number must be false. The opposite is proven. √2 is irrational. This proof can be generalized to show that any root of any natural number is either a natural number or irrational.

Another proof

Another reductio ad absurdum showing that √2 is irrational is less well-known and has sufficient charm that it is worth including here. It proceeds by observing that if √2 = m/n then √2 = (2n − m)/(m − n), so that a fraction in lowest terms is reduced to yet lower terms. That is a contradiction if n and m are positive integers, so the assumption that √2 is rational must be false. It is possible to construct from an isosceles right triangle whose leg and hypotenuse have respective lengths n and m, by a classic ruler-and-compass construction, a smaller isosceles right triangle whose leg and hypotenuse have respective lengths m − n and 2n − m. That construction proves the irrationality of √2 by the kind of method that was employed by ancient Greek geometers.

The golden ratio

When a line segment is divided into two disjoint subsegments in such a way that the ratio of the whole to the longer part equals the ratio of the longer part to the shorter part, then that ratio is the golden ratio, equal to :\varphi=. Assume this is a rational number n/m in lowest terms. Take n to be the length of the whole and m the length of the longer part. Then the length of the shorter part is n − m. Then we have := = =. But this puts a fraction already in lowest terms into lower terms—a contradiction. Therefore the initial assumption that φ is rational is false.

Transcendental and algebraic irrationals

Almost all irrational numbers are transcendental and all transcendental numbers are irrational: the article on transcendental numbers lists several examples. er and πr are irrational if r ≠ 0 is rational; eπ is also irrational. Another way to construct irrational numbers is as irrational algebraic numbers, i.e. as zeros of polynomials with integer coefficients: start with a polynomial equation :p(x) = an xn + an-1 xn−1 + ... + a1 x + a0 = 0 where the coefficients ai are integers. Suppose you know that there exists some real number x with p(x) = 0 (for instance if n is odd and an is non-zero, then because of the intermediate value theorem). The only possible rational roots of this polynomial equation are of the form r/s where r is a divisor of a0 and s is a divisor of an; there are only finitely many such candidates which you can all check by hand. If neither of them is a root of p, then x must be irrational. For example, this technique can be used to show that x = (21/2 + 1)1/3 is irrational: we have (x3 − 1)2 = 2 and hence x6 − 2x3 − 1 = 0, and this latter polynomial does not have any rational roots (the only candidates to check are ±1). Because the algebraic numbers form a field, many irrational numbers can be constructed by combining transcendental and algebraic numbers. For example 3π+2, π + √2 and e√3 are irrational (and even transcendental).

Logarithms

Perhaps the numbers most easily proved to be irrational are certain logarithms. Here is a proof by reductio ad absurdum that log23 is irrational:
- Assume log23 is rational. For some positive integers m and n, we have log23 = m/n.
- It follows that 2m/n = 3.
- Raise each side to the n power, find 2m = 3n.
- But 2 to any power greater than 0 is even (because at least one of its prime factors is 2) and 3 to any power greater than 0 is odd (because none of its prime factors is 2), so the original assumption is false. Similar cases such as log102 can be treated similarly.

Decimal expansions

It is often erroneously assumed that mathematicians define "irrational number" in terms of decimal expansions, calling a number irrational if its decimal expansion neither repeats nor terminates. No mathematician takes that to be the definition, since the choice of base 10 would be arbitrary and since the standard definition is simpler and more well-motivated. Nonetheless it is true that a number is of the form n/m where n and m are integers, if and only if its decimal expansion repeats or terminates. When the long division algorithm that everyone learns in grammar school is applied to the division of n by m, only m remainders are possible. If 0 appears as a remainder, the decimal expansion terminates. If 0 never occurs, then the algorithm can run at most m − 1 steps without using any remainder more than once. After that, a remainder must recur, and then the decimal expansion repeats! Conversely, suppose we are faced with a recurring decimal, for example: :A=0.7\,162\,162\,162\,\dots Since the length of the repitend is 3, multiply by 103: :1000A=7\,16.2\,162\,162\,\dots and then subtract A from both sides: :999A=715.5\,. Then :A=\frac=\frac=\frac=\frac. (The "135" above can be found quickly via Euclid's algorithm.)

Open questions

It is not known whether π + e and π − e are irrational or not. In fact, there is no pair of non-zero integers m and n for which it is known whether mπ + ne is irrational or not. It is not known whether 2e, πe, \pi^\sqrt or the Euler-Mascheroni gamma constant γ are irrational.

The set of all irrationals

The set of all irrational numbers is uncountable (since the rationals are countable and the reals are uncountable). The set of algebraic irrationals, that is, the non-transcendental irrationals, is countable. Using the absolute value to measure distances, the irrational numbers become a metric space which is not complete. However, this metric space is homeomorphic to the complete metric space of all sequences of positive integers; the homeomorphism is given by the infinite continued fraction expansion. This shows that the Baire category theorem applies to the space of irrational numbers.

Another irrational number

The Copeland-Erdős constant : 0.235711131719232931374143... obtained by concatenating the prime numbers is known to be irrational; in fact it is a normal number. Category:Irrational numbers Category:Real numbers Category:Set theory ko:무리수 ja:無理数

Transcendental number

In mathematics, a transcendental number is any real number that is not algebraic, that is, not the solution of a non-zero polynomial equation with integer (or, equivalently, rational) coefficients. It follows that all transcendental numbers are irrational. However, not all irrational numbers are transcendental; √2 is irrational but is a solution of the polynomial x2 - 2 = 0. The set of all transcendental numbers is uncountable. The proof is simple: Since the polynomials with integer coefficients are countable, and since each such polynomial has a finite number of zeroes, the set of algebraic numbers is countable. But the reals are uncountable; so the set of all transcendental numbers must also be uncountable. In a very real sense, then, there are many more transcendental numbers than algebraic ones. However, only a few classes of transcendental numbers are known and proving that a given number is transcen