1.
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

2.
Limit of a sequence
–
In mathematics, the limit of a sequence is the value that the terms of a sequence tend to. If such a limit exists, the sequence is called convergent, a sequence which does not converge is said to be divergent. The limit of a sequence is said to be the fundamental notion on which the whole of analysis ultimately rests, limits can be defined in any metric or topological space, but are usually first encountered in the real numbers. The Greek philosopher Zeno of Elea is famous for formulating paradoxes that involve limiting processes, leucippus, Democritus, Antiphon, Eudoxus and Archimedes developed the method of exhaustion, which uses an infinite sequence of approximations to determine an area or a volume. Archimedes succeeded in summing what is now called a geometric series, Newton dealt with series in his works on Analysis with infinite series, Method of fluxions and infinite series and Tractatus de Quadratura Curvarum. In the latter work, Newton considers the binomial expansion of n which he then linearizes by taking limits, at the end of the century, Lagrange in his Théorie des fonctions analytiques opined that the lack of rigour precluded further development in calculus. Gauss in his etude of hypergeometric series for the first time rigorously investigated under which conditions a series converged to a limit, the modern definition of a limit was given by Bernhard Bolzano and by Karl Weierstrass in the 1870s. In the real numbers, a number L is the limit of the if the numbers in the sequence become closer and closer to L. If x n = c for some constant c, then x n → c, if x n =1 n, then x n →0. If x n =1 / n when n is even, given any real number, one may easily construct a sequence that converges to that number by taking decimal approximations. For example, the sequence 0.3,0.33,0.333,0.3333, note that the decimal representation 0.3333. is the limit of the previous sequence, defined by 0.3333. ≜ lim n → ∞ ∑ i =1 n 310 i, finding the limit of a sequence is not always obvious. Two examples are lim n → ∞ n and the Arithmetic–geometric mean, the squeeze theorem is often useful in such cases. In other words, for measure of closeness ϵ, the sequences terms are eventually that close to the limit. The sequence is said to converge to or tend to the limit x, symbolically, this is, ∀ ϵ >0 ∃ N ∈ R ∀ n ∈ N. If a sequence converges to some limit, then it is convergent, limits of sequences behave well with respect to the usual arithmetic operations. For any continuous function f, if x n → x then f → f, in fact, any real-valued function f is continuous if and only if it preserves the limits of sequences. Some other important properties of limits of sequences include the following

3.
Uniform convergence
–
In the mathematical field of analysis, uniform convergence is a type of convergence stronger than pointwise convergence. Loosely speaking, this means that f n converges to f at a speed on its entire domain. In contrast, we say that f n converges to f pointwise, if exists a N. It is clear from these definitions that uniform convergence of f n to f on E implies pointwise convergence for every x ∈ E, frequently, no special symbol is used, and authors simply write f n → f u n i f o r m l y. The difference between the two types of convergence was not fully appreciated early in the history of calculus, leading to instances of faulty reasoning, Uniform convergence to a function on a given interval can be defined in terms of the uniform norm. Completely standard notions of convergence did not exist at the time, when put into the modern language, what Cauchy proved is that a uniformly convergent sequence of continuous functions has a continuous limit. While he thought it a fact when a series converged in this way, he did not give a formal definition. Independently, similar concepts were articulated by Philipp Ludwig von Seidel, suppose E is a set and f n, E → R are real-valued functions. This is the Cauchy criterion for uniform convergence, in another equivalent formulation, if we define a n = sup x ∈ E | f n − f |, then f n converges to f uniformly if and only if a n →0 as n → ∞. The sequence n ∈ N is said to be uniformly convergent with limit f if E is a metric space and for every x in E. It is easy to see that local uniform convergence implies pointwise convergence and it is also clear that uniform convergence implies local uniform convergence. Note that interchanging the order of there exists N and for all x in the definition above results in a statement equivalent to the convergence of the sequence. In explicit terms, in the case of convergence, N can only depend on ϵ, while in the case of pointwise convergence. It is therefore plain that uniform convergence implies pointwise convergence, the converse is not true, as the example in the section below illustrates. One may straightforwardly extend the concept to functions S → M, the most general setting is the uniform convergence of nets of functions S → X, where X is a uniform space. The above-mentioned theorem, stating that the limit of continuous functions is continuous. Uniform convergence admits a simplified definition in a hyperreal setting, thus, a sequence f n converges to f uniformly if for all x in the domain of f* and all infinite n, f n ∗ is infinitely close to f ∗. Then uniform convergence simply means convergence in the norm topology

