1.
Naive set theory
–
Naive set theory is one of several theories of sets used in the discussion of the foundations of mathematics. Unlike axiomatic set theories, which are defined using a formal logic, naive set theory is defined informally and it describes the aspects of mathematical sets familiar in discrete mathematics, and suffices for the everyday usage of set theory concepts in contemporary mathematics. Sets are of importance in mathematics, in modern formal treatments. Naive set theory suffices for many purposes, while serving as a stepping-stone towards more formal treatments. A naive theory in the sense of set theory is a non-formalized theory, that is. Then, not, for some, for every are treated as in ordinary mathematics, as a matter of convenience, usage of naive set theory and its formalism prevails even in higher mathematics – including in more formal settings of set theory itself. The first development of set theory was a set theory. It was created at the end of the 19th century by Georg Cantor as part of his study of infinite sets, Naive set theory may refer to several very distinct notions. It may refer to Informal presentation of a set theory. Early or later versions of Georg Cantors theory and other informal systems, decidedly inconsistent theories, such as a theory of Gottlob Frege that yielded Russells paradox, and theories of Giuseppe Peano and Richard Dedekind. The assumption that any property may be used to form a set, without restriction, one common example is Russells paradox, there is no set consisting of all sets that do not contain themselves. Thus consistent systems of set theory must include some limitations on the principles which can be used to form sets. Some believe that Georg Cantors set theory was not actually implicated in the set-theoretic paradoxes, one difficulty in determining this with certainty is that Cantor did not provide an axiomatization of his system. Cantors paradox can actually be derived from the above assumption using for P x is a cardinal number, Axiomatic set theory was developed in response to these early attempts to understand sets, with the goal of determining precisely what operations were allowed and when. A naive set theory is not necessarily inconsistent, if it specifies the sets allowed to be considered. This can be done by the means of definitions, which are implicit axioms and it is possible to state all the axioms explicitly, as in the case of Halmos Naive Set Theory, which is actually an informal presentation of the usual axiomatic Zermelo–Fraenkel set theory. It is naive in that the language and notations are those of ordinary informal mathematics, likewise, an axiomatic set theory is not necessarily consistent, i. e. not necessarily free of paradoxes. However, the common systems are generally believed to be consistent
2.
Set theory
–
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 often to objects that are relevant to mathematics, the language of set theory can be used in the definitions of nearly all mathematical objects. The modern study of set theory was initiated by Georg Cantor, Set theory is commonly employed as a foundational system for mathematics, particularly 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, 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 typically emerge and evolve through interactions among many researchers, Set theory, however, 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, especially notable is the work of Bernard Bolzano in the first half of the 19th century. Modern understanding of infinity began in 1867–71, with Cantors work on number theory, an 1872 meeting between Cantor and Richard Dedekind influenced Cantors thinking and culminated in Cantors 1874 paper. Cantors work initially 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. This utility of set theory led to the article Mengenlehre contributed in 1898 by Arthur Schoenflies to Kleins encyclopedia, in 1899 Cantor had himself posed the question What is the cardinal number of the set of all sets. 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 William Henry Young and his wife Grace Chisholm Young, published by Cambridge University Press. The momentum of set theory was such that debate on the paradoxes did not lead to its abandonment, the work of Zermelo in 1908 and Abraham Fraenkel in 1922 resulted in the set of axioms ZFC, which became the most commonly used set of axioms for set theory. The work of such as Henri Lebesgue demonstrated the great mathematical utility of set theory. Set theory is used as a foundational system, although in some areas category theory is thought to be a preferred foundation. Set theory begins with a binary relation between an object o and a set A. If o is a member of A, the notation o ∈ A is used, since sets are objects, the membership relation can relate sets as well. A derived binary relation between two sets is the relation, also called set inclusion. If all the members of set A are also members of set B, then A is a subset of B, for example, is a subset of, and 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
3.
Euler diagram
–
An Euler diagram is a diagrammatic means of representing sets and their relationships. Typically they involve overlapping shapes, and may be scaled, such that the area of the shape is proportional to the number of elements it contains and they are particularly useful for explaining complex hierarchies and overlapping definitions. They are often confused with the Venn diagrams, unlike Venn diagrams which show all possible relations between different sets, the Euler diagram shows only relevant relationships. The first use of Eulerian circles is commonly attributed to Swiss mathematician Leonhard Euler, in the United States, both Venn and Euler diagrams were incorporated as part of instruction in set theory as part of the new math movement of the 1960s. Since then, they have also adopted by other curriculum fields such as reading as well as organizations. Euler diagrams consist of simple closed shapes in a two dimensional plane that depict a set or category. How or if these shapes overlap demonstrates the relationships between the sets, there are only 3 possible relationships between any 2 sets, completely inclusive, partially inclusive, and exclusive. This is also referred to as containment, overlap or neither or, especially in mathematics, it may be referred to as subset, intersection, curves whose interior zones do not intersect represent disjoint sets. Two curves whose interior zones intersect represent sets that have common elements, a curve that is contained completely within the interior zone of another represents a subset of it. Venn diagrams are a more form of Euler diagrams. A Venn diagram must contain all 2n logically possible zones of overlap between its n curves, representing all combinations of inclusion/exclusion of its constituent sets. Regions not part of the set are indicated by coloring them black, in contrast to Euler diagrams, when the number of sets grows beyond 3 a Venn diagram becomes visually complex, especially compared to the corresponding Euler diagram. The difference between Euler and Venn diagrams can be seen in the following example, the Venn diagram, which uses the same categories of Animal, Mineral, and Four Legs, does not encapsulate these relationships. Traditionally the emptiness of a set in Venn diagrams is depicted by shading in the region, Euler diagrams represent emptiness either by shading or by the absence of a region. Often a set of conditions are imposed, these are topological or geometric constraints imposed on the structure of the diagram. For example, connectedness of zones might be enforced, or concurrency of curves or multiple points might be banned, in the adjacent diagram, examples of small Venn diagrams are transformed into Euler diagrams by sequences of transformations, some of the intermediate diagrams have concurrency of curves. However, this sort of transformation of a Venn diagram with shading into an Euler diagram without shading is not always possible. There are examples of Euler diagrams with 9 sets that are not drawable using simple closed curves without the creation of unwanted zones since they would have to have non-planar dual graphs
4.
Mathematics
–
Mathematics is the study of topics such as quantity, structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope, Mathematicians seek out patterns and use them to formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proof, when mathematical structures are good models of real phenomena, then mathematical reasoning can provide insight or predictions about nature. Through the use of abstraction and logic, mathematics developed from counting, calculation, measurement, practical mathematics has been a human activity from as far back as written records exist. The research required to solve mathematical problems can take years or even centuries of sustained inquiry, rigorous arguments first appeared in Greek mathematics, most notably in Euclids Elements. Galileo Galilei said, The universe cannot be read until we have learned the language and it is written in mathematical language, and the letters are triangles, circles and other geometrical figures, without which means it is humanly impossible to comprehend a single word. Without these, one is wandering about in a dark labyrinth, carl Friedrich Gauss referred to mathematics as the Queen of the Sciences. Benjamin Peirce called mathematics the science that draws necessary conclusions, David Hilbert said of mathematics, We are not speaking here of arbitrariness in any sense. Mathematics is not like a game whose tasks are determined by arbitrarily stipulated rules, rather, it is a conceptual system possessing internal necessity that can only be so and by no means otherwise. Albert Einstein stated that as far as the laws of mathematics refer to reality, they are not certain, Mathematics is essential in many fields, including natural science, engineering, medicine, finance and the social sciences. Applied mathematics has led to entirely new mathematical disciplines, such as statistics, Mathematicians also engage in pure mathematics, or mathematics for its own sake, without having any application in mind. There is no clear line separating pure and applied mathematics, the history of mathematics can be seen as an ever-increasing series of abstractions. The earliest uses of mathematics were in trading, land measurement, painting and weaving patterns, in Babylonian mathematics elementary arithmetic first appears in the archaeological record. Numeracy pre-dated writing and numeral systems have many and diverse. Between 600 and 300 BC the Ancient Greeks began a study of mathematics in its own right with Greek mathematics. Mathematics has since been extended, and there has been a fruitful interaction between mathematics and science, to the benefit of both. Mathematical discoveries continue to be made today, the overwhelming majority of works in this ocean contain new mathematical theorems and their proofs. The word máthēma is derived from μανθάνω, while the modern Greek equivalent is μαθαίνω, in Greece, the word for mathematics came to have the narrower and more technical meaning mathematical study even in Classical times
5.
Mathematics education
–
In contemporary education, mathematics education is the practice of teaching and learning mathematics, along with the associated scholarly research. This article describes some of the history, influences and recent controversies, elementary mathematics was part of the education system in most ancient civilisations, including Ancient Greece, the Roman empire, Vedic society and ancient Egypt. In most cases, an education was only available to male children with a sufficiently high status. In Platos division of the arts into the trivium and the quadrivium. This structure was continued in the structure of education that was developed in medieval Europe. Teaching of geometry was almost universally based on Euclids Elements, apprentices to trades such as masons, merchants and money-lenders could expect to learn such practical mathematics as was relevant to their profession. The first mathematics textbooks to be written in English and French were published by Robert Recorde, however, there are many different writings on mathematics and mathematics methodology that date back to 1800 BCE. These were mostly located in Mesopotamia where the Sumerians were practicing multiplication and division, there are also artifacts demonstrating their own methodology for solving equations like the quadratic equation. After the Sumerians some of the most famous ancient works on come from Egypt in the form of the Rhind Mathematical Papyrus. The more famous Rhind Papyrus has been dated to approximately 1650 BCE and this papyrus was essentially an early textbook for Egyptian students. In the Renaissance, the status of mathematics declined, because it was strongly associated with trade. Although it continued to be taught in European universities, it was seen as subservient to the study of Natural, Metaphysical and Moral Philosophy, however, it was uncommon for mathematics to be taught outside of the universities. Isaac Newton, for example, received no formal mathematics teaching until he joined Trinity College, Cambridge in 1661, in the 18th and 19th centuries, the industrial revolution led to an enormous increase in urban populations. Basic numeracy skills, such as the ability to tell the time, count money and carry out simple arithmetic, within the new public education systems, mathematics became a central part of the curriculum from an early age. By the twentieth century, mathematics was part of the curriculum in all developed countries. During the twentieth century, mathematics education was established as an independent field of research. S. A, had generated more than 4000 articles after 1920, so in 1941 William L. Schaaf published a classified index, sorting them into their various subjects. While previous approach focused on working with specialized problems in arithmetic, at different times and in different cultures and countries, mathematics education has attempted to achieve a variety of different objectives. The teaching of heuristics and other problem-solving strategies to solve non-routine problems, the method or methods used in any particular context are largely determined by the objectives that the relevant educational system is trying to achieve
6.
Venn diagram
–
A Venn diagram is a diagram that shows all possible logical relations between a finite collection of different sets. These diagrams depict elements as points in the plane, and sets as regions inside closed curves, a Venn diagram consists of multiple overlapping closed curves, usually circles, each representing a set. In Venn diagrams the curves are overlapped in every possible way and they are thus a special case of Euler diagrams, which do not necessarily show all relations. Venn diagrams were conceived around 1880 by John Venn and they are used to teach elementary set theory, as well as illustrate simple set relationships in probability, logic, statistics, linguistics and computer science. A Venn diagram in which in addition the area of each shape is proportional to the number of elements it contains is called an area-proportional or scaled Venn diagram and this example involves two sets, A and B, represented here as coloured circles. The orange circle, set A, represents all living creatures that are two-legged, the blue circle, set B, represents the living creatures that can fly. Each separate type of creature can be imagined as a point somewhere in the diagram, living creatures that both can fly and have two legs—for example, parrots—are then in both sets, so they correspond to points in the region where the blue and orange circles overlap. That region contains all such and only living creatures. Humans and penguins are bipedal, and so are then in the circle, but since they cannot fly they appear in the left part of the orange circle. Mosquitoes have six legs, and fly, so the point for mosquitoes is in the part of the circle that does not overlap with the orange one. Creatures that are not two-legged and cannot fly would all be represented by points outside both circles, the combined region of sets A and B is called the union of A and B, denoted by A ∪ B. The union in this case contains all living creatures that are either two-legged or that can fly, the region in both A and B, where the two sets overlap, is called the intersection of A and B, denoted by A ∩ B. For example, the intersection of the two sets is not empty, because there are points that represent creatures that are in both the orange and blue circles. They are rightly associated with Venn, however, because he comprehensively surveyed and formalized their usage, Venn himself did not use the term Venn diagram and referred to his invention as Eulerian Circles. Of these schemes one only, viz. that commonly called Eulerian circles, has met with any general acceptance, the first to use the term Venn diagram was Clarence Irving Lewis in 1918, in his book A Survey of Symbolic Logic. Venn diagrams are similar to Euler diagrams, which were invented by Leonhard Euler in the 18th century. Baron has noted that Leibniz in the 17th century produced similar diagrams before Euler and she also observes even earlier Euler-like diagrams by Ramon Lull in the 13th Century. In the 20th century, Venn diagrams were further developed, D. W. Henderson showed in 1963 that the existence of an n-Venn diagram with n-fold rotational symmetry implied that n was a prime number
7.
Bernard Bolzano
–
Bernard Bolzano was a Bohemian mathematician, logician, philosopher, theologian and Catholic priest of Italian extraction, also known for his antimilitarist views. Bolzano wrote in German, his mother tongue, for the most part, his work came to prominence posthumously. Bolzano was the son of two pious Catholics and his father, Bernard Pompeius Bolzano, was an Italian who had moved to Prague, where he married Maria Cecilia Maurer who came from Pragues German-speaking family Maurer. Only two of their children lived to adulthood. Bolzano entered the University of Prague in 1796 and studied mathematics, philosophy, starting in 1800, he also began studying theology, becoming a Catholic priest in 1804. He was appointed to the newly created chair of philosophy of religion at Prague University in 1805. He proved to be a popular lecturer not just in religion but also in philosophy, Bolzano alienated many faculty and church leaders with his teachings of the social waste of militarism and the needlessness of war. He urged a total reform of the educational, social, upon his refusal to recant his beliefs, Bolzano was dismissed from the university in 1819. His political convictions eventually proved to be too liberal for the Austrian authorities and he was exiled to the countryside and at that point devoted his energies to his writings on social, religious, philosophical, and mathematical matters. Although forbidden to publish in journals as a condition of his exile, Bolzano continued to develop his ideas. In 1842 he moved back to Prague, where he died in 1848, Bolzano made several original contributions to mathematics. His overall philosophical stance was that, contrary to much of the mathematics of the era, it was better not to introduce intuitive ideas such as time. These works presented. a sample of a new way of developing analysis, to the foundations of mathematical analysis he contributed the introduction of a fully rigorous ε–δ definition of a mathematical limit. Bolzano was the first to recognize the greatest lower bound property of the real numbers, like several others of his day, he was skeptical of the possibility of Gottfried Leibnizs infinitesimals, that had been the earliest putative foundation for differential calculus. Bolzano also gave the first purely analytic proof of the theorem of algebra. He also gave the first purely analytic proof of the intermediate value theorem, the logical theory that Bolzano developed in this work has come to be acknowledged as ground-breaking. Other works are a four-volume Lehrbuch der Religionswissenschaft and the metaphysical work Athanasia, Bolzano also did valuable work in mathematics, which remained virtually unknown until Otto Stolz rediscovered many of his lost journal articles and republished them in 1881. Bolzano begins his work by explaining what he means by theory of science, human knowledge, he states, is made of all truths that men know or have known
8.
Element (mathematics)
–
In mathematics, an element, or member, of a set is any one of the distinct objects that make up that set. Writing A = means that the elements of the set A are the numbers 1,2,3 and 4, sets of elements of A, for example, are subsets of A. For example, consider the set B =, the elements of B are not 1,2,3, and 4. Rather, there are three elements of B, namely the numbers 1 and 2, and the set. The elements of a set can be anything, for example, C =, is the set whose elements are the colors red, green and blue. The relation is an element of, also called set membership, is denoted by the symbol ∈, writing x ∈ A means that x is an element of A. Equivalent expressions are x is a member of A, x belongs to A, x is in A and x lies in A, another possible notation for the same relation is A ∋ x, meaning A contains x, though it is used less often. The negation of set membership is denoted by the symbol ∉, writing x ∉ A means that x is not an element of A. The symbol ϵ was first used by Giuseppe Peano 1889 in his work Arithmetices principia nova methodo exposita, here he wrote on page X, Signum ϵ significat est. Ita a ϵ b legitur a est quoddam b. which means The symbol ϵ means is, so a ϵ b is read as a is a b. The symbol itself is a stylized lowercase Greek letter epsilon, the first letter of the word ἐστί, the Unicode characters for these symbols are U+2208, U+220B and U+2209. The equivalent LaTeX commands are \in, \ni and \notin, mathematica has commands \ and \. The number of elements in a set is a property known as cardinality, informally. In the above examples the cardinality of the set A is 4, an infinite set is a set with an infinite number of elements, while a finite set is a set with a finite number of elements. The above examples are examples of finite sets, an example of an infinite set is the set of positive integers =. Using the sets defined above, namely A =, B = and C =,2 ∈ A ∈ B3,4 ∉ B is a member of B Yellow ∉ C The cardinality of D = is finite, the cardinality of P = is infinite. Halmos, Paul R. Naive Set Theory, Undergraduate Texts in Mathematics, NY, Springer-Verlag, ISBN 0-387-90092-6 - Naive means that it is not fully axiomatized, not that it is silly or easy. Jech, Thomas, Set Theory, Stanford Encyclopedia of Philosophy Suppes, Patrick, Axiomatic Set Theory, NY, Dover Publications, Inc
9.
Georg Cantor
–
Georg Ferdinand Ludwig Philipp Cantor was a German mathematician. He invented set theory, which has become a theory in mathematics. In fact, Cantors method of proof of this theorem implies the existence of an infinity of infinities and he defined the cardinal and ordinal numbers and their arithmetic. Cantors work is of great philosophical interest, a fact of which he was well aware, E. J. Brouwer, while Ludwig Wittgenstein raised philosophical objections. Cantor, a devout Lutheran, believed the theory had been communicated to him by God, Kronecker objected to Cantors proofs that the algebraic numbers are countable, and that the transcendental numbers are uncountable, results now included in a standard mathematics curriculum. The harsh criticism has been matched by later accolades, in 1904, the Royal Society awarded Cantor its Sylvester Medal, the highest honor it can confer for work in mathematics. David Hilbert defended it from its critics by declaring, From his paradise that Cantor with us unfolded, we hold our breath in awe, knowing, we shall not be expelled. Georg Cantor was born in the merchant colony in Saint Petersburg, Russia. Georg, the oldest of six children, was regarded as an outstanding violinist and his grandfather Franz Böhm was a well-known musician and soloist in a Russian imperial orchestra. In 1860, Cantor graduated with distinction from the Realschule in Darmstadt, his skills in mathematics. In 1862, Cantor entered the Swiss Federal Polytechnic and he spent the summer of 1866 at the University of Göttingen, then and later a center for mathematical research. Cantor submitted his dissertation on number theory at the University of Berlin in 1867, after teaching briefly in a Berlin girls school, Cantor took up a position at the University of Halle, where he spent his entire career. He was awarded the habilitation for his thesis, also on number theory. In 1874, Cantor married Vally Guttmann and they had six children, the last born in 1886. Cantor was able to support a family despite modest academic pay, during his honeymoon in the Harz mountains, Cantor spent much time in mathematical discussions with Richard Dedekind, whom he had met two years earlier while on Swiss holiday. Cantor was promoted to Extraordinary Professor in 1872 and made full Professor in 1879, however, his work encountered too much opposition for that to be possible. Worse yet, Kronecker, a figure within the mathematical community and Cantors former professor. Cantor came to believe that Kroneckers stance would make it impossible for him ever to leave Halle, in 1881, Cantors Halle colleague Eduard Heine died, creating a vacant chair
10.
Capital letters
–
Letter case is the distinction between the letters that are in larger upper case and smaller lower case in the written representation of certain languages. The writing systems that distinguish between the upper and lower case have two sets of letters, with each letter in one set usually having an equivalent in the other set. Basically, the two variants are alternative representations of the same letter, they have the same name and pronunciation. Letter case is generally applied in a fashion, with both upper- and lower-case letters appearing in a given piece of text. The choice of case is often prescribed by the grammar of a language or by the conventions of a particular discipline, in mathematics, letter case may indicate the relationship between objects, with upper-case letters often representing superior objects. In some contexts, it is conventional to use only one case, the terms upper case and lower case can be written as two consecutive words, connected with a hyphen, or as a single word. These terms originated from the layouts of the shallow drawers called type cases used to hold the movable type for letterpress printing. Traditionally, the letters were stored in a separate case that was located above the case that held the small letters. Majuscule, for palaeographers, is technically any script in which the letters have very few or very short ascenders and descenders, or none at all. By virtue of their impact, this made the term majuscule an apt descriptor for what much later came to be more commonly referred to as uppercase letters. The word is often spelled miniscule, by association with the word miniature. This has traditionally been regarded as a mistake, but is now so common that some dictionaries tend to accept it as a nonstandard or variant spelling. Miniscule is still less likely, however, to be used in reference to lower-case letters, the glyphs of lower-case letters can resemble smaller forms of the upper-case glyphs restricted to the base band or can look hardly related. There is more variation in the height of the minuscules, as some of them have higher or lower than the typical size. In Times New Roman, for instance, b, d, f, h, k, l, t are the letters with ascenders, and g, j, p, q, y are the ones with descenders. In addition, with old-style numerals still used by traditional or classical fonts,6 and 8 make up the ascender set. Writing systems using two separate cases are bicameral scripts, languages that use the Latin, Cyrillic, Greek, Coptic, Armenian, Adlam, Varang Kshiti, Cherokee, and Osage scripts use letter cases in their written form as an aid to clarity. Other bicameral scripts, which are not used for any modern languages, are Old Hungarian, Glagolitic, the Georgian alphabet has several variants, and there were attempts to use them as different cases, but the modern written Georgian language does not distinguish case
11.
Axiomatic set theory
–
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 often to objects that are relevant to mathematics, the language of set theory can be used in the definitions of nearly all mathematical objects. The modern study of set theory was initiated by Georg Cantor, Set theory is commonly employed as a foundational system for mathematics, particularly 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, 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 typically emerge and evolve through interactions among many researchers, Set theory, however, 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, especially notable is the work of Bernard Bolzano in the first half of the 19th century. Modern understanding of infinity began in 1867–71, with Cantors work on number theory, an 1872 meeting between Cantor and Richard Dedekind influenced Cantors thinking and culminated in Cantors 1874 paper. Cantors work initially 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. This utility of set theory led to the article Mengenlehre contributed in 1898 by Arthur Schoenflies to Kleins encyclopedia, in 1899 Cantor had himself posed the question What is the cardinal number of the set of all sets. 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 William Henry Young and his wife Grace Chisholm Young, published by Cambridge University Press. The momentum of set theory was such that debate on the paradoxes did not lead to its abandonment, the work of Zermelo in 1908 and Abraham Fraenkel in 1922 resulted in the set of axioms ZFC, which became the most commonly used set of axioms for set theory. The work of such as Henri Lebesgue demonstrated the great mathematical utility of set theory. Set theory is used as a foundational system, although in some areas category theory is thought to be a preferred foundation. Set theory begins with a binary relation between an object o and a set A. If o is a member of A, the notation o ∈ A is used, since sets are objects, the membership relation can relate sets as well. A derived binary relation between two sets is the relation, also called set inclusion. If all the members of set A are also members of set B, then A is a subset of B, for example, is a subset of, and 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
12.
Integer
–
An integer is a number that can be written without a fractional component. For example,21,4,0, and −2048 are integers, while 9.75, 5 1⁄2, the set of integers consists of zero, the positive natural numbers, also called whole numbers or counting numbers, and their additive inverses. This is often denoted by a boldface Z or blackboard bold Z standing for the German word Zahlen, ℤ is a subset of the sets of rational and real numbers and, like the natural numbers, is countably infinite. The integers form the smallest group and the smallest ring containing the natural numbers, in algebraic number theory, the integers are sometimes called rational integers to distinguish them from the more general algebraic integers. In fact, the integers are the integers that are also rational numbers. Like the natural numbers, Z is closed under the operations of addition and multiplication, that is, however, with the inclusion of the negative natural numbers, and, importantly,0, Z is also closed under subtraction. The integers form a ring which is the most basic one, in the following sense, for any unital ring. This universal property, namely to be an object in the category of rings. Z is not closed under division, since the quotient of two integers, need not be an integer, although the natural numbers are closed under exponentiation, the integers are not. The following lists some of the properties of addition and multiplication for any integers a, b and c. In the language of algebra, the first five properties listed above for addition say that Z under addition is an abelian group. As a group under addition, Z is a cyclic group, in fact, Z under addition is the only infinite cyclic group, in the sense that any infinite cyclic group is isomorphic to Z. The first four properties listed above for multiplication say that Z under multiplication is a commutative monoid. However, not every integer has an inverse, e. g. there is no integer x such that 2x =1, because the left hand side is even. This means that Z under multiplication is not a group, all the rules from the above property table, except for the last, taken together say that Z together with addition and multiplication is a commutative ring with unity. It is the prototype of all objects of algebraic structure. Only those equalities of expressions are true in Z for all values of variables, note that certain non-zero integers map to zero in certain rings. The lack of zero-divisors in the means that the commutative ring Z is an integral domain
13.
Flag of France
–
The national flag of France is a tricolour flag featuring three vertical bands coloured blue, white, and red. It is known to English speakers as the French Tricolour or simply the Tricolour, the royal government used many flags, the best known being a blue shield and gold fleur-de-lis on a white background, or state flag. Early in the French Revolution, the Paris militia, which played a prominent role in the storming of the Bastille, wore a cockade of blue and red, the citys traditional colours. According to Lafayette, white, the ancient French colour, was added to the militia cockade to create a tricolour, or national and this cockade became part of the uniform of the National Guard, which succeeded the militia and was commanded by Lafayette. The colours and design of the cockade are the basis of the Tricolour flag, the only difference was that the 1790 flags colours were reversed. A modified design by Jacques-Louis David was adopted in 1794, the royal white flag was used during the Bourbon restoration from 1815 to 1830, the tricolour was brought back after the July Revolution and has been used ever since 1830. The colours adopted by Valéry Giscard dEstaing, which replaced a version of the flag. Currently, the flag is one and a half times wider than its height and, initially, the three stripes of the flag were not equally wide, being in the proportions 30,33 and 37. Blue and red are the colours of Paris, used on the citys coat of arms. Blue is identified with Saint Martin, red with Saint Denis, at the storming of the Bastille in 1789, the Paris militia wore blue and red cockades on their hats. White had long featured prominently on French flags and is described as the ancient French colour by Lafayette, white was added to the revolutionary colours of the militia cockade to nationalise the design, thus creating the tricolour cockade. Although Lafayette identified the white stripe with the nation, other accounts identify it with the monarchy, Lafayette denied that the flag contains any reference to the red-and-white livery of the Duc dOrléans. Despite this, Orléanists adopted the tricolour as their own, blue and red are associated with the Virgin Mary, the patroness of France, and were the colours of the oriflamme. The colours of the French flag may represent the three main estates of the Ancien Régime. Blue, as the symbol of class, comes first and red, representing the nobility, both extreme colours are situated on each side of white referring to a superior order. Lafayettes tricolour cockade was adopted in July 1789, a moment of unity that soon faded. Royalists began wearing white cockades and flying flags, while the Jacobins. The tricolour, which combines royalist white with red, came to be seen as a symbol of moderation
14.
Curly bracket
–
A bracket is a tall punctuation mark typically used in matched pairs within text, to set apart or interject other text. The matched pair may be described as opening and closing, or left, forms include round, square, curly, and angle brackets, and various other pairs of symbols. Chevrons were the earliest type of bracket to appear in written English, desiderius Erasmus coined the term lunula to refer to the rounded parentheses, recalling the shape of the crescent moon. Some of the names are regional or contextual. Sometimes referred to as angle brackets, in cases as HTML markup. Occasionally known as broken brackets or brokets, ⸤ ⸥, ｢ ｣ – corner brackets ⟦ ⟧ – double square brackets, white square brackets Guillemets, ‹ › and « », are sometimes referred to as chevrons or angle brackets. The characters ‹ › and « », known as guillemets or angular quote brackets, are actually quotation mark glyphs used in several European languages, which one of each pair is the opening quote mark and which is the closing quote varies between languages. In English, typographers generally prefer to not set brackets in italics, however, in other languages like German, if brackets enclose text in italics, they are usually set in italics too. Parentheses /pəˈrɛnθᵻsiːz/ contain material that serves to clarify or is aside from the main point, a milder effect may be obtained by using a pair of commas as the delimiter, though if the sentence contains commas for other purposes, visual confusion may result. In American usage, parentheses are considered separate from other brackets. Parentheses may be used in writing to add supplementary information. They can also indicate shorthand for either singular or plural for nouns and it can also be used for gender neutral language, especially in languages with grammatical gender, e. g. he agreed with his physician. Parenthetical phrases have been used extensively in informal writing and stream of consciousness literature, examples include the southern American author William Faulkner as well as poet E. E. Cummings. Parentheses have historically been used where the dash is used in alternatives, such as parenthesis) is used to indicate an interval from a to c that is inclusive of a. That is, [5, 12) would be the set of all numbers between 5 and 12, including 5 but not 12. The numbers may come as close as they like to 12, including 11.999 and so forth, in some European countries, the notation [5, 12[ is also used for this. The endpoint adjoining the bracket is known as closed, whereas the endpoint adjoining the parenthesis is known as open, if both types of brackets are the same, the entire interval may be referred to as closed or open as appropriate. Whenever +∞ or −∞ is used as an endpoint, it is considered open
15.
Sequence
–
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed. Like a set, it contains members, the number of elements is called the length of the sequence. Unlike a set, order matters, and exactly the elements can appear multiple times at different positions in the sequence. Formally, a sequence can be defined as a function whose domain is either the set of the numbers or the set of the first n natural numbers. The position of an element in a sequence is its rank or index and it depends on the context or of a specific convention, if the first element has index 0 or 1. For example, is a sequence of letters with the letter M first, also, the sequence, which contains the number 1 at two different positions, is a valid sequence. Sequences can be finite, as in these examples, or infinite, the empty sequence is included in most notions of sequence, but may be excluded depending on the context. A sequence can be thought of as a list of elements with a particular order, Sequences are useful in a number of mathematical disciplines for studying functions, spaces, and other mathematical structures using the convergence properties of sequences. In particular, sequences are the basis for series, which are important in differential equations, Sequences are also of interest in their own right and can be studied as patterns or puzzles, such as in the study of prime numbers. There are a number of ways to denote a sequence, some of which are useful for specific types of sequences. One way to specify a sequence is to list the elements, for example, the first four odd numbers form the sequence. This notation can be used for sequences as well. For instance, the sequence of positive odd integers can be written. Listing is most useful for sequences with a pattern that can be easily discerned from the first few elements. Other ways to denote a sequence are discussed after the examples, the prime numbers are the natural numbers bigger than 1, that have no divisors but 1 and themselves. Taking these in their natural order gives the sequence, the prime numbers are widely used in mathematics and specifically in number theory. The Fibonacci numbers are the integer sequence whose elements are the sum of the two elements. The first two elements are either 0 and 1 or 1 and 1 so that the sequence is, for a large list of examples of integer sequences, see On-Line Encyclopedia of Integer Sequences
16.
Even number
–
Parity is a mathematical term that describes the property of an integers inclusion in one of two categories, even or odd. An integer is even if it is divisible by two and odd if it is not even. For example,6 is even there is no remainder when dividing it by 2. By contrast,3,5,7,21 leave a remainder of 1 when divided by 2, examples of even numbers include −4,0,8, and 1738. In particular, zero is an even number, some examples of odd numbers are −5,3,9, and 73. Parity does not apply to non-integer numbers and this classification applies only to integers, i. e. non-integers like 1/2,4.201, or infinity are neither even nor odd. The sets of even and odd numbers can be defined as following and that is, if the last digit is 1,3,5,7, or 9, then it is odd, otherwise it is even. The same idea will work using any even base, in particular, a number expressed in the binary numeral system is odd if its last digit is 1 and even if its last digit is 0. In an odd base, the number is according to the sum of its digits – it is even if. The following laws can be verified using the properties of divisibility and they are a special case of rules in modular arithmetic, and are commonly used to check if an equality is likely to be correct by testing the parity of each side. As with ordinary arithmetic, multiplication and addition are commutative and associative in modulo 2 arithmetic, however, subtraction in modulo 2 is identical to addition, so subtraction also possesses these properties, which is not true for normal integer arithmetic. The structure is in fact a field with just two elements, the division of two whole numbers does not necessarily result in a whole number. For example,1 divided by 4 equals 1/4, which is neither even nor odd, since the concepts even, but when the quotient is an integer, it will be even if and only if the dividend has more factors of two than the divisor. The ancient Greeks considered 1, the monad, to be neither odd nor fully even. It is this, that two relatively different things or ideas there stands always a third, in a sort of balance. Thus, there is here between odd and even numbers one number which is neither of the two, similarly, in form, the right angle stands between the acute and obtuse angles, and in language, the semi-vowels or aspirants between the mutes and vowels. A thoughtful teacher and a pupil taught to think for himself can scarcely help noticing this, integer coordinates of points in Euclidean spaces of two or more dimensions also have a parity, usually defined as the parity of the sum of the coordinates. For instance, the cubic lattice and its higher-dimensional generalizations
17.
Square number
–
In mathematics, a square number or perfect square is an integer that is the square of an integer, in other words, it is the product of some integer with itself. For example,9 is a number, since it can be written as 3 × 3. The usual notation for the square of a n is not the product n × n. The name square number comes from the name of the shape, another way of saying that a integer is a square number, is that its square root is again an integer. For example, √9 =3, so 9 is a square number, a positive integer that has no perfect square divisors except 1 is called square-free. For a non-negative integer n, the nth square number is n2, the concept of square can be extended to some other number systems. If rational numbers are included, then a square is the ratio of two integers, and, conversely, the ratio of two square integers is a square, e. g.49 =2. Starting with 1, there are ⌊√m⌋ square numbers up to and including m, the squares smaller than 602 =3600 are, The difference between any perfect square and its predecessor is given by the identity n2 −2 = 2n −1. Equivalently, it is possible to count up square numbers by adding together the last square, the last squares root, and the current root, that is, n2 =2 + + n. The number m is a number if and only if one can compose a square of m equal squares. Hence, a square with side length n has area n2, the expression for the nth square number is n2. This is also equal to the sum of the first n odd numbers as can be seen in the above pictures, the formula follows, n 2 = ∑ k =1 n. So for example,52 =25 =1 +3 +5 +7 +9, there are several recursive methods for computing square numbers. For example, the nth square number can be computed from the square by n2 =2 + + n =2 +. Alternatively, the nth square number can be calculated from the two by doubling the th square, subtracting the th square number, and adding 2. For example, 2 × 52 −42 +2 = 2 × 25 −16 +2 =50 −16 +2 =36 =62, a square number is also the sum of two consecutive triangular numbers. The sum of two square numbers is a centered square number. Every odd square is also an octagonal number
18.
Vertical bar
–
The vertical bar is a computer character and glyph with various uses in mathematics, computing, and typography. It has many names, often related to particular meanings, Sheffer stroke, verti-bar, vbar, stick, broken bar, vertical line, vertical slash, bar, glidus, obelisk, or pipe. The vertical bar is used as a symbol in absolute value, | x |, read the absolute value of x. set-builder notation. Often a colon, is used instead of a vertical bar, sometimes a vertical bar following a function, with sub- and super-script limits a and b is used when evaluating definite integrals to mean f from a to b, or f-f. A vertical bar can be used to separate variables from fixed parameters in a function, examples, | ψ ⟩, The quantum physical state ψ. ⟨ ψ |, The dual state corresponding to the state above, ⟨ ψ | ρ ⟩, The inner product of states ψ and ρ. A pipe is a communication mechanism originating in Unix, which allows the output of one process to be used as input to another. In this way, a series of commands can be piped together, in most Unix shells, this is represented by the vertical bar character. For example, grep -i blair filename. log | more where the output from the process is piped to the more process. The same pipe feature is found in later versions of DOS. This usage has led to the character itself being called pipe, in many programming languages, the vertical bar is used to designate the logic operation or, either bitwise or or logical or. Specifically, in C and other languages following C syntax conventions, such as C++, Perl, Java and C#, since the character was originally not available in all code pages and keyboard layouts, ANSI C can transcribe it in form of the trigraph. Which, outside string literals, is equivalent to the | character, in regular expression syntax, the vertical bar again indicates logical or. For example, the Unix command grep -E fu|bar matches lines containing fu or bar, the double vertical bar operator || denotes string concatenation in PL/I, standard ANSI SQL, and theoretical computer science. Although not as common as commas or tabs, the bar can be used as a delimiter in a flat file. Examples of a standard data format are LEDES 1998B and HL7. It is frequently used because vertical bars are typically uncommon in the data itself, similarly, the vertical bar may see use as a delimiter for regular expression operations. This is useful when the expression contains instances of the more common forward slash delimiter
19.
Subset
–
In mathematics, especially in set theory, a set A is a subset of a set B, or equivalently B is a superset of A, if A is contained inside B, that is, all elements of A are also elements of B. The relationship of one set being a subset of another is called inclusion or sometimes containment, the subset relation defines a partial order on sets. The algebra of subsets forms a Boolean algebra in which the relation is called inclusion. For any set S, the inclusion relation ⊆ is an order on the set P of all subsets of S defined by A ≤ B ⟺ A ⊆ B. We may also partially order P by reverse set inclusion by defining A ≤ B ⟺ B ⊆ A, when quantified, A ⊆ B is represented as, ∀x. So for example, for authors, it is true of every set A that A ⊂ A. Other authors prefer to use the symbols ⊂ and ⊃ to indicate proper subset and superset, respectively and this usage makes ⊆ and ⊂ analogous to the inequality symbols ≤ and <. For example, if x ≤ y then x may or may not equal y, but if x < y, then x definitely does not equal y, and is less than y. Similarly, using the convention that ⊂ is proper subset, if A ⊆ B, then A may or may not equal B, the set A = is a proper subset of B =, thus both expressions A ⊆ B and A ⊊ B are true. The set D = is a subset of E =, thus D ⊆ E is true, any set is a subset of itself, but not a proper subset. The empty set, denoted by ∅, is also a subset of any given set X and it is also always a proper subset of any set except itself. These are two examples in both the subset and the whole set are infinite, and the subset has the same cardinality as the whole. The set of numbers is a proper subset of the set of real numbers. In this example, both sets are infinite but the set has a larger cardinality than the former set. Another example in an Euler diagram, Inclusion is the partial order in the sense that every partially ordered set is isomorphic to some collection of sets ordered by inclusion. The ordinal numbers are a simple example—if each ordinal n is identified with the set of all ordinals less than or equal to n, then a ≤ b if and only if ⊆. For the power set P of a set S, the partial order is the Cartesian product of k = |S| copies of the partial order on for which 0 <1. This can be illustrated by enumerating S = and associating with each subset T ⊆ S the k-tuple from k of which the ith coordinate is 1 if and only if si is a member of T
20.
Empty set
–
In mathematics, and more specifically set theory, the empty set is the unique set having no elements, its size or cardinality is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, in other theories, many possible properties of sets are vacuously true for the empty set. Null set was once a synonym for empty set, but is now a technical term in measure theory. The empty set may also be called the void set, common notations for the empty set include, ∅, and ∅. The latter two symbols were introduced by the Bourbaki group in 1939, inspired by the letter Ø in the Norwegian, although now considered an improper use of notation, in the past,0 was occasionally used as a symbol for the empty set. The empty-set symbol ∅ is found at Unicode point U+2205, in LaTeX, it is coded as \emptyset for ∅ or \varnothing for ∅. In standard axiomatic set theory, by the principle of extensionality, hence there is but one empty set, and we speak of the empty set rather than an empty set. The mathematical symbols employed below are explained here, in this context, zero is modelled by the empty set. For any property, For every element of ∅ the property holds, There is no element of ∅ for which the property holds. Conversely, if for some property and some set V, the two statements hold, For every element of V the property holds, There is no element of V for which the property holds. By the definition of subset, the empty set is a subset of any set A. That is, every element x of ∅ belongs to A. Indeed, since there are no elements of ∅ at all, there is no element of ∅ that is not in A. Any statement that begins for every element of ∅ is not making any substantive claim and this is often paraphrased as everything is true of the elements of the empty set. When speaking of the sum of the elements of a finite set, the reason for this is that zero is the identity element for addition. Similarly, the product of the elements of the empty set should be considered to be one, a disarrangement of a set is a permutation of the set that leaves no element in the same position. The empty set is a disarrangment of itself as no element can be found that retains its original position. Since the empty set has no members, when it is considered as a subset of any ordered set, then member of that set will be an upper bound. For example, when considered as a subset of the numbers, with its usual ordering, represented by the real number line
21.
Partition of a set
–
In mathematics, a partition of a set is a grouping of the sets elements into non-empty subsets, in such a way that every element is included in one and only one of the subsets. A partition of a set X is a set of nonempty subsets of X such that every element x in X is in one of these subsets. Equivalently, a family of sets P is a partition of X if and only if all of the following conditions hold, the union of the sets in P is equal to X. The sets in P are said to cover X, the intersection of any two distinct sets in P is empty. The elements of P are said to be pairwise disjoint, the sets in P are called the blocks, parts or cells of the partition. The rank of P is |X| − |P|, if X is finite, every singleton set has exactly one partition, namely. The empty set ∅ has exactly one partition, namely ∅, for any nonempty set X, P = is a partition of X, called the trivial partition. For any non-empty proper subset A of a set U, the set A together with its complement form a partition of U, the set has these five partitions, sometimes written 1|2|3. The following are not partitions of, is not a partition because one of its elements is the empty set, is not a partition because the element 2 is contained in more than one block. Is not a partition of because none of its blocks contains 3, however, thus the notions of equivalence relation and partition are essentially equivalent. The axiom of choice guarantees for any partition of a set X the existence of a subset of X containing exactly one element from each part of the partition and this implies that given an equivalence relation on a set one can select a canonical representative element from every equivalence class. Informally, this means that α is a fragmentation of ρ. In that case, it is written that α ≤ ρ and this finer-than relation on the set of partitions of X is a partial order. Each set of elements has a least upper bound and a greatest lower bound, so that it forms a lattice, the partition lattice of a 4-element set has 15 elements and is depicted in the Hasse diagram on the left. These atomic partitions correspond one-for-one with the edges of a complete graph, in this way, the lattice of partitions corresponds to the lattice of flats of the graphic matroid of the complete graph. Another example illustrates the refining of partitions from the perspective of equivalence relations, if D is the set of cards in a standard 52-card deck, the same-color-as relation on D – which can be denoted ~C – has two equivalence classes, the sets and. The 2-part partition corresponding to ~C has a refinement that yields the same-suit-as relation ~S, which has the four equivalence classes, and. In other words, given distinct numbers a, b, c in N, with a < b < c, if a ~ c, it follows that also a ~ b and b ~ c, that is b is also in C
22.
Power set
–
In mathematics, the power set of any set S is the set of all subsets of S, including the empty set and S itself. The power set of a set S is variously denoted as P, ℘, P, ℙ, or, in axiomatic set theory, the existence of the power set of any set is postulated by the axiom of power set. Any subset of P is called a family of sets over S, if S is the set, then the subsets of S are, and hence the power set of S is. If S is a set with |S| = n elements. This fact, which is the motivation for the notation 2S, may be demonstrated simply as follows, First and we write any subset of S in the format where γi,1 ≤ i ≤ n, can take the value of 0 or 1. If γi =1, the element of S is in the subset, otherwise. Clearly the number of subsets that can be constructed this way is 2n as γi ∈. Cantors diagonal argument shows that the set of a set always has strictly higher cardinality than the set itself. In particular, Cantors theorem shows that the set of a countably infinite set is uncountably infinite. The power set of the set of numbers can be put in a one-to-one correspondence with the set of real numbers. The power set of a set S, together with the operations of union, intersection, in fact, one can show that any finite Boolean algebra is isomorphic to the Boolean algebra of the power set of a finite set. For infinite Boolean algebras this is no true, but every infinite Boolean algebra can be represented as a subalgebra of a power set Boolean algebra. The power set of a set S forms a group when considered with the operation of symmetric difference. It can hence be shown that the power set considered together with both of these forms a Boolean ring. In set theory, XY is the set of all functions from Y to X, as 2 can be defined as, 2S is the set of all functions from S to. Hence 2S and P could be considered identical set-theoretically and this notion can be applied to the example above in which S = to see the isomorphism with the binary numbers from 0 to 2n −1 with n being the number of elements in the set. In S, a 1 in the corresponding to the location in the set indicates the presence of the element. The number of subsets with k elements in the set of a set with n elements is given by the number of combinations, C
23.
Countable
–
In mathematics, a countable set is a set with the same cardinality as some subset of the set of natural numbers. A countable set is either a set or a countably infinite set. Some authors use countable set to mean countably infinite alone, to avoid this ambiguity, the term at most countable may be used when finite sets are included and countably infinite, enumerable, or denumerable otherwise. Georg Cantor introduced the term countable set, contrasting sets that are countable with those that are uncountable, today, countable sets form the foundation of a branch of mathematics called discrete mathematics. A set S is countable if there exists a function f from S to the natural numbers N =. If such an f can be found that is also surjective, in other words, a set is countably infinite if it has one-to-one correspondence with the natural number set, N. As noted above, this terminology is not universal, some authors use countable to mean what is here called countably infinite, and do not include finite sets. Alternative formulations of the definition in terms of a function or a surjective function can also be given. In 1874, in his first set theory article, Cantor proved that the set of numbers is uncountable. In 1878, he used one-to-one correspondences to define and compare cardinalities, in 1883, he extended the natural numbers with his infinite ordinals, and used sets of ordinals to produce an infinity of sets having different infinite cardinalities. A set is a collection of elements, and may be described in many ways, one way is simply to list all of its elements, for example, the set consisting of the integers 3,4, and 5 may be denoted. This is only effective for small sets, however, for larger sets, even in this case, however, it is still possible to list all the elements, because the set is finite. Some sets are infinite, these sets have more than n elements for any integer n, for example, the set of natural numbers, denotable by, has infinitely many elements, and we cannot use any normal number to give its size. Nonetheless, it out that infinite sets do have a well-defined notion of size. To understand what this means, we first examine what it does not mean, for example, there are infinitely many odd integers, infinitely many even integers, and infinitely many integers overall. However, it out that the number of even integers. This is because we arrange things such that for every integer, or, more generally, n→2n, see picture. However, not all sets have the same cardinality
24.
Surjection
–
It is not required that x is unique, the function f may map one or more elements of X to the same element of Y. The French prefix sur means over or above and relates to the fact that the image of the domain of a surjective function completely covers the functions codomain, any function induces a surjection by restricting its codomain to its range. Every surjective function has an inverse, and every function with a right inverse is necessarily a surjection. The composite of surjective functions is always surjective, any function can be decomposed into a surjection and an injection. A surjective function is a function whose image is equal to its codomain, equivalently, a function f with domain X and codomain Y is surjective if for every y in Y there exists at least one x in X with f = y. Surjections are sometimes denoted by a two-headed rightwards arrow, as in f, X ↠ Y, symbolically, If f, X → Y, then f is said to be surjective if ∀ y ∈ Y, ∃ x ∈ X, f = y. For any set X, the identity function idX on X is surjective, the function f, Z → defined by f = n mod 2 is surjective. The function f, R → R defined by f = 2x +1 is surjective, because for every real number y we have an x such that f = y, an appropriate x is /2. However, this function is not injective since e. g. the pre-image of y =2 is, the function g, R → R defined by g = x2 is not surjective, because there is no real number x such that x2 = −1. However, the g, R → R0+ defined by g = x2 is surjective because for every y in the nonnegative real codomain Y there is at least one x in the real domain X such that x2 = y. The natural logarithm ln, → R is a surjective. Its inverse, the function, is not surjective as its range is the set of positive real numbers. The matrix exponential is not surjective when seen as a map from the space of all n×n matrices to itself. It is, however, usually defined as a map from the space of all n×n matrices to the linear group of degree n, i. e. the group of all n×n invertible matrices. Under this definition the matrix exponential is surjective for complex matrices, the projection from a cartesian product A × B to one of its factors is surjective unless the other factor is empty. In a 3D video game vectors are projected onto a 2D flat screen by means of a surjective function, a function is bijective if and only if it is both surjective and injective. If a function is identified with its graph, then surjectivity is not a property of the function itself, unlike injectivity, surjectivity cannot be read off of the graph of the function alone. The function g, Y → X is said to be an inverse of the function f, X → Y if f = y for every y in Y
25.
Cardinality
–
In mathematics, the cardinality of a set is a measure of the number of elements of the set. For example, the set A = contains 3 elements, there are two approaches to cardinality – one which compares sets directly using bijections and injections, and another which uses cardinal numbers. The cardinality of a set is called its size, when no confusion with other notions of size is possible. The cardinality of a set A is usually denoted | A |, with a bar on each side, this is the same notation as absolute value. Alternatively, the cardinality of a set A may be denoted by n, A, card, while the cardinality of a finite set is just the number of its elements, extending the notion to infinite sets usually starts with defining the notion of comparison of arbitrary sets. Two sets A and B have the same cardinality if there exists a bijection, that is, such sets are said to be equipotent, equipollent, or equinumerous. This relationship can also be denoted A≈B or A~B, for example, the set E = of non-negative even numbers has the same cardinality as the set N = of natural numbers, since the function f = 2n is a bijection from N to E. A has cardinality less than or equal to the cardinality of B if there exists a function from A into B. A has cardinality less than the cardinality of B if there is an injective function. If | A | ≤ | B | and | B | ≤ | A | then | A | = | B |, the axiom of choice is equivalent to the statement that | A | ≤ | B | or | B | ≤ | A | for every A, B. That is, the cardinality of a set was not defined as an object itself. However, such an object can be defined as follows, the relation of having the same cardinality is called equinumerosity, and this is an equivalence relation on the class of all sets. The equivalence class of a set A under this relation then consists of all sets which have the same cardinality as A. There are two ways to define the cardinality of a set, The cardinality of a set A is defined as its class under equinumerosity. A representative set is designated for each equivalence class, the most common choice is the initial ordinal in that class. This is usually taken as the definition of number in axiomatic set theory. Assuming AC, the cardinalities of the sets are denoted ℵ0 < ℵ1 < ℵ2 < …. For each ordinal α, ℵ α +1 is the least cardinal number greater than ℵ α
26.
0 (number)
–
0 is both a number and the numerical digit used to represent that number in numerals. The number 0 fulfills a role in mathematics as the additive identity of the integers, real numbers. As a digit,0 is used as a placeholder in place value systems, names for the number 0 in English include zero, nought or naught, nil, or—in contexts where at least one adjacent digit distinguishes it from the letter O—oh or o. Informal or slang terms for zero include zilch and zip, ought and aught, as well as cipher, have also been used historically. The word zero came into the English language via French zéro from Italian zero, in pre-Islamic time the word ṣifr had the meaning empty. Sifr evolved to mean zero when it was used to translate śūnya from India, the first known English use of zero was in 1598. The Italian mathematician Fibonacci, who grew up in North Africa and is credited with introducing the system to Europe. This became zefiro in Italian, and was contracted to zero in Venetian. The Italian word zefiro was already in existence and may have influenced the spelling when transcribing Arabic ṣifr, modern usage There are different words used for the number or concept of zero depending on the context. For the simple notion of lacking, the words nothing and none are often used, sometimes the words nought, naught and aught are used. Several sports have specific words for zero, such as nil in football, love in tennis and it is often called oh in the context of telephone numbers. Slang words for zero include zip, zilch, nada, duck egg and goose egg are also slang for zero. Ancient Egyptian numerals were base 10 and they used hieroglyphs for the digits and were not positional. By 1740 BC, the Egyptians had a symbol for zero in accounting texts. The symbol nfr, meaning beautiful, was used to indicate the base level in drawings of tombs and pyramids. By the middle of the 2nd millennium BC, the Babylonian mathematics had a sophisticated sexagesimal positional numeral system, the lack of a positional value was indicated by a space between sexagesimal numerals. By 300 BC, a symbol was co-opted as a placeholder in the same Babylonian system. In a tablet unearthed at Kish, the scribe Bêl-bân-aplu wrote his zeros with three hooks, rather than two slanted wedges, the Babylonian placeholder was not a true zero because it was not used alone
27.
Natural number
–
In mathematics, the natural numbers are those used for counting and ordering. In common language, words used for counting are cardinal numbers, texts that exclude zero from the natural numbers sometimes refer to the natural numbers together with zero as the whole numbers, but in other writings, that term is used instead for the integers. These chains of extensions make the natural numbers canonically embedded in the number systems. Properties of the numbers, such as divisibility and the distribution of prime numbers, are studied in number theory. Problems concerning counting and ordering, such as partitioning and enumerations, are studied in combinatorics, the most primitive method of representing a natural number is to put down a mark for each object. Later, a set of objects could be tested for equality, excess or shortage, by striking out a mark, the first major advance in abstraction was the use of numerals to represent numbers. This allowed systems to be developed for recording large numbers, the ancient Egyptians developed a powerful system of numerals with distinct hieroglyphs for 1,10, and all the powers of 10 up to over 1 million. A stone carving from Karnak, dating from around 1500 BC and now at the Louvre in Paris, depicts 276 as 2 hundreds,7 tens, and 6 ones, and similarly for the number 4,622. A much later advance was the development of the idea that 0 can be considered as a number, with its own numeral. The use of a 0 digit in place-value notation dates back as early as 700 BC by the Babylonians, the Olmec and Maya civilizations used 0 as a separate number as early as the 1st century BC, but this usage did not spread beyond Mesoamerica. The use of a numeral 0 in modern times originated with the Indian mathematician Brahmagupta in 628, the first systematic study of numbers as abstractions is usually credited to the Greek philosophers Pythagoras and Archimedes. Some Greek mathematicians treated the number 1 differently than larger numbers, independent studies also occurred at around the same time in India, China, and Mesoamerica. In 19th century Europe, there was mathematical and philosophical discussion about the nature of the natural numbers. A school of Naturalism stated that the numbers were a direct consequence of the human psyche. Henri Poincaré was one of its advocates, as was Leopold Kronecker who summarized God made the integers, in opposition to the Naturalists, the constructivists saw a need to improve the logical rigor in the foundations of mathematics. In the 1860s, Hermann Grassmann suggested a recursive definition for natural numbers thus stating they were not really natural, later, two classes of such formal definitions were constructed, later, they were shown to be equivalent in most practical applications. The second class of definitions was introduced by Giuseppe Peano and is now called Peano arithmetic and it is based on an axiomatization of the properties of ordinal numbers, each natural number has a successor and every non-zero natural number has a unique predecessor. Peano arithmetic is equiconsistent with several systems of set theory
28.
Real number
–
In mathematics, a real number is a value that represents a quantity along a line. The adjective real in this context was introduced in the 17th century by René Descartes, the real numbers include all the rational numbers, such as the integer −5 and the fraction 4/3, and all the irrational numbers, such as √2. Included within the irrationals are the numbers, such as π. Real numbers can be thought of as points on a long line called the number line or real line. Any real number can be determined by a possibly infinite decimal representation, such as that of 8.632, the real line can be thought of as a part of the complex plane, and complex numbers include real numbers. These descriptions of the numbers are not sufficiently rigorous by the modern standards of pure mathematics. All these definitions satisfy the definition and are thus equivalent. The statement that there is no subset of the reals with cardinality greater than ℵ0. Simple fractions were used by the Egyptians around 1000 BC, the Vedic Sulba Sutras in, c.600 BC, around 500 BC, the Greek mathematicians led by Pythagoras realized the need for irrational numbers, in particular the irrationality of the square root of 2. Arabic mathematicians merged the concepts of number and magnitude into a general idea of real numbers. In the 16th century, Simon Stevin created the basis for modern decimal notation, in the 17th century, Descartes introduced the term real to describe roots of a polynomial, distinguishing them from imaginary ones. In the 18th and 19th centuries, there was work on irrational and transcendental numbers. Johann Heinrich Lambert gave the first flawed proof that π cannot be rational, Adrien-Marie Legendre completed the proof, Évariste Galois developed techniques for determining whether a given equation could be solved by radicals, which gave rise to the field of Galois theory. Charles Hermite first proved that e is transcendental, and Ferdinand von Lindemann, lindemanns proof was much simplified by Weierstrass, still further by David Hilbert, and has finally been made elementary by Adolf Hurwitz and Paul Gordan. The development of calculus in the 18th century used the set of real numbers without having defined them cleanly. The first rigorous definition was given by Georg Cantor in 1871, in 1874, he showed that the set of all real numbers is uncountably infinite but the set of all algebraic numbers is countably infinite. Contrary to widely held beliefs, his first method was not his famous diagonal argument, the real number system can be defined axiomatically up to an isomorphism, which is described hereafter. Another possibility is to start from some rigorous axiomatization of Euclidean geometry, from the structuralist point of view all these constructions are on equal footing
29.
Straight line
–
The notion of line or straight line was introduced by ancient mathematicians to represent straight objects with negligible width and depth. Lines are an idealization of such objects, the straight line is that which is equally extended between its points. In modern mathematics, given the multitude of geometries, the concept of a line is tied to the way the geometry is described. When a geometry is described by a set of axioms, the notion of a line is left undefined. The properties of lines are determined by the axioms which refer to them. One advantage to this approach is the flexibility it gives to users of the geometry, thus in differential geometry a line may be interpreted as a geodesic, while in some projective geometries a line is a 2-dimensional vector space. This flexibility also extends beyond mathematics and, for example, permits physicists to think of the path of a light ray as being a line, to avoid this vicious circle certain concepts must be taken as primitive concepts, terms which are given no definition. In geometry, it is frequently the case that the concept of line is taken as a primitive, in those situations where a line is a defined concept, as in coordinate geometry, some other fundamental ideas are taken as primitives. When the line concept is a primitive, the behaviour and properties of lines are dictated by the axioms which they must satisfy, in a non-axiomatic or simplified axiomatic treatment of geometry, the concept of a primitive notion may be too abstract to be dealt with. In this circumstance it is possible that a description or mental image of a notion is provided to give a foundation to build the notion on which would formally be based on the axioms. Descriptions of this type may be referred to, by some authors and these are not true definitions and could not be used in formal proofs of statements. The definition of line in Euclids Elements falls into this category, when geometry was first formalised by Euclid in the Elements, he defined a general line to be breadthless length with a straight line being a line which lies evenly with the points on itself. These definitions serve little purpose since they use terms which are not, themselves, in fact, Euclid did not use these definitions in this work and probably included them just to make it clear to the reader what was being discussed. In an axiomatic formulation of Euclidean geometry, such as that of Hilbert, for example, for any two distinct points, there is a unique line containing them, and any two distinct lines intersect in at most one point. In two dimensions, i. e. the Euclidean plane, two lines which do not intersect are called parallel, in higher dimensions, two lines that do not intersect are parallel if they are contained in a plane, or skew if they are not. Any collection of many lines partitions the plane into convex polygons. Lines in a Cartesian plane or, more generally, in affine coordinates, in two dimensions, the equation for non-vertical lines is often given in the slope-intercept form, y = m x + b where, m is the slope or gradient of the line. B is the y-intercept of the line, X is the independent variable of the function y = f
30.
Line segment
–
In geometry, a line segment is a part of a line that is bounded by two distinct end points, and contains every point on the line between its endpoints. A closed line segment includes both endpoints, while a line segment excludes both endpoints, a half-open line segment includes exactly one of the endpoints. Examples of line include the sides of a triangle or square. More generally, when both of the end points are vertices of a polygon or polyhedron, the line segment is either an edge if they are adjacent vertices. When the end points both lie on a such as a circle, a line segment is called a chord. Sometimes one needs to distinguish between open and closed line segments, thus, the line segment can be expressed as a convex combination of the segments two end points. In geometry, it is defined that a point B is between two other points A and C, if the distance AB added to the distance BC is equal to the distance AC. Thus in R2 the line segment with endpoints A = and C = is the collection of points. A line segment is a connected, non-empty set, if V is a topological vector space, then a closed line segment is a closed set in V. However, an open line segment is an open set in V if and only if V is one-dimensional. More generally than above, the concept of a segment can be defined in an ordered geometry. A pair of segments can be any one of the following, intersecting, parallel, skew. The last possibility is a way that line segments differ from lines, in an axiomatic treatment of geometry, the notion of betweenness is either assumed to satisfy a certain number of axioms, or else be defined in terms of an isometry of a line. Segments play an important role in other theories, for example, a set is convex if the segment that joins any two points of the set is contained in the set. This is important because it transforms some of the analysis of sets to the analysis of a line segment. The Segment Addition Postulate can be used to add congruent segment or segments with equal lengths and consequently substitute other segments into another statement to make segments congruent. A line segment can be viewed as a case of an ellipse in which the semiminor axis goes to zero, the foci go to the endpoints. A complete orbit of this ellipse traverses the line segment twice, as a degenerate orbit this is a radial elliptic trajectory. In addition to appearing as the edges and diagonals of polygons and polyhedra, some very frequently considered segments in a triangle include the three altitudes, the three medians, the perpendicular bisectors of the sides, and the internal angle bisectors
31.
Plane (mathematics)
–
In mathematics, a plane is a flat, two-dimensional surface that extends infinitely far. A plane is the analogue of a point, a line. When working exclusively in two-dimensional Euclidean space, the article is used, so. Many fundamental tasks in mathematics, geometry, trigonometry, graph theory and graphing are performed in a space, or in other words. Euclid set forth the first great landmark of mathematical thought, a treatment of geometry. He selected a small core of undefined terms and postulates which he used to prove various geometrical statements. Although the plane in its sense is not directly given a definition anywhere in the Elements. In his work Euclid never makes use of numbers to measure length, angle, in this way the Euclidean plane is not quite the same as the Cartesian plane. This section is concerned with planes embedded in three dimensions, specifically, in R3. In a Euclidean space of any number of dimensions, a plane is determined by any of the following. A line and a point not on that line, a line is either parallel to a plane, intersects it at a single point, or is contained in the plane. Two distinct lines perpendicular to the plane must be parallel to each other. Two distinct planes perpendicular to the line must be parallel to each other. Specifically, let r0 be the vector of some point P0 =. The plane determined by the point P0 and the vector n consists of those points P, with position vector r, such that the vector drawn from P0 to P is perpendicular to n. Recalling that two vectors are perpendicular if and only if their dot product is zero, it follows that the plane can be described as the set of all points r such that n ⋅ =0. Expanded this becomes a + b + c =0, which is the form of the equation of a plane. This is just a linear equation a x + b y + c z + d =0 and this familiar equation for a plane is called the general form of the equation of the plane
32.
Dimension (mathematics)
–
In physics and mathematics, the dimension of a mathematical space is informally defined as the minimum number of coordinates needed to specify any point within it. Thus a line has a dimension of one only one coordinate is needed to specify a point on it – for example. The inside of a cube, a cylinder or a sphere is three-dimensional because three coordinates are needed to locate a point within these spaces, in classical mechanics, space and time are different categories and refer to absolute space and time. That conception of the world is a space but not the one that was found necessary to describe electromagnetism. The four dimensions of spacetime consist of events that are not absolutely defined spatially and temporally, Minkowski space first approximates the universe without gravity, the pseudo-Riemannian manifolds of general relativity describe spacetime with matter and gravity. Ten dimensions are used to string theory, and the state-space of quantum mechanics is an infinite-dimensional function space. The concept of dimension is not restricted to physical objects, high-dimensional spaces frequently occur in mathematics and the sciences. They may be parameter spaces or configuration spaces such as in Lagrangian or Hamiltonian mechanics, in mathematics, the dimension of an object is an intrinsic property independent of the space in which the object is embedded. This intrinsic notion of dimension is one of the ways the mathematical notion of dimension differs from its common usages. The dimension of Euclidean n-space En is n, when trying to generalize to other types of spaces, one is faced with the question what makes En n-dimensional. One answer is that to cover a ball in En by small balls of radius ε. This observation leads to the definition of the Minkowski dimension and its more sophisticated variant, the Hausdorff dimension, for example, the boundary of a ball in En looks locally like En-1 and this leads to the notion of the inductive dimension. While these notions agree on En, they turn out to be different when one looks at more general spaces, a tesseract is an example of a four-dimensional object. The rest of this section some of the more important mathematical definitions of the dimensions. A complex number has a real part x and an imaginary part y, a single complex coordinate system may be applied to an object having two real dimensions. For example, an ordinary two-dimensional spherical surface, when given a complex metric, complex dimensions appear in the study of complex manifolds and algebraic varieties. The dimension of a space is the number of vectors in any basis for the space. This notion of dimension is referred to as the Hamel dimension or algebraic dimension to distinguish it from other notions of dimension
33.
Euclidean space
–
In geometry, Euclidean space encompasses the two-dimensional Euclidean plane, the three-dimensional space of Euclidean geometry, and certain other spaces. It is named after the Ancient Greek mathematician Euclid of Alexandria, the term Euclidean distinguishes these spaces from other types of spaces considered in modern geometry. Euclidean spaces also generalize to higher dimensions, classical Greek geometry defined the Euclidean plane and Euclidean three-dimensional space using certain postulates, while the other properties of these spaces were deduced as theorems. Geometric constructions are used to define rational numbers. It means that points of the space are specified with collections of real numbers and this approach brings the tools of algebra and calculus to bear on questions of geometry and has the advantage that it generalizes easily to Euclidean spaces of more than three dimensions. From the modern viewpoint, there is only one Euclidean space of each dimension. With Cartesian coordinates it is modelled by the coordinate space of the same dimension. In one dimension, this is the line, in two dimensions, it is the Cartesian plane, and in higher dimensions it is a coordinate space with three or more real number coordinates. One way to think of the Euclidean plane is as a set of points satisfying certain relationships, expressible in terms of distance, for example, there are two fundamental operations on the plane. One is translation, which means a shifting of the plane so that point is shifted in the same direction. The other is rotation about a point in the plane. In order to all of this mathematically precise, the theory must clearly define the notions of distance, angle, translation. Even when used in theories, Euclidean space is an abstraction detached from actual physical locations, specific reference frames, measurement instruments. The standard way to such space, as carried out in the remainder of this article, is to define the Euclidean plane as a two-dimensional real vector space equipped with an inner product. The reason for working with vector spaces instead of Rn is that it is often preferable to work in a coordinate-free manner. Once the Euclidean plane has been described in language, it is actually a simple matter to extend its concept to arbitrary dimensions. For the most part, the vocabulary, formulae, and calculations are not made any more difficult by the presence of more dimensions. Intuitively, the distinction says merely that there is no choice of where the origin should go in the space