1.
Map (mathematics)
–
There are also a few, less common uses in logic and graph theory. In many branches of mathematics, the map is used to mean a function. For instance, a map is a function in topology. Some authors, such as Serge Lang, use only to refer to maps in which the codomain is a set of numbers. Sets of maps of special kinds are the subjects of many important theories, see for instance Lie group, mapping class group, in the theory of dynamical systems, a map denotes an evolution function used to create discrete dynamical systems. A partial map is a function, and a total map is a total function. Related terms like domain, codomain, injective, continuous, etc. can be applied equally to maps and functions, all these usages can be applied to maps as general functions or as functions with special properties. In category theory, map is used as a synonym for morphism or arrow. In formal logic, the map is sometimes used for a functional predicate. In graph theory, a map is a drawing of a graph on a surface without overlapping edges, if the surface is a plane then a map is a planar graph, similar to a political map
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.
Function (mathematics)
–
In mathematics, a function is a relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output. An example is the function that each real number x to its square x2. The output of a function f corresponding to a x is denoted by f. In this example, if the input is −3, then the output is 9, likewise, if the input is 3, then the output is also 9, and we may write f =9. The input variable are sometimes referred to as the argument of the function, Functions of various kinds are the central objects of investigation in most fields of modern mathematics. There are many ways to describe or represent a function, some functions may be defined by a formula or algorithm that tells how to compute the output for a given input. Others are given by a picture, called the graph of the function, in science, functions are sometimes defined by a table that gives the outputs for selected inputs. A function could be described implicitly, for example as the inverse to another function or as a solution of a differential equation, sometimes the codomain is called the functions range, but more commonly the word range is used to mean, instead, specifically the set of outputs. For example, we could define a function using the rule f = x2 by saying that the domain and codomain are the numbers. The image of this function is the set of real numbers. In analogy with arithmetic, it is possible to define addition, subtraction, multiplication, another important operation defined on functions is function composition, where the output from one function becomes the input to another function. Linking each shape to its color is a function from X to Y, each shape is linked to a color, there is no shape that lacks a color and no shape that has more than one color. This function will be referred to as the color-of-the-shape function, the input to a function is called the argument and the output is called the value. The set of all permitted inputs to a function is called the domain of the function. Thus, the domain of the function is the set of the four shapes. The concept of a function does not require that every possible output is the value of some argument, a second example of a function is the following, the domain is chosen to be the set of natural numbers, and the codomain is the set of integers. The function associates to any number n the number 4−n. For example, to 1 it associates 3 and to 10 it associates −6, a third example of a function has the set of polygons as domain and the set of natural numbers as codomain
4.
Linear algebra
–
Linear algebra is the branch of mathematics concerning vector spaces and linear mappings between such spaces. It includes the study of lines, planes, and subspaces, the set of points with coordinates that satisfy a linear equation forms a hyperplane in an n-dimensional space. The conditions under which a set of n hyperplanes intersect in a point is an important focus of study in linear algebra. Such an investigation is initially motivated by a system of linear equations containing several unknowns, such equations are naturally represented using the formalism of matrices and vectors. Linear algebra is central to both pure and applied mathematics, for instance, abstract algebra arises by relaxing the axioms of a vector space, leading to a number of generalizations. Functional analysis studies the infinite-dimensional version of the theory of vector spaces, combined with calculus, linear algebra facilitates the solution of linear systems of differential equations. Because linear algebra is such a theory, nonlinear mathematical models are sometimes approximated by linear models. The study of linear algebra first emerged from the study of determinants, determinants were used by Leibniz in 1693, and subsequently, Gabriel Cramer devised Cramers Rule for solving linear systems in 1750. Later, Gauss further developed the theory of solving linear systems by using Gaussian elimination, the study of matrix algebra first emerged in England in the mid-1800s. In 1844 Hermann Grassmann published his Theory of Extension which included foundational new topics of what is called linear algebra. In 1848, James Joseph Sylvester introduced the term matrix, which is Latin for womb, while studying compositions of linear transformations, Arthur Cayley was led to define matrix multiplication and inverses. Crucially, Cayley used a letter to denote a matrix. In 1882, Hüseyin Tevfik Pasha wrote the book titled Linear Algebra, the first modern and more precise definition of a vector space was introduced by Peano in 1888, by 1900, a theory of linear transformations of finite-dimensional vector spaces had emerged. Linear algebra took its form in the first half of the twentieth century. The use of matrices in quantum mechanics, special relativity, the origin of many of these ideas is discussed in the articles on determinants and Gaussian elimination. Linear algebra first appeared in American graduate textbooks in the 1940s, following work by the School Mathematics Study Group, U. S. high schools asked 12th grade students to do matrix algebra, formerly reserved for college in the 1960s. In France during the 1960s, educators attempted to teach linear algebra through finite-dimensional vector spaces in the first year of secondary school and this was met with a backlash in the 1980s that removed linear algebra from the curriculum. To better suit 21st century applications, such as mining and uncertainty analysis
5.
Group theory
–
In mathematics and abstract algebra, group theory studies the algebraic structures known as groups. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra, linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right. Various physical systems, such as crystals and the hydrogen atom, thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is central to public key cryptography. The first class of groups to undergo a systematic study was permutation groups, given any set X and a collection G of bijections of X into itself that is closed under compositions and inverses, G is a group acting on X. If X consists of n elements and G consists of all permutations, G is the symmetric group Sn, in general, an early construction due to Cayley exhibited any group as a permutation group, acting on itself by means of the left regular representation. In many cases, the structure of a group can be studied using the properties of its action on the corresponding set. For example, in this way one proves that for n ≥5 and this fact plays a key role in the impossibility of solving a general algebraic equation of degree n ≥5 in radicals. The next important class of groups is given by matrix groups, here G is a set consisting of invertible matrices of given order n over a field K that is closed under the products and inverses. Such a group acts on the vector space Kn by linear transformations. In the case of groups, X is a set, for matrix groups. The concept of a group is closely related with the concept of a symmetry group. The theory of groups forms a bridge connecting group theory with differential geometry. A long line of research, originating with Lie and Klein, the groups themselves may be discrete or continuous. Most groups considered in the first stage of the development of group theory were concrete, having been realized through numbers, permutations, or matrices. It was not until the nineteenth century that the idea of an abstract group as a set with operations satisfying a certain system of axioms began to take hold. A typical way of specifying an abstract group is through a presentation by generators and relations, a significant source of abstract groups is given by the construction of a factor group, or quotient group, G/H, of a group G by a normal subgroup H. Class groups of algebraic number fields were among the earliest examples of factor groups, of much interest in number theory
6.
Group homomorphism
–
From this property, one can deduce that h maps the identity element eG of G to the identity element eH of H, and it also maps inverses to inverses in the sense that h = h −1. Hence one can say that h is compatible with the group structure, older notations for the homomorphism h may be xh, though this may be confused as an index or a general subscript. A more recent trend is to write group homomorphisms on the right of their arguments, omitting brackets and this approach is especially prevalent in areas of group theory where automata play a role, since it accords better with the convention that automata read words from left to right. In areas of mathematics where one considers groups endowed with additional structure, for example, a homomorphism of topological groups is often required to be continuous. The purpose of defining a group homomorphism is to create functions that preserve the algebraic structure, an equivalent definition of group homomorphism is, The function h, G → H is a group homomorphism if whenever a ∗ b = c we have h ⋅ h = h. In other words, the group H in some sense has an algebraic structure as G. Monomorphism A group homomorphism that is injective, i. e. preserves distinctness, epimorphism A group homomorphism that is surjective, i. e. reaches every point in the codomain. Isomorphism A group homomorphism that is bijective, i. e. injective and surjective and its inverse is also a group homomorphism. In this case, the groups G and H are called isomorphic, endomorphism A homomorphism, h, G → G, the domain and codomain are the same. Also called an endomorphism of G. Automorphism An endomorphism that is bijective, the set of all automorphisms of a group G, with functional composition as operation, forms itself a group, the automorphism group of G. As an example, the group of contains only two elements, the identity transformation and multiplication with −1, it is isomorphic to Z/2Z. We define the kernel of h to be the set of elements in G which are mapped to the identity in H ker ≡. the kernel and image of a homomorphism can be interpreted as measuring how close it is to being an isomorphism. The first isomorphism theorem states that the image of a group homomorphism, if and only if ker =, the homomorphism, h, is a group monomorphism, i. e. h is injective. The map h, Z → Z/3Z with h = u mod 3 is a group homomorphism and it is surjective and its kernel consists of all integers which are divisible by 3. The exponential map yields a homomorphism from the group of real numbers R with addition to the group of non-zero real numbers R* with multiplication. The kernel is and the image consists of the real numbers. The exponential map yields a group homomorphism from the group of complex numbers C with addition to the group of non-zero complex numbers C* with multiplication. This map is surjective and has the kernel, as can be seen from Eulers formula, fields like R and C that have homomorphisms from their additive group to their multiplicative group are thus called exponential fields
7.
Topology
–
In mathematics, topology is concerned with the properties of space that are preserved under continuous deformations, such as stretching, crumpling and bending, but not tearing or gluing. This can be studied by considering a collection of subsets, called open sets, important topological properties include connectedness and compactness. Topology developed as a field of study out of geometry and set theory, through analysis of such as space, dimension. Such ideas go back to Gottfried Leibniz, who in the 17th century envisioned the geometria situs, Leonhard Eulers Seven Bridges of Königsberg Problem and Polyhedron Formula are arguably the fields first theorems. The term topology was introduced by Johann Benedict Listing in the 19th century, by the middle of the 20th century, topology had become a major branch of mathematics. It defines the basic notions used in all branches of topology. Algebraic topology tries to measure degrees of connectivity using algebraic constructs such as homology, differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to geometry and together they make up the geometric theory of differentiable manifolds. Geometric topology primarily studies manifolds and their embeddings in other manifolds, a particularly active area is low-dimensional topology, which studies manifolds of four or fewer dimensions. This includes knot theory, the study of mathematical knots, Topology, as a well-defined mathematical discipline, originates in the early part of the twentieth century, but some isolated results can be traced back several centuries. Among these are certain questions in geometry investigated by Leonhard Euler and his 1736 paper on the Seven Bridges of Königsberg is regarded as one of the first practical applications of topology. On 14 November 1750 Euler wrote to a friend that he had realised the importance of the edges of a polyhedron and this led to his polyhedron formula, V − E + F =2. Some authorities regard this analysis as the first theorem, signalling the birth of topology, further contributions were made by Augustin-Louis Cauchy, Ludwig Schläfli, Johann Benedict Listing, Bernhard Riemann and Enrico Betti. Listing introduced the term Topologie in Vorstudien zur Topologie, written in his native German, in 1847, the term topologist in the sense of a specialist in topology was used in 1905 in the magazine Spectator. Their work was corrected, consolidated and greatly extended by Henri Poincaré, in 1895 he published his ground-breaking paper on Analysis Situs, which introduced the concepts now known as homotopy and homology, which are now considered part of algebraic topology. Unifying the work on function spaces of Georg Cantor, Vito Volterra, Cesare Arzelà, Jacques Hadamard, Giulio Ascoli and others, Maurice Fréchet introduced the metric space in 1906. A metric space is now considered a case of a general topological space. In 1914, Felix Hausdorff coined the term topological space and gave the definition for what is now called a Hausdorff space, currently, a topological space is a slight generalization of Hausdorff spaces, given in 1922 by Kazimierz Kuratowski
8.
Continuous function
–
In mathematics, a continuous function is a function for which sufficiently small changes in the input result in arbitrarily small changes in the output. Otherwise, a function is said to be a discontinuous function, a continuous function with a continuous inverse function is called a homeomorphism. Continuity of functions is one of the concepts of topology. The introductory portion of this focuses on the special case where the inputs and outputs of functions are real numbers. In addition, this article discusses the definition for the general case of functions between two metric spaces. In order theory, especially in theory, one considers a notion of continuity known as Scott continuity. Other forms of continuity do exist but they are not discussed in this article, as an example, consider the function h, which describes the height of a growing flower at time t. By contrast, if M denotes the amount of money in an account at time t, then the function jumps at each point in time when money is deposited or withdrawn. A form of the definition of continuity was first given by Bernard Bolzano in 1817. Cauchy defined infinitely small quantities in terms of quantities. The formal definition and the distinction between pointwise continuity and uniform continuity were first given by Bolzano in the 1830s but the work wasnt published until the 1930s, all three of those nonequivalent definitions of pointwise continuity are still in use. Eduard Heine provided the first published definition of continuity in 1872. This is not a definition of continuity since the function f =1 x is continuous on its whole domain of R ∖ A function is continuous at a point if it does not have a hole or jump. A “hole” or “jump” in the graph of a function if the value of the function at a point c differs from its limiting value along points that are nearby. Such a point is called a discontinuity, a function is then continuous if it has no holes or jumps, that is, if it is continuous at every point of its domain. Otherwise, a function is discontinuous, at the points where the value of the function differs from its limiting value, there are several ways to make this definition mathematically rigorous. These definitions are equivalent to one another, so the most convenient definition can be used to determine whether a function is continuous or not. In the definitions below, f, I → R. is a function defined on a subset I of the set R of real numbers and this subset I is referred to as the domain of f
9.
Category theory
–
Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows. A category has two properties, the ability to compose the arrows associatively and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, several terms used in category theory, including the term morphism, are used differently from their uses in the rest of mathematics. In category theory, morphisms obey conditions specific to category theory itself, Category theory has practical applications in programming language theory, in particular for the study of monads in functional programming. Categories represent abstraction of other mathematical concepts, many areas of mathematics can be formalised by category theory as categories. Hence category theory uses abstraction to make it possible to state and prove many intricate, a basic example of a category is the category of sets, where the objects are sets and the arrows are functions from one set to another. However, the objects of a category need not be sets, any way of formalising a mathematical concept such that it meets the basic conditions on the behaviour of objects and arrows is a valid category—and all the results of category theory apply to it. The arrows of category theory are said to represent a process connecting two objects, or in many cases a structure-preserving transformation connecting two objects. There are, however, many applications where more abstract concepts are represented by objects. The most important property of the arrows is that they can be composed, in other words, linear algebra can also be expressed in terms of categories of matrices. A systematic study of category theory allows us to prove general results about any of these types of mathematical structures from the axioms of a category. The class Grp of groups consists of all objects having a group structure, one can proceed to prove theorems about groups by making logical deductions from the set of axioms. For example, it is immediately proven from the axioms that the identity element of a group is unique, in the case of groups, the morphisms are the group homomorphisms. The study of group homomorphisms then provides a tool for studying properties of groups. Not all categories arise as structure preserving functions, however, the example is the category of homotopies between pointed topological spaces. If one axiomatizes relations instead of functions, one obtains the theory of allegories, a category is itself a type of mathematical structure, so we can look for processes which preserve this structure in some sense, such a process is called a functor. Diagram chasing is a method of arguing with abstract arrows joined in diagrams. Functors are represented by arrows between categories, subject to specific defining commutativity conditions, functors can define categorical diagrams and sequences
10.
Category (mathematics)
–
In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows. A category has two properties, the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets, on the other hand, any monoid can be understood as a special sort of category, and so can any preorder. In general, the objects and arrows may be abstract entities of any kind, and this is the central idea of category theory, a branch of mathematics which seeks to generalize all of mathematics in terms of objects and arrows, independent of what the objects and arrows represent. Virtually every branch of mathematics can be described in terms of categories. For more extensive motivational background and historical notes, see category theory, two categories are the same if they have the same collection of objects, the same collection of arrows, and the same associative method of composing any pair of arrows. Two categories may also be considered equivalent for purposes of category theory, all of the preceding categories have the identity map as identity arrow and composition as the associative operation on arrows. The classic and still used text on category theory is Categories for the Working Mathematician by Saunders Mac Lane. Other references are given in the References below, the basic definitions in this article are contained within the first few chapters of any of these books. Category theory first appeared in a paper entitled General Theory of Natural Equivalences, written by Samuel Eilenberg, there are many equivalent definitions of a category. One commonly used definition is as follows, a category C consists of a class ob of objects a class hom of morphisms, or arrows, or maps, between the objects. Each morphism f has a source object a and a target object b where a and b are in ob and we write f, a → b, and we say f is a morphism from a to b. From these axioms, one can prove there is exactly one identity morphism for every object. Some authors use a variation of the definition in which each object is identified with the corresponding identity morphism. A category C is called if both ob and hom are actually sets and not proper classes, and large otherwise. A locally small category is a such that for all objects a and b. Many important categories in mathematics, although not small, are at least locally small, the class of all sets together with all functions between sets, where composition is the usual function composition, forms a large category, Set. It is the most basic and the most commonly used category in mathematics, the category Rel consists of all sets, with binary relations as morphisms
11.
Set (mathematics)
–
In mathematics, a set is a well-defined collection of distinct objects, considered as an object in its own right. For example, the numbers 2,4, and 6 are distinct objects when considered separately, Sets are one of the most fundamental concepts in mathematics. Developed at the end of the 19th century, set theory is now a part of mathematics. In mathematics education, elementary topics such as Venn diagrams are taught at a young age, the German word Menge, rendered as set in English, was coined by Bernard Bolzano in his work The Paradoxes of the Infinite. A set is a collection of distinct objects. The objects that make up a set can be anything, numbers, people, letters of the alphabet, other sets, Sets are conventionally denoted with capital letters. Sets A and B are equal if and only if they have precisely the same elements. Cantors definition turned out to be inadequate, instead, the notion of a set is taken as a notion in axiomatic set theory. There are two ways of describing, or specifying the members of, a set, one way is by intensional definition, using a rule or semantic description, A is the set whose members are the first four positive integers. B is the set of colors of the French flag, the second way is by extension – that is, listing each member of the set. An extensional definition is denoted by enclosing the list of members in curly brackets, one often has the choice of specifying a set either intensionally or extensionally. In the examples above, for instance, A = C and B = D, there are two important points to note about sets. First, in a definition, a set member can be listed two or more times, for example. However, per extensionality, two definitions of sets which differ only in one of the definitions lists set members multiple times, define, in fact. Hence, the set is identical to the set. The second important point is that the order in which the elements of a set are listed is irrelevant and we can illustrate these two important points with an example, = =. For sets with many elements, the enumeration of members can be abbreviated, for instance, the set of the first thousand positive integers may be specified extensionally as, where the ellipsis indicates that the list continues in the obvious way. Ellipses may also be used where sets have infinitely many members, thus the set of positive even numbers can be written as
12.
Associative property
–
In mathematics, the associative property is a property of some binary operations. In propositional logic, associativity is a rule of replacement for expressions in logical proofs. That is, rearranging the parentheses in such an expression will not change its value, consider the following equations, +4 =2 + =92 × = ×4 =24. Even though the parentheses were rearranged on each line, the values of the expressions were not altered, since this holds true when performing addition and multiplication on any real numbers, it can be said that addition and multiplication of real numbers are associative operations. Associativity is not to be confused with commutativity, which addresses whether or not the order of two operands changes the result. For example, the order doesnt matter in the multiplication of numbers, that is. Associative operations are abundant in mathematics, in fact, many algebraic structures explicitly require their binary operations to be associative, however, many important and interesting operations are non-associative, some examples include subtraction, exponentiation and the vector cross product. Z = x = xyz for all x, y, z in S, the associative law can also be expressed in functional notation thus, f = f. If a binary operation is associative, repeated application of the produces the same result regardless how valid pairs of parenthesis are inserted in the expression. This is called the generalized associative law, thus the product can be written unambiguously as abcd. As the number of elements increases, the number of ways to insert parentheses grows quickly. Some examples of associative operations include the following, the two methods produce the same result, string concatenation is associative. In arithmetic, addition and multiplication of numbers are associative, i. e. + z = x + = x + y + z z = x = x y z } for all x, y, z ∈ R. x, y, z\in \mathbb. }Because of associativity. Addition and multiplication of numbers and quaternions are associative. Addition of octonions is also associative, but multiplication of octonions is non-associative, the greatest common divisor and least common multiple functions act associatively. Gcd = gcd = gcd lcm = lcm = lcm } for all x, y, z ∈ Z. x, y, z\in \mathbb. }Taking the intersection or the union of sets, ∩ C = A ∩ = A ∩ B ∩ C ∪ C = A ∪ = A ∪ B ∪ C } for all sets A, B, C. Slightly more generally, given four sets M, N, P and Q, with h, M to N, g, N to P, in short, composition of maps is always associative. Consider a set with three elements, A, B, and C, thus, for example, A=C = A
13.
Identity function
–
In mathematics, an identity function, also called an identity relation or identity map or identity transformation, is a function that always returns the same value that was used as its argument. In equations, the function is given by f = x, formally, if M is a set, the identity function f on M is defined to be that function with domain and codomain M which satisfies f = x for all elements x in M. In other words, the value f in M is always the same input element x of M. The identity function on M is clearly a function as well as a surjective function. The identity function f on M is often denoted by idM, in set theory, where a function is defined as a particular kind of binary relation, the identity function is given by the identity relation, or diagonal of M. If f, M → N is any function, then we have f ∘ idM = f = idN ∘ f, in particular, idM is the identity element of the monoid of all functions from M to M. Since the identity element of a monoid is unique, one can define the identity function on M to be this identity element. Such a definition generalizes to the concept of an identity morphism in category theory, the identity function is a linear operator, when applied to vector spaces. The identity function on the integers is a completely multiplicative function. In an n-dimensional vector space the identity function is represented by the identity matrix In, in a metric space the identity is trivially an isometry. An object without any symmetry has as symmetry group the group only containing this isometry. In a topological space, the identity function is always continuous
14.
Function composition
–
In mathematics, function composition is the pointwise application of one function to the result of another to produce a third function. The resulting composite function is denoted g ∘ f, X → Z, the notation g ∘ f is read as g circle f, or g round f, or g composed with f, g after f, g following f, or g of f, or g on f. Intuitively, composing two functions is a process in which the output of the inner function becomes the input of the outer function. The composition of functions is a case of the composition of relations. The composition of functions has some additional properties, Composition of functions on a finite set, If f =, and g =, then g ∘ f =. The composition of functions is always associative—a property inherited from the composition of relations, since there is no distinction between the choices of placement of parentheses, they may be left off without causing any ambiguity. In a strict sense, the composition g ∘ f can be only if fs codomain equals gs domain, in a wider sense it is sufficient that the former is a subset of the latter. The functions g and f are said to commute with each other if g ∘ f = f ∘ g, commutativity is a special property, attained only by particular functions, and often in special circumstances. For example, | x | +3 = | x + 3 | only when x ≥0, the composition of one-to-one functions is always one-to-one. Similarly, the composition of two functions is always onto. It follows that composition of two bijections is also a bijection, the inverse function of a composition has the property that −1 =. Derivatives of compositions involving differentiable functions can be using the chain rule. Higher derivatives of functions are given by Faà di Brunos formula. Suppose one has two functions f, X → X, g, X → X having the domain and codomain. Then one can form chains of transformations composed together, such as f ∘ f ∘ g ∘ f, such chains have the algebraic structure of a monoid, called a transformation monoid or composition monoid. In general, transformation monoids can have remarkably complicated structure, one particular notable example is the de Rham curve. The set of all functions f, X → X is called the transformation semigroup or symmetric semigroup on X. If the transformation are bijective, then the set of all combinations of these functions forms a transformation group
15.
Commutative diagram
–
Commutative diagrams play the role in category theory that equations play in algebra. Note that a diagram may not be commutative, i. e. the composition of different paths in the diagram may not give the same result, for clarification, phrases like this commutative diagram or the diagram commutes may be used. Since the first equality follows from the last two, for the diagram to commute it suffices to show and, however, since equality does not generally follow from the other two equalities, for this diagram to commute it is generally not enough to only have equalities and. In algebra texts, the type of morphism can be denoted with different arrow usages, monomorphisms with a ↪, epimorphisms with a ↠, and isomorphisms with a → ∼. The dashed arrow typically represents the claim that the indicated morphism exists whenever the rest of the diagram holds, if the dashed arrow is labeled. These conventions are common enough that texts often do not explain the meanings of the different types of arrow, commutativity makes sense for a polygon of any finite number of sides, and a diagram is commutative if every polygonal subdiagram is commutative. Diagram chasing is a method of proof used especially in homological algebra. Given a commutative diagram, a proof by diagram chasing involves the use of the properties of the diagram, such as injective or surjective maps. A syllogism is constructed, for which the display of the diagram is just a visual aid. It follows that one ends up chasing elements around the diagram, examples of proofs by diagram chasing include those typically given for the five lemma, the snake lemma, the zig-zag lemma, and the nine lemma. In 2-category theory, one not only objects and arrows. For example, if you treat the category of small categories Cat as a 1-category, so now the commutative diagrams consist not only of arrows, but arrows between arrows. Composition is given by pasting diagrams, however, not every diagram commutes, most simply, the diagram of a single object with an endomorphism, or with two parallel arrows, as used in the definition of equalizer need not commute. Further, diagrams may be messy or impossible to draw when the number of objects or morphisms is large, mathematical diagram Adámek, Jiří, Horst Herrlich, George E. Strecker. Now available as free on-line edition, revised and corrected free online version of Grundlehren der mathematischen Wissenschaften Springer-Verlag, 1983). Diagram Chasing at MathWorld WildCats is a category theory package for Mathematica, manipulation and visualization of objects, morphisms, categories, functors, natural transformations
16.
Glossary of category theory
–
This is a glossary of properties and concepts in category theory in mathematics. Especially for higher categories, the concepts from algebraic topology are also used in the category theory, for that see also glossary of algebraic topology. The notations used throughout the article are, =, which is viewed as a category Cat, the category of categories, where the objects are categories and the morphisms functors. Fct, the category, the category of functors from a category C to a category D. Set. SSet, the category of simplicial sets, abelian A category is abelian if it has a zero object, it has all pullbacks and pushouts, and all monomorphisms and epimorphisms are normal. Given a cardinal number κ, an object X in a category is κ-accessible if Hom commutes with κ-filtered colimits, additive A category is additive if it is preadditive and admits all finite coproducts. Although preadditive is a structure, one can show additive is a property of a category. Balanced A category is balanced if every bimorphism is an isomorphism, Becks theorem Becks theorem characterizes the category of algebras for a given monad. Bifunctor A bifunctor from a pair of categories C and D to a category E is a functor C × D → E. For example, for any category C, Hom is a bifunctor from Cop, calculus of functors The calculus of functors is a technique of studying functors in the manner similar to the way a function is studied via its Taylor series expansion, whence, the term calculus. Cartesian closed A category is closed if it has a terminal object. Cartesian square A commutative diagram that is isomorphic to the diagram given as a fiber product, decategorification is the reverse of categorification. But there might be a distinction, for example, an op-fibration is not the thing as a cofibration. It is the dual of an equalizer, coimage The coimage of a morphism f, X → Y is the coequalizer of X × Y X ⇉ X. Complete A category is complete if all limits exist. Concrete A concrete category C is a such that there is a faithful functor from C to Set, e. g. Vec, Grp. Cone A cone is a way to express the universal property of a colimit, many forgetful functors are conservative, but the forgetful functor from Top to Set is not conservative. Constant A functor is constant if it maps every object in a category to the same object A and every morphism to the identity on A
17.
Range (mathematics)
–
In mathematics, and more specifically in naive set theory, the range of a function refers to either the codomain or the image of the function, depending upon usage. Modern usage almost always uses range to mean image, the codomain of a function is some arbitrary set. In real analysis, it is the real numbers, in complex analysis, it is the complex numbers. The image of a function is the set of all outputs of the function, the image is always a subset of the codomain. As the term range can have different meanings, it is considered a practice to define it the first time it is used in a textbook or article. Older books, when they use the range, tend to use it to mean what is now called the codomain. More modern books, if they use the range at all. To avoid any confusion, a number of modern books dont use the range at all. As an example of the two different usages, consider the function f = x 2 as it is used in real analysis, that is, as a function that inputs a real number and outputs its square. In this case, its codomain is the set of real numbers R, for this function, if we use range to mean codomain, it refers to R. When we use range to mean image, it refers to R +, as an example where the range equals the codomain, consider the function f =2 x, which inputs a real number and outputs its double. For this function, the codomain and the image are the same, so the range is unambiguous. When range is used to mean codomain, the image of a function f is already implicitely defined and it is the subset of the range which equals. When range is used to image, the range of a function f is by definition. In this case, the codomain of f must not be specified, in both cases, image f ⊆ range f ⊆ codomain f, with at least one of the containments being equality. Bijection, injection and surjection Codomain Image Naive set theory Childs, a Concrete Introduction to Higher Algebra. Dummit, David S. Foote, Richard M. Abstract Algebra
18.
Monomorphism
–
In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from X to Y is often denoted with the notation X ↪ Y, monomorphisms are a categorical generalization of injective functions, in some categories the notions coincide, but monomorphisms are more general, as in the examples below. The categorical dual of a monomorphism is an epimorphism, i. e. a monomorphism in a category C is an epimorphism in the dual category Cop, every section is a monomorphism, and every retraction is an epimorphism. A left invertible morphism is called a split mono, however, a monomorphism need not be left-invertible. A morphism f, X → Y is monic if and only if the induced map f∗, Hom → Hom, in the category of sets the converse also holds, so the monomorphisms are exactly the injective morphisms. The converse also holds in most naturally occurring categories of algebras because of the existence of an object on one generator. In particular, it is true in the categories of all groups, of all rings and this is not an injective map, as for example every integer is mapped to 0. Nevertheless, it is a monomorphism in this category and this follows from the implication q ∘ h =0 ⇒ h =0, which we will now prove. If h, G → Q, where G is some divisible group, without loss of generality, we may assume that h ≥0. Then, letting n = h +1, since G is a group, there exists some y ∈ G such that x = ny. This says that h =0, as desired, to go from that implication to the fact that q is a monomorphism, assume that q ∘ f = q ∘ g for some morphisms f, g, G → Q, where G is some divisible group. Then q ∘ =0, where, x ↦ f − g, from the implication just proved, q ∘ =0 ⇒ f − g =0 ⇔ ∀ x ∈ G, f = g ⇔ f = g. Hence q is a monomorphism, as claimed, in a topos, every monic is an equalizer, and any map that is both monic and epic is an isomorphism. There are also useful concepts of regular monomorphism, strong monomorphism, a regular monomorphism equalizes some parallel pair of morphisms. An extremal monomorphism is a monomorphism that cannot be factored through an epimorphism, Precisely, if m = g ∘ e with e an epimorphism. A strong monomorphism satisfies a certain lifting property with respect to commutative squares involving an epimorphism, the companion terms monomorphism and epimorphism were originally introduced by Nicolas Bourbaki, Bourbaki uses monomorphism as shorthand for an injective function. Early category theorists believed that the generalization of injectivity to the context of categories was the cancellation property given above. While this is not exactly true for monic maps, it is close, so this has caused little trouble
19.
Section (category theory)
–
In category theory, a branch of mathematics, a section is a right inverse of some morphism. Dually, a retraction is an inverse of some morphism. Every section is a monomorphism, and every retraction is an epimorphism, in algebra the sections are also called split monomorphisms and the retractions split epimorphisms. In an abelian category, if f, X → Y is a split epimorphism with split monomorphism g, Y → X, then X is isomorphic to the sum of Y. In the category of sets, every monomorphism with a non-empty domain is a section and every epimorphism is a retraction, the latter statement is equivalent to the axiom of choice. In the category of groups, the epimorphism Z→Z/2Z which sends every integer to its image modulo 2 does not split. Similarly, the natural monomorphism Z/2Z→Z/4Z doesnt split even though there is a non-trivial homomorphism Z/4Z→Z/2Z, given a quotient space X ¯ with quotient map π, X → X ¯, a section of π is called a transversal. Splitting lemma Inverse function#Left and right inverses Transversal
20.
Injective
–
In mathematics, an injective function or injection or one-to-one function is a function that preserves distinctness, it never maps distinct elements of its domain to the same element of its codomain. In other words, every element of the codomain is the image of at most one element of its domain. The term one-to-one function must not be confused with one-to-one correspondence, occasionally, an injective function from X to Y is denoted f, X ↣ Y, using an arrow with a barbed tail. A function f that is not injective is sometimes called many-to-one, however, the injective terminology is also sometimes used to mean single-valued, i. e. each argument is mapped to at most one value. A monomorphism is a generalization of a function in category theory. Let f be a function whose domain is a set X, the function f is said to be injective provided that for all a and b in X, whenever f = f, then a = b, that is, f = f implies a = b. Equivalently, if a ≠ b, then f ≠ f, in particular the identity function X → X is always injective. If the domain X = ∅ or X has only one element, the function f, R → R defined by f = 2x +1 is injective. The function g, R → R defined by g = x2 is not injective, however, if g is redefined so that its domain is the non-negative real numbers [0, +∞), then g is injective. The exponential function exp, R → R defined by exp = ex is injective, the natural logarithm function ln, → R defined by x ↦ ln x is injective. The function g, R → R defined by g = xn − x is not injective, since, for example, g = g =0. More generally, when X and Y are both the real line R, then a function f, R → R is one whose graph is never intersected by any horizontal line more than once. This principle is referred to as the line test. Functions with left inverses are always injections and that is, given f, X → Y, if there is a function g, Y → X such that, for every x ∈ X g = x then f is injective. In this case, g is called a retraction of f, conversely, f is called a section of g. Conversely, every injection f with non-empty domain has an inverse g. Note that g may not be an inverse of f because the composition in the other order, f o g. In other words, a function that can be undone or reversed, injections are reversible but not always invertible
21.
Epimorphism
–
Epimorphisms are categorical analogues of surjective functions, but it may not exactly coincide in all contexts, for example, the inclusion Z → Q is a ring-epimorphism. The dual of an epimorphism is a monomorphism, many authors in abstract algebra and universal algebra define an epimorphism simply as an onto or surjective homomorphism. Every epimorphism in this sense is an epimorphism in the sense of category theory. In this article, the term epimorphism will be used in the sense of category theory given above, for more on this, see the section on Terminology below. Every morphism in a category whose underlying function is surjective is an epimorphism. In many concrete categories of interest the converse is also true, for example, in the following categories, the epimorphisms are exactly those morphisms which are surjective on the underlying sets, Set, sets and functions. To prove that every epimorphism f, X → Y in Set is surjective, we compose it with both the characteristic function g1, Y → of the f and the map g2. Rel, sets with binary relations and relation preserving functions, here we can use the same proof as for Set, equipping with the full relation ×. Pos, partially ordered sets and monotone functions, If f, → is not surjective, pick y0 in Y \ f and let g1, Y → be the characteristic function of and g2, Y → the characteristic function of. These maps are monotone if is given the standard ordering 0 <1, the result that every epimorphism in Grp is surjective is due to Otto Schreier, an elementary proof can be found in. FinGrp, finite groups and group homomorphisms, also due to Schreier, the proof given in establishes this case as well. Ab, abelian groups and group homomorphisms, k-Vect, vector spaces over a field K and K-linear transformations. Mod-R, right modules over a ring R and module homomorphisms, Top, topological spaces and continuous functions. To prove that every epimorphism in Top is surjective, we proceed exactly as in Set, hComp, compact Hausdorff spaces and continuous functions. If f, X → Y is not surjective, let y in Y-fX, since fX is closed, by Urysohns Lemma there is a continuous function g1, Y → such that g1 is 0 on fX and 1 on y. We compose f with both g1 and the zero function g2, Y →, however there are also many concrete categories of interest where epimorphisms fail to be surjective. A few examples are, In the category of monoids, Mon, to see this, suppose that g1 and g2 are two distinct maps from Z to some monoid M. Then for some n in Z, g1 ≠ g2, so g1 ≠ g2, either n or -n is in N, so the restrictions of g1 and g2 to N are unequal
22.
Surjective function
–
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
23.
Axiom of choice
–
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty. It states that for every indexed family i ∈ I of nonempty sets there exists an indexed family i ∈ I of elements such that x i ∈ S i for every i ∈ I. The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem. Informally put, the axiom of choice says that any collection of bins, each containing at least one object. One motivation for use is that a number of generally accepted mathematical results, such as Tychonoffs theorem. Contemporary set theorists also study axioms that are not compatible with the axiom of choice, the axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced. A choice function is a function f, defined on a collection X of nonempty sets, each choice function on a collection X of nonempty sets is an element of the Cartesian product of the sets in X. The axiom of choice asserts the existence of elements, it is therefore equivalent to, Given any family of nonempty sets. In this article and other discussions of the Axiom of Choice the following abbreviations are common, ZF – Zermelo–Fraenkel set theory omitting the Axiom of Choice. ZFC – Zermelo–Fraenkel set theory, extended to include the Axiom of Choice, There are many other equivalent statements of the axiom of choice. These are equivalent in the sense that, in the presence of basic axioms of set theory. One variation avoids the use of functions by, in effect. Given any set X of pairwise disjoint non-empty sets, there exists at least one set C that contains one element in common with each of the sets in X. This guarantees for any partition of a set X the existence of a subset C of X containing exactly one element from each part of the partition. Another equivalent axiom only considers collections X that are essentially powersets of other sets, For any set A, authors who use this formulation often speak of the choice function on A, but be advised that this is a slightly different notion of choice function. With this alternate notion of function, the axiom of choice can be compactly stated as Every set has a choice function. Which is equivalent to For any set A there is a function f such that for any non-empty subset B of A, f lies in B. The negation of the axiom can thus be expressed as, There is a set A such that for all functions f, however, that particular case is a theorem of Zermelo–Fraenkel set theory without the axiom of choice, it is easily proved by mathematical induction
24.
Isomorphism
–
In mathematics, an isomorphism is a homomorphism or morphism that admits an inverse. Two mathematical objects are isomorphic if an isomorphism exists between them, an automorphism is an isomorphism whose source and target coincide. For most algebraic structures, including groups and rings, a homomorphism is an isomorphism if, in topology, where the morphisms are continuous functions, isomorphisms are also called homeomorphisms or bicontinuous functions. In mathematical analysis, where the morphisms are functions, isomorphisms are also called diffeomorphisms. A canonical isomorphism is a map that is an isomorphism. Two objects are said to be isomorphic if there is a canonical isomorphism between them. Isomorphisms are formalized using category theory, let R + be the multiplicative group of positive real numbers, and let R be the additive group of real numbers. The logarithm function log, R + → R satisfies log = log x + log y for all x, y ∈ R +, so it is a group homomorphism. The exponential function exp, R → R + satisfies exp = for all x, y ∈ R, the identities log exp x = x and exp log y = y show that log and exp are inverses of each other. Since log is a homomorphism that has an inverse that is also a homomorphism, because log is an isomorphism, it translates multiplication of positive real numbers into addition of real numbers. This facility makes it possible to real numbers using a ruler. Consider the group, the integers from 0 to 5 with addition modulo 6 and these structures are isomorphic under addition, if you identify them using the following scheme, ↦0 ↦1 ↦2 ↦3 ↦4 ↦5 or in general ↦ mod 6. For example, + =, which translates in the system as 1 +3 =4. Even though these two groups look different in that the sets contain different elements, they are indeed isomorphic, more generally, the direct product of two cyclic groups Z m and Z n is isomorphic to if and only if m and n are coprime. For example, R is an ordering ≤ and S an ordering ⊑, such an isomorphism is called an order isomorphism or an isotone isomorphism. If X = Y, then this is a relation-preserving automorphism, in a concrete category, such as the category of topological spaces or categories of algebraic objects like groups, rings, and modules, an isomorphism must be bijective on the underlying sets. In algebraic categories, an isomorphism is the same as a homomorphism which is bijective on underlying sets, in abstract algebra, two basic isomorphisms are defined, Group isomorphism, an isomorphism between groups Ring isomorphism, an isomorphism between rings. Just as the automorphisms of an algebraic structure form a group, letting a particular isomorphism identify the two structures turns this heap into a group
25.
Commutative ring
–
In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative. The study of rings is called commutative algebra. Complementarily, noncommutative algebra is the study of noncommutative rings where multiplication is not or is not required to be commutative. e, operations combining any two elements of the ring to a third. They are called addition and multiplication and commonly denoted by + and ⋅, e. g. a + b, the identity elements for addition and multiplication are denoted 0 and 1, respectively. If the multiplication is commutative, i. e. a ⋅ b = b ⋅ a, in the remainder of this article, all rings will be commutative, unless explicitly stated otherwise. An important example, and in some sense crucial, is the ring of integers Z with the two operations of addition and multiplication, as the multiplication of integers is a commutative operation, this is a commutative ring. It is usually denoted Z as an abbreviation of the German word Zahlen, a field is a commutative ring where every non-zero element a is invertible, i. e. has a multiplicative inverse b such that a ⋅ b =1. Therefore, by definition, any field is a commutative ring, the rational, real and complex numbers form fields. An example is the set of matrices of divided differences with respect to a set of nodes. If R is a commutative ring, then the set of all polynomials in the variable X whose coefficients are in R forms the polynomial ring. The same holds true for several variables, if V is some topological space, for example a subset of some Rn, real- or complex-valued continuous functions on V form a commutative ring. The same is true for differentiable or holomorphic functions, when the two concepts are defined, such as for V a complex manifold, in contrast to fields, where every nonzero element is multiplicatively invertible, the theory of rings is more complicated. There are several notions to cope with that situation, first, an element a of ring R is called a unit if it possesses a multiplicative inverse. Another particular type of element is the zero divisors, i. e. a non-zero element a such that there exists an element b of the ring such that ab =0. If R possesses no zero divisors, it is called an integral domain since it resembles the integers in some ways. Many of the following notions also exist for not necessarily commutative rings, for example, all ideals in a commutative ring are automatically two-sided, which simplifies the situation considerably. Given any subset F = j ∈ J of R, the ideal generated by F is the smallest ideal that contains F. Equivalently, an ideal generated by one element is called a principal ideal. A ring all of whose ideals are principal is called a principal ideal ring, any ring has two ideals, namely the zero ideal and R, the whole ring
26.
Endomorphism
–
In mathematics, an endomorphism is a morphism from a mathematical object to itself. For example, an endomorphism of a vector space V is a map, f, V → V. In general, we can talk about endomorphisms in any category, in the category of sets, endomorphisms are functions from a set S to itself. In any category, the composition of any two endomorphisms of X is again an endomorphism of X and it follows that the set of all endomorphisms of X forms a monoid, denoted End. An invertible endomorphism of X is called an automorphism, the set of all automorphisms is a subset of End with a group structure, called the automorphism group of X and denoted Aut. In the following diagram, the arrows denote implication, Any two endomorphisms of a group, A, can be added together by the rule = f + g. Under this addition, the endomorphisms of a group form a ring. For example, the set of endomorphisms of ℤn is the ring of all n × n matrices with integer entries, the endomorphisms of a vector space or module also form a ring, as do the endomorphisms of any object in a preadditive category. The endomorphisms of a nonabelian group generate an algebraic structure known as a near-ring, depending on the additional structure defined for the category at hand, such operators can have properties like continuity, boundedness, and so on. More details should be found in the article about operator theory, an endofunction is a function whose domain is equal to its codomain. A homomorphic endofunction is an endomorphism, let S be an arbitrary set. Among endofunctions on S one finds permutations of S and constant functions associating to each x ∈ S a given c ∈ S, every permutation of S has the codomain equal to its domain and is bijective and invertible. A constant function on S, if S has more than 1 element, has an image that is a subset of its codomain, is not bijective. The function associating to each natural integer n the floor of n/2 has its image equal to its codomain and is not invertible, finite endofunctions are equivalent to directed pseudoforests. For sets of n there are nn endofunctions on the set. Particular bijective endofunctions are the involutions, i. e. the functions coinciding with their inverses
27.
Group (mathematics)
–
In mathematics, a group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element. The operation satisfies four conditions called the group axioms, namely closure and it allows entities with highly diverse mathematical origins in abstract algebra and beyond to be handled in a flexible way while retaining their essential structural aspects. The ubiquity of groups in areas within and outside mathematics makes them a central organizing principle of contemporary mathematics. Groups share a kinship with the notion of symmetry. The concept of a group arose from the study of polynomial equations, after contributions from other fields such as number theory and geometry, the group notion was generalized and firmly established around 1870. Modern group theory—an active mathematical discipline—studies groups in their own right, to explore groups, mathematicians have devised various notions to break groups into smaller, better-understandable pieces, such as subgroups, quotient groups and simple groups. A theory has developed for finite groups, which culminated with the classification of finite simple groups. Since the mid-1980s, geometric group theory, which studies finitely generated groups as objects, has become a particularly active area in group theory. One of the most familiar groups is the set of integers Z which consists of the numbers, −4, −3, −2, −1,0,1,2,3,4. The following properties of integer addition serve as a model for the group axioms given in the definition below. For any two integers a and b, the sum a + b is also an integer and that is, addition of integers always yields an integer. This property is known as closure under addition, for all integers a, b and c, + c = a +. Expressed in words, adding a to b first, and then adding the result to c gives the final result as adding a to the sum of b and c. If a is any integer, then 0 + a = a +0 = a, zero is called the identity element of addition because adding it to any integer returns the same integer. For every integer a, there is a b such that a + b = b + a =0. The integer b is called the element of the integer a and is denoted −a. The integers, together with the operation +, form a mathematical object belonging to a class sharing similar structural aspects. To appropriately understand these structures as a collective, the abstract definition is developed
28.
Ring (mathematics)
–
In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two operations that generalize the arithmetic operations of addition and multiplication. Through this generalization, theorems from arithmetic are extended to non-numerical objects such as polynomials, series, matrices, the conceptualization of rings started in the 1870s and completed in the 1920s. Key contributors include Dedekind, Hilbert, Fraenkel, and Noether, rings were first formalized as a generalization of Dedekind domains that occur in number theory, and of polynomial rings and rings of invariants that occur in algebraic geometry and invariant theory. Afterward, they proved to be useful in other branches of mathematics such as geometry. A ring is a group with a second binary operation that is associative, is distributive over the abelian group operation. By extension from the integers, the group operation is called addition. Whether a ring is commutative or not has profound implications on its behavior as an abstract object, as a result, commutative ring theory, commonly known as commutative algebra, is a key topic in ring theory. Its development has greatly influenced by problems and ideas occurring naturally in algebraic number theory. The most familiar example of a ring is the set of all integers, Z, −5, −4, −3, −2, −1,0,1,2,3,4,5. The familiar properties for addition and multiplication of integers serve as a model for the axioms for rings, a ring is a set R equipped with two binary operations + and · satisfying the following three sets of axioms, called the ring axioms 1. R is a group under addition, meaning that, + c = a + for all a, b, c in R. a + b = b + a for all a, b in R. There is an element 0 in R such that a +0 = a for all a in R, for each a in R there exists −a in R such that a + =0. R is a monoid under multiplication, meaning that, · c = a · for all a, b, c in R. There is an element 1 in R such that a ·1 = a and 1 · a = a for all a in R.3. Multiplication is distributive with respect to addition, a ⋅ = + for all a, b, c in R. · a = + for all a, b, c in R. As explained in § History below, many follow a alternative convention in which a ring is not defined to have a multiplicative identity. This article adopts the convention that, unless stated, a ring is assumed to have such an identity
29.
Homomorphism
–
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type. The word homomorphism comes from the ancient Greek language, ὁμός meaning same, homomorphisms of vector spaces are also called linear maps, and their study is the object of linear algebra. The concept of homomorphism has been generalized, under the name of morphism, to other structures that either do not have a underlying set. This generalization is the point of category theory. Being an isomorphism, an automorphism, or an endomorphism is a property of some homomorphisms, a homomorphism is a map between two algebraic structures of the same type, that preserves the operations of the structures. One says often that f preserves the operation or is compatible with the operation, formally, a map f, A → B preserves an operation μ of arity k, defined on both A and B if f = μ B, for all elements a1. For example, A semigroup homomorphism is a map between semigroups that preserves the semigroup operation, a monoid homomorphism is a map between monoids that preserves the monoid operation and maps the identity element of the first monoid to that of the second monoid. A group homomorphism is a map between groups that preserves the group operation, thus a semigroup homomorphism between groups is necessarily a group homomorphism. A ring homomorphism is a map between rings that preserves the ring addition, the multiplication, and the multiplicative identity. Whether the multiplicative identity is to be preserved depends upon the definition of ring in use, if the multiplicative identity is not preserved, one has a rng homomorphism. A linear map is a homomorphism of vector space, That is a homomorphism between vector spaces that preserves the abelian group structure and scalar multiplication. A module homomorphism, also called a map between modules, is defined similarly. An algebra homomorphism is a map that preserves the algebra operations, an algebraic structure may have more than one operation, and a homomorphism is required to preserve each operation. Thus a map that preserves some of the operations is not a homomorphism of the structure. For example, a map between monoids that preserves the operation and not the identity element, is not a monoid homomorphism. The notation for the operations does not need to be the same in the source, for example, the real numbers form a group for addition, and the positive real numbers form a group for multiplication. The exponential function x ↦ e x e x + y = e x e y. It is even an isomorphism, as its function, the natural logarithm, satisfies ln = ln + ln
30.
Homeomorphism
–
In the mathematical field of topology, a homeomorphism or topological isomorphism or bi continuous function is a continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. The word homeomorphism comes from the Greek words ὅμοιος = similar and μορφή = shape, roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. A function f, X → Y between two spaces and is called a homeomorphism if it has the following properties, f is a bijection, f is continuous. A function with three properties is sometimes called bicontinuous. If such a function exists, we say X and Y are homeomorphic, a self-homeomorphism is a homeomorphism of a topological space and itself. The homeomorphisms form a relation on the class of all topological spaces. The resulting equivalence classes are called homeomorphism classes, the open interval is homeomorphic to the real numbers R for any a < b. The unit 2-disc D2 and the square in R2 are homeomorphic. An example of a mapping from the square to the disc is, in polar coordinates. The graph of a function is homeomorphic to the domain of the function. A differentiable parametrization of a curve is an homeomorphism between the domain of the parametrization and the curve, a chart of a manifold is an homeomorphism between an open subset of the manifold and an open subset of a Euclidean space. The stereographic projection is a homeomorphism between the sphere in R3 with a single point removed and the set of all points in R2. If G is a group, its inversion map x ↦ x −1 is a homeomorphism. Also, for any x ∈ G, the left translation y ↦ x y, the right translation y ↦ y x, rm and Rn are not homeomorphic for m ≠ n. The Euclidean real line is not homeomorphic to the circle as a subspace of R2, since the unit circle is compact as a subspace of Euclidean R2. The third requirement, that f −1 be continuous, is essential, consider for instance the function f, [0, 2π) → S1 defined by f =
31.
Differentiable manifold
–
In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a linear space to allow one to do calculus. Any manifold can be described by a collection of charts, also known as an atlas, one may then apply ideas from calculus while working within the individual charts, since each chart lies within a linear space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart, in formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a linear space. In other words, where the domains of overlap, the coordinates defined by each chart are required to be differentiable with respect to the coordinates defined by every chart in the atlas. The maps that relate the coordinates defined by the charts to one another are called transition maps. Differentiability means different things in different contexts including, continuously differentiable, k times differentiable, smooth, furthermore, the ability to induce such a differential structure on an abstract space allows one to extend the definition of differentiability to spaces without global coordinate systems. A differential structure allows one to define the globally differentiable tangent space, differentiable functions, differentiable manifolds are very important in physics. Special kinds of differentiable manifolds form the basis for theories such as classical mechanics, general relativity. It is possible to develop a calculus for differentiable manifolds and this leads to such mathematical machinery as the exterior calculus. The study of calculus on differentiable manifolds is known as differential geometry, the emergence of differential geometry as a distinct discipline is generally credited to Carl Friedrich Gauss and Bernhard Riemann. Riemann first described manifolds in his famous habilitation lecture before the faculty at Göttingen and these ideas found a key application in Einsteins theory of general relativity and its underlying equivalence principle. A modern definition of a 2-dimensional manifold was given by Hermann Weyl in his 1913 book on Riemann surfaces, the widely accepted general definition of a manifold in terms of an atlas is due to Hassler Whitney. A presentation of a manifold is a second countable Hausdorff space that is locally homeomorphic to a linear space. This formalizes the notion of patching together pieces of a space to make a manifold – the manifold produced also contains the data of how it has been patched together, However, different atlases may produce the same manifold, a manifold does not come with a preferred atlas. And, thus, one defines a manifold to be a space as above with an equivalence class of atlases. There are a number of different types of manifolds, depending on the precise differentiability requirements on the transition functions. Some common examples include the following, a differentiable manifold is a topological manifold equipped with an equivalence class of atlases whose transition maps are all differentiable
32.
Smoothness
–
In mathematical analysis, the smoothness of a function is a property measured by the number of derivatives it has which are continuous. A smooth function is a function that has derivatives of all orders everywhere in its domain, differentiability class is a classification of functions according to the properties of their derivatives. Higher order differentiability classes correspond to the existence of more derivatives, consider an open set on the real line and a function f defined on that set with real values. Let k be a non-negative integer, the function f is said to be of class Ck if the derivatives f′, f′′. The function f is said to be of class C∞, or smooth, if it has derivatives of all orders. The function f is said to be of class Cω, or analytic, if f is smooth, Cω is thus strictly contained in C∞. Bump functions are examples of functions in C∞ but not in Cω, to put it differently, the class C0 consists of all continuous functions. The class C1 consists of all differentiable functions whose derivative is continuous, thus, a C1 function is exactly a function whose derivative exists and is of class C0. In particular, Ck is contained in Ck−1 for every k, C∞, the class of infinitely differentiable functions, is the intersection of the sets Ck as k varies over the non-negative integers. The function f = { x if x ≥0,0 if x <0 is continuous, because cos oscillates as x →0, f ’ is not continuous at zero. Therefore, this function is differentiable but not of class C1, the functions f = | x | k +1 where k is even, are continuous and k times differentiable at all x. But at x =0 they are not times differentiable, so they are of class Ck, the exponential function is analytic, so, of class Cω. The trigonometric functions are also analytic wherever they are defined, the function f is an example of a smooth function with compact support. Let n and m be some positive integers, if f is a function from an open subset of Rn with values in Rm, then f has component functions f1. Each of these may or may not have partial derivatives, the classes C∞ and Cω are defined as before. These criteria of differentiability can be applied to the functions of a differential structure. The resulting space is called a Ck manifold, if one wishes to start with a coordinate-independent definition of the class Ck, one may start by considering maps between Banach spaces. A map from one Banach space to another is differentiable at a point if there is a map which approximates it at that point
33.
Diffeomorphism
–
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is a function that maps one differentiable manifold to another such that both the function and its inverse are smooth. Given two manifolds M and N, a map f, M → N is called a diffeomorphism if it is a bijection and its inverse f−1. If these functions are r times continuously differentiable, f is called a Cr-diffeomorphism, two manifolds M and N are diffeomorphic if there is a diffeomorphism f from M to N. They are Cr diffeomorphic if there is an r times continuously differentiable bijective map between them whose inverse is also r times continuously differentiable, F is said to be a diffeomorphism if it is bijective, smooth and its inverse is smooth. First remark It is essential for V to be connected for the function f to be globally invertible. g. Second remark Since the differential at a point D f x, T x U → T f V is a map, it has a well-defined inverse if. The matrix representation of Dfx is the n × n matrix of partial derivatives whose entry in the i-th row. This so-called Jacobian matrix is used for explicit computations. Third remark Diffeomorphisms are necessarily between manifolds of the same dimension, imagine f going from dimension n to dimension k. If n < k then Dfx could never be surjective, in both cases, therefore, Dfx fails to be a bijection. Fourth remark If Dfx is a bijection at x then f is said to be a local diffeomorphism. Fifth remark Given a smooth map from dimension n to k, if Df is surjective, f is said to be a submersion. Sixth remark A differentiable bijection is not necessarily a diffeomorphism, F = x3, for example, is not a diffeomorphism from R to itself because its derivative vanishes at 0. This is an example of a homeomorphism that is not a diffeomorphism, seventh remark When f is a map between differentiable manifolds, a diffeomorphic f is a stronger condition than a homeomorphic f. For a diffeomorphism, f and its inverse need to be differentiable, for a homeomorphism, f, every diffeomorphism is a homeomorphism, but not every homeomorphism is a diffeomorphism. F, M → N is called a diffeomorphism if, in coordinate charts, more precisely, Pick any cover of M by compatible coordinate charts and do the same for N. Let φ and ψ be charts on, respectively, M and N, with U and V as, respectively, the map ψfφ−1, U → V is then a diffeomorphism as in the definition above, whenever f ⊂ ψ−1