4.
Topological space
–
Other spaces, such as manifolds and metric spaces, are specializations of topological spaces with extra structures or constraints. Being so general, topological spaces are a central unifying notion, the branch of mathematics that studies topological spaces in their own right is called point-set topology or general topology. The utility of the notion of a topology is shown by the fact there are several equivalent definitions of this structure. Thus one chooses the axiomatisation suited for the application, the most commonly used, and the most elegant, is that in terms of open sets, but the most intuitive is that in terms of neighbourhoods and so this is given first. Note, A variety of other axiomatisations of topological spaces are listed in the Exercises of the book by Vaidyanathaswamy and this axiomatization is due to Felix Hausdorff. Let X be a set, the elements of X are usually called points, let N be a function assigning to each x in X a non-empty collection N of subsets of X. The elements of N will be called neighbourhoods of x with respect to N, the function N is called a neighbourhood topology if the axioms below are satisfied, and then X with N is called a topological space. If N is a neighbourhood of x, then x ∈ N, in other words, each point belongs to every one of its neighbourhoods. If N is a subset of X and includes a neighbourhood of x, I. e. every superset of a neighbourhood of a point x in X is again a neighbourhood of x. The intersection of two neighbourhoods of x is a neighbourhood of x, any neighbourhood N of x includes a neighbourhood M of x such that N is a neighbourhood of each point of M. The first three axioms for neighbourhoods have a clear meaning, the fourth axiom has a very important use in the structure of the theory, that of linking together the neighbourhoods of different points of X. A standard example of such a system of neighbourhoods is for the real line R, given such a structure, we can define a subset U of X to be open if U is a neighbourhood of all points in U. A topological space is a pair, where X is a set and τ is a collection of subsets of X, satisfying the following axioms, The empty set. Any union of members of τ still belongs to τ, the intersection of any finite number of members of τ still belongs to τ. The elements of τ are called open sets and the collection τ is called a topology on X, given X =, the collection τ = of only the two subsets of X required by the axioms forms a topology of X, the trivial topology. Given X =, the collection τ = of six subsets of X forms another topology of X, given X = and the collection τ = P, is a topological space. τ is called the discrete topology, using de Morgans laws, the above axioms defining open sets become axioms defining closed sets, The empty set and X are closed. The intersection of any collection of closed sets is also closed, the union of any finite number of closed sets is also closed

5.
Metric space
–
In mathematics, a metric space is a set for which distances between all members of the set are defined. Those distances, taken together, are called a metric on the set, a metric on a space induces topological properties like open and closed sets, which lead to the study of more abstract topological spaces. The most familiar metric space is 3-dimensional Euclidean space, in fact, a metric is the generalization of the Euclidean metric arising from the four long-known properties of the Euclidean distance. The Euclidean metric defines the distance between two points as the length of the line segment connecting them. Maurice Fréchet introduced metric spaces in his work Sur quelques points du calcul fonctionnel, since for any x, y ∈ M, The function d is also called distance function or simply distance. Often, d is omitted and one just writes M for a space if it is clear from the context what metric is used. Ignoring mathematical details, for any system of roads and terrains the distance between two locations can be defined as the length of the shortest route connecting those locations, to be a metric there shouldnt be any one-way roads. The triangle inequality expresses the fact that detours arent shortcuts, many of the examples below can be seen as concrete versions of this general idea. The real numbers with the function d = | y − x | given by the absolute difference. The rational numbers with the distance function also form a metric space. The positive real numbers with distance function d = | log | is a metric space. Any normed vector space is a space by defining d = ∥ y − x ∥. Examples, The Manhattan norm gives rise to the Manhattan distance, the maximum norm gives rise to the Chebyshev distance or chessboard distance, the minimal number of moves a chess king would take to travel from x to y. The British Rail metric on a vector space is given by d = ∥ x ∥ + ∥ y ∥ for distinct points x and y. The name alludes to the tendency of railway journeys to proceed via London irrespective of their final destination, If is a metric space and X is a subset of M, then becomes a metric space by restricting the domain of d to X × X. The discrete metric, where d =0 if x = y and d =1 otherwise, is a simple but important example and this, in particular, shows that for any set, there is always a metric space associated to it. Using this metric, any point is a ball, and therefore every subset is open. A finite metric space is a metric space having a number of points

6.
Compact space
–
In mathematics, and more specifically in general topology, compactness is a property that generalizes the notion of a subset of Euclidean space being closed and bounded. Examples include a closed interval, a rectangle, or a set of points. This notion is defined for general topological spaces than Euclidean space in various ways. One such generalization is that a space is compact if any infinite sequence of points sampled from the space must frequently get arbitrarily close to some point of the space. An equivalent definition is that every sequence of points must have an infinite subsequence that converges to some point of the space, the Heine-Borel theorem states that a subset of Euclidean space is compact in this sequential sense if and only if it is closed and bounded. Thus, if one chooses a number of points in the closed unit interval some of those points must get arbitrarily close to some real number in that space. For instance, some of the numbers 1/2, 4/5, 1/3, 5/6, 1/4, 6/7, the same set of points would not accumulate to any point of the open unit interval, so the open unit interval is not compact. Euclidean space itself is not compact since it is not bounded, in particular, the sequence of points 0, 1, 2, 3, … has no subsequence that converges to any given real number. Apart from closed and bounded subsets of Euclidean space, typical examples of compact spaces include spaces consisting not of geometrical points, the term compact was introduced into mathematics by Maurice Fréchet in 1904 as a distillation of this concept. Various equivalent notions of compactness, including sequential compactness and limit point compactness, in general topological spaces, however, different notions of compactness are not necessarily equivalent. This more subtle notion, introduced by Pavel Alexandrov and Pavel Urysohn in 1929, the term compact set is sometimes a synonym for compact space, but usually refers to a compact subspace of a topological space. In the 19th century, several disparate mathematical properties were understood that would later be seen as consequences of compactness. On the one hand, Bernard Bolzano had been aware that any bounded sequence of points has a subsequence that must eventually get close to some other point. The process could then be repeated by dividing the resulting smaller interval into smaller and smaller parts until it closes down on the limit point. The full significance of Bolzanos theorem, and its method of proof, in the 1880s, it became clear that results similar to the Bolzano–Weierstrass theorem could be formulated for spaces of functions rather than just numbers or geometrical points. The idea of regarding functions as points of a generalized space dates back to the investigations of Giulio Ascoli. The uniform limit of this sequence then played precisely the same role as Bolzanos limit point and this ultimately led to the notion of a compact operator as an offshoot of the general notion of a compact space. It was Maurice Fréchet who, in 1906, had distilled the essence of the Bolzano–Weierstrass property, in 1870, Eduard Heine showed that a continuous function defined on a closed and bounded interval was in fact uniformly continuous