Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be collected into a set, set theory is applied most to objects that are relevant to mathematics; the language of set theory can be used to define nearly all mathematical objects. The modern study of set theory was initiated by Richard Dedekind in the 1870s. After the discovery of paradoxes in naive set theory, such as Russell's paradox, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with or without the axiom of choice, are the best-known. Set theory is employed as a foundational system for mathematics in the form of Zermelo–Fraenkel set theory with the axiom of choice. Beyond its foundational role, set theory is a branch of mathematics in its own right, with an active research community. Contemporary research into set theory includes a diverse collection of topics, ranging from the structure of the real number line to the study of the consistency of large cardinals.
Mathematical topics emerge and evolve through interactions among many researchers. Set theory, was founded by a single paper in 1874 by Georg Cantor: "On a Property of the Collection of All Real Algebraic Numbers". Since the 5th century BC, beginning with Greek mathematician Zeno of Elea in the West and early Indian mathematicians in the East, mathematicians had struggled with the concept of infinity. Notable is the work of Bernard Bolzano in the first half of the 19th century. Modern understanding of infinity began in 1870–1874 and was motivated by Cantor's work in real analysis. An 1872 meeting between Cantor and Richard Dedekind influenced Cantor's thinking and culminated in Cantor's 1874 paper. Cantor's work polarized the mathematicians of his day. While Karl Weierstrass and Dedekind supported Cantor, Leopold Kronecker, now seen as a founder of mathematical constructivism, did not. Cantorian set theory became widespread, due to the utility of Cantorian concepts, such as one-to-one correspondence among sets, his proof that there are more real numbers than integers, the "infinity of infinities" resulting from the power set operation.
This utility of set theory led to the article "Mengenlehre" contributed in 1898 by Arthur Schoenflies to Klein's encyclopedia. The next wave of excitement in set theory came around 1900, when it was discovered that some interpretations of Cantorian set theory gave rise to several contradictions, called antinomies or paradoxes. Bertrand Russell and Ernst Zermelo independently found the simplest and best known paradox, now called Russell's paradox: consider "the set of all sets that are not members of themselves", which leads to a contradiction since it must be a member of itself and not a member of itself. In 1899 Cantor had himself posed the question "What is the cardinal number of the set of all sets?", obtained a related paradox. Russell used his paradox as a theme in his 1903 review of continental mathematics in his The Principles of Mathematics. In 1906 English readers gained the book Theory of Sets of Points by husband and wife William Henry Young and Grace Chisholm Young, published by Cambridge University Press.
The momentum of set theory was such. The work of Zermelo in 1908 and the work of Abraham Fraenkel and Thoralf Skolem in 1922 resulted in the set of axioms ZFC, which became the most used set of axioms for set theory; the work of analysts such as Henri Lebesgue demonstrated the great mathematical utility of set theory, which has since become woven into the fabric of modern mathematics. Set theory is used as a foundational system, although in some areas—such as algebraic geometry and algebraic topology—category theory is thought to be a preferred foundation. Set theory begins with a fundamental binary relation between an object o and a set A. If o is a member of A, the notation o. Since sets are objects, the membership relation can relate sets as well. A derived binary relation between two sets is the subset relation called set inclusion. If all the members of set A are members of set B A is a subset of B, denoted A ⊆ B. For example, is a subset of, so is but is not; as insinuated from this definition, a set is a subset of itself.
For cases where this possibility is unsuitable or would make sense to be rejected, the term proper subset is defined. A is called a proper subset of B if and only if A is a subset of B, but A is not equal to B. Note that 1, 2, 3 are members of the set but are not subsets of it. Just as arithmetic features binary operations on numbers, set theory features binary operations on sets. The: Union of the sets A and B, denoted A ∪ B, is the set of all objects that are a member of A, or B, or both; the union of and is the set. Intersection of the sets A and B, denoted A ∩ B, is the set of all objects that are members of both A and B; the intersection of and is the set. Set difference of U and A, denoted U \ A, is the set of all members of U that are not members of A; the set difference \ is, conversely, the set difference \ is. When A is a subset of U, the set difference U \ A is called the complement of A in U. In this case, if the choice of U is clear from the context, the notation Ac is sometimes used instead of U \ A if U is a universal set as in the study of Venn diagrams.
Symmetric difference of sets A and B, denoted A △ B or A ⊖ B, is
Number theory is a branch of pure mathematics devoted to the study of the integers. German mathematician Carl Friedrich Gauss said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics." Number theorists study prime numbers as well as the properties of objects made out of integers or defined as generalizations of the integers. Integers can be considered either as solutions to equations. Questions in number theory are best understood through the study of analytical objects that encode properties of the integers, primes or other number-theoretic objects in some fashion. One may study real numbers in relation to rational numbers, for example, as approximated by the latter; the older term for number theory is arithmetic. By the early twentieth century, it had been superseded by "number theory"; the use of the term arithmetic for number theory regained some ground in the second half of the 20th century, arguably in part due to French influence. In particular, arithmetical is preferred as an adjective to number-theoretic.
The first historical find of an arithmetical nature is a fragment of a table: the broken clay tablet Plimpton 322 contains a list of "Pythagorean triples", that is, integers such that a 2 + b 2 = c 2. The triples are too large to have been obtained by brute force; the heading over the first column reads: "The takiltum of the diagonal, subtracted such that the width..." The table's layout suggests that it was constructed by means of what amounts, in modern language, to the identity 2 + 1 = 2, implicit in routine Old Babylonian exercises. If some other method was used, the triples were first constructed and reordered by c / a for actual use as a "table", for example, with a view to applications, it is not known whether there could have been any. It has been suggested instead. While Babylonian number theory—or what survives of Babylonian mathematics that can be called thus—consists of this single, striking fragment, Babylonian algebra was exceptionally well developed. Late Neoplatonic sources state.
Much earlier sources state that Pythagoras traveled and studied in Egypt. Euclid IX 21–34 is probably Pythagorean. Pythagorean mystics gave great importance to the even; the discovery that 2 is irrational is credited to the early Pythagoreans. By revealing that numbers could be irrational, this discovery seems to have provoked the first foundational crisis in mathematical history; this forced a distinction between numbers, on the one hand, lengths and proportions, on the other hand. The Pythagorean tradition spoke of so-called polygonal or figurate numbers. While square numbers, cubic numbers, etc. are seen now as more natural than triangular numbers, pentagonal numbers, etc. the study of the sums of triangular and pentagonal numbers would prove fruitful in the early modern period. We know of no arithmetical material in ancient Egyptian or Vedic sources, though there is some algebra in both; the Chinese remainder theorem appears as an exercise in Sunzi Suanjing There is some numerical mysticism in Chinese mathematics, unlike that of the Pythagoreans, it seems to have led nowhere.
Like the Pythagoreans' perfect numbers, magic squares have passed from superstition into recreation. Aside from a few fragments, the mathematics of Classical Greece is known to us either through the reports of contemporary non-m
Mathematics includes the study of such topics as quantity, structure and change. Mathematicians use patterns to formulate new conjectures; when mathematical structures are good models of real phenomena mathematical reasoning can provide insight or predictions about nature. Through the use of abstraction and logic, mathematics developed from counting, calculation and the systematic study of the shapes and motions of physical objects. Practical mathematics has been a human activity from as far back; the research required to solve mathematical problems can take years or centuries of sustained inquiry. Rigorous arguments first appeared in Greek mathematics, most notably in Euclid's Elements. Since the pioneering work of Giuseppe Peano, David Hilbert, others on axiomatic systems in the late 19th century, it has become customary to view mathematical research as establishing truth by rigorous deduction from appropriately chosen axioms and definitions. Mathematics developed at a slow pace until the Renaissance, when mathematical innovations interacting with new scientific discoveries led to a rapid increase in the rate of mathematical discovery that has continued to the present day.
Mathematics is essential in many fields, including natural science, medicine and the social sciences. Applied mathematics has led to new mathematical disciplines, such as statistics and game theory. Mathematicians engage in pure mathematics without having any application in mind, but practical applications for what began as pure mathematics are discovered later; the history of mathematics can be seen as an ever-increasing series of abstractions. The first abstraction, shared by many animals, was that of numbers: the realization that a collection of two apples and a collection of two oranges have something in common, namely quantity of their members; as evidenced by tallies found on bone, in addition to recognizing how to count physical objects, prehistoric peoples may have recognized how to count abstract quantities, like time – days, years. Evidence for more complex mathematics does not appear until around 3000 BC, when the Babylonians and Egyptians began using arithmetic and geometry for taxation and other financial calculations, for building and construction, for astronomy.
The most ancient mathematical texts from Mesopotamia and Egypt are from 2000–1800 BC. Many early texts mention Pythagorean triples and so, by inference, the Pythagorean theorem seems to be the most ancient and widespread mathematical development after basic arithmetic and geometry, it is in Babylonian mathematics that elementary arithmetic first appear in the archaeological record. The Babylonians possessed a place-value system, used a sexagesimal numeral system, still in use today for measuring angles and time. Beginning in the 6th century BC with the Pythagoreans, the Ancient Greeks began a systematic study of mathematics as a subject in its own right with Greek mathematics. Around 300 BC, Euclid introduced the axiomatic method still used in mathematics today, consisting of definition, axiom and proof, his textbook Elements is considered the most successful and influential textbook of all time. The greatest mathematician of antiquity is held to be Archimedes of Syracuse, he developed formulas for calculating the surface area and volume of solids of revolution and used the method of exhaustion to calculate the area under the arc of a parabola with the summation of an infinite series, in a manner not too dissimilar from modern calculus.
Other notable achievements of Greek mathematics are conic sections, trigonometry (Hipparchus of Nicaea, the beginnings of algebra. The Hindu–Arabic numeral system and the rules for the use of its operations, in use throughout the world today, evolved over the course of the first millennium AD in India and were transmitted to the Western world via Islamic mathematics. Other notable developments of Indian mathematics include the modern definition of sine and cosine, an early form of infinite series. During the Golden Age of Islam during the 9th and 10th centuries, mathematics saw many important innovations building on Greek mathematics; the most notable achievement of Islamic mathematics was the development of algebra. Other notable achievements of the Islamic period are advances in spherical trigonometry and the addition of the decimal point to the Arabic numeral system. Many notable mathematicians from this period were Persian, such as Al-Khwarismi, Omar Khayyam and Sharaf al-Dīn al-Ṭūsī. During the early modern period, mathematics began to develop at an accelerating pace in Western Europe.
The development of calculus by Newton and Leibniz in the 17th century revolutionized mathematics. Leonhard Euler was the most notable mathematician of the 18th century, contributing numerous theorems and discoveries; the foremost mathematician of the 19th century was the German mathematician Carl Friedrich Gauss, who made numerous contributions to fields such as algebra, differential geometry, matrix theory, number theory, statistics. In the early 20th century, Kurt Gödel transformed mathematics by publishing his incompleteness theorems, which show that any axiomatic system, consistent will contain unprovable propositions. Mathematics has since been extended, there has been a fruitful interaction between mathematics and science, to
Symmetry in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definition, that an object is invariant to any of various transformations. Although these two meanings of "symmetry" can sometimes be told apart, they are related, so in this article they are discussed together. Mathematical symmetry may be observed with respect to the passage of time; this article describes symmetry from three perspectives: in mathematics, including geometry, the most familiar type of symmetry for many people. The opposite of symmetry is asymmetry. A geometric shape or object is symmetric if it can be divided into two or more identical pieces that are arranged in an organized fashion; this means that an object is symmetric if there is a transformation that moves individual pieces of the object but doesn't change the overall shape. The type of symmetry is determined by the way the pieces are organized, or by the type of transformation: An object has reflectional symmetry if there is a line going through it which divides it into two pieces which are mirror images of each other.
An object has rotational symmetry if the object can be rotated about a fixed point without changing the overall shape. An object has translational symmetry. An object has helical symmetry if it can be translated and rotated in three-dimensional space along a line known as a screw axis. An object contracted. Fractals exhibit a form of scale symmetry, where small portions of the fractal are similar in shape to large portions. Other symmetries include glide reflection rotoreflection symmetry. A dyadic relation R is only if, whenever it's true that Rab, it's true that Rba. Thus, "is the same age as" is symmetrical, for if Paul is the same age as Mary Mary is the same age as Paul. Symmetric binary logical connectives are and, or, nand and nor. Generalizing from geometrical symmetry in the previous section, we say that a mathematical object is symmetric with respect to a given mathematical operation, if, when applied to the object, this operation preserves some property of the object; the set of operations that preserve a given property of the object form a group.
In general, every kind of structure in mathematics will have its own kind of symmetry. Examples include and odd functions in calculus. In statistics, it appears as symmetric probability distributions, as skewness, asymmetry of distributions. Symmetry in physics has been generalized to mean invariance—that is, lack of change—under any kind of transformation, for example arbitrary coordinate transformations; this concept has become one of the most powerful tools of theoretical physics, as it has become evident that all laws of nature originate in symmetries. In fact, this role inspired the Nobel laureate PW Anderson to write in his read 1972 article More is Different that "it is only overstating the case to say that physics is the study of symmetry." See Noether's theorem. Important symmetries in physics include discrete symmetries of spacetime. In biology, the notion of symmetry is used explicitly to describe body shapes. Bilateral animals, including humans, are more or less symmetric with respect to the sagittal plane which divides the body into left and right halves.
Animals that move in one direction have upper and lower sides and tail ends, therefore a left and a right. The head becomes specialized with a mouth and sense organs, the body becomes bilaterally symmetric for the purpose of movement, with symmetrical pairs of muscles and skeletal elements, though internal organs remain asymmetric. Plants and sessile animals such as sea anemones have radial or rotational symmetry, which suits them because food or threats may arrive from any direction. Fivefold symmetry is found in the echinoderms, the group that includes starfish, sea urchins, sea lilies. In biology, the notion of symmetry is used as in physics, to say to describe the properties of the objects studied, including their interactions. A remarkable property of biological evolution is the changes of symmetry corresponding to the appearance of new parts and dynamics. Symmetry is important to chemistry because it undergirds all specific interactions between molecules in nature; the control of the symmetry of molecules produced in modern chemical synthesis contributes to the ability of scientists to offer the