|
Hahn Series
In mathematics, Hahn series (sometimes also known as Hahn–Mal'cev–Neumann series) are a type of formal series, formal infinite series. They are a generalization of Puiseux series (themselves a generalization of formal power series) and were first introduced by Hans Hahn (mathematician), Hans Hahn in 1907 (and then further generalized by Anatoly Maltsev and Bernhard Neumann to a non-commutative setting). They allow for arbitrary exponents of the Indeterminate (variable), indeterminate so long as the set supporting them forms a well-ordered subset of the Valuation (algebra), value group (typically \mathbb or \mathbb). Hahn series were first introduced, as groups, in the course of the mathematical proof, proof of the Hahn embedding theorem and then studied by him in relation to Hilbert's second problem. Formulation The field (mathematics), field of Hahn series K\left[\left[T^\Gamma\right]\right] (in the indeterminate T) over a field K and with value group \Gamma (an ordered group) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spherically Complete Field
In mathematics, a field ''K'' with an absolute value is called spherically complete if the intersection of every decreasing sequence of balls (in the sense of the metric induced by the absolute value) is nonempty: :B_1\supseteq B_2\supseteq \cdots \Rightarrow\bigcap_ B_n\neq \empty. The definition can be adapted also to a field ''K'' with a valuation ''v'' taking values in an arbitrary ordered abelian group: (''K'',''v'') is spherically complete if every collection of balls that is totally ordered by inclusion has a nonempty intersection. Spherically complete fields are important in nonarchimedean functional analysis, since many results analogous to theorems of classical functional analysis require the base field to be spherically complete. Examples *Any locally compact field is spherically complete. This includes, in particular, the fields Q''p'' of p-adic numbers, and any of their finite extensions. *Every spherically complete field is complete. On the other hand, C''p'', ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordered Field
In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Basic examples of ordered fields are the rational numbers and the real numbers, both with their standard orderings. Every subfield of an ordered field is also an ordered field in the inherited order. Every ordered field contains an ordered subfield that is isomorphic to the rational numbers. Every Dedekind-complete ordered field is isomorphic to the reals. Squares are necessarily non-negative in an ordered field. This implies that the complex numbers cannot be ordered since the square of the imaginary unit ''i'' is (which is negative in any ordered field). Finite fields cannot be ordered. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by mathematicians including David Hilbert, Otto Hölder and Hans Hahn. This grew eventually into the Artin–Schreier theory of ordered fields and f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Closure
In mathematics, particularly abstract algebra, an algebraic closure of a field ''K'' is an algebraic extension of ''K'' that is algebraically closed. It is one of many closures in mathematics. Using Zorn's lemmaMcCarthy (1991) p.21Kaplansky (1972) pp.74-76 or the weaker ultrafilter lemma, it can be shown that every field has an algebraic closure, and that the algebraic closure of a field ''K'' is unique up to an isomorphism that fixes every member of ''K''. Because of this essential uniqueness, we often speak of ''the'' algebraic closure of ''K'', rather than ''an'' algebraic closure of ''K''. The algebraic closure of a field ''K'' can be thought of as the largest algebraic extension of ''K''. To see this, note that if ''L'' is any algebraic extension of ''K'', then the algebraic closure of ''L'' is also an algebraic closure of ''K'', and so ''L'' is contained within the algebraic closure of ''K''. The algebraic closure of ''K'' is also the smallest algebraically closed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Divisible Group
In mathematics, specifically in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every element is an ''n''th multiple for each positive integer ''n''. Divisible groups are important in understanding the structure of abelian groups, especially because they are the injective abelian groups. Definition An abelian group (G, +) is divisible if, for every positive integer n and every g \in G, there exists y \in G such that ny=g. An equivalent condition is: for any positive integer n, nG=G, since the existence of y for every n and g implies that n G\supseteq G, and the other direction n G\subseteq G is true for every group. A third equivalent condition is that an abelian group G is divisible if and only if G is an injective object in the category of abelian groups; for this reason, a divisible group is sometimes called an injective group. An abelian group is p-divisible ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraically Closed Field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . In other words, a field is algebraically closed if the fundamental theorem of algebra holds for it. Every field K is contained in an algebraically closed field C, and the roots in C of the polynomials with coefficients in K form an algebraically closed field called an algebraic closure of K. Given two algebraic closures of K there are isomorphisms between them that fix the elements of K. Algebraically closed fields appear in the following chain of class inclusions: Examples As an example, the field of real numbers is not algebraically closed, because the polynomial equation x^2+1=0 has no solution in real numbers, even though all its coefficients (1 and 0) are real. The same argument proves that no subfield of the real field is algebraically closed; in particular, the field of rational numbers is not algebraically cl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Laurent Series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.). A formal power series is a special kind of formal series, of the form \sum_^\infty a_nx^n=a_0+a_1x+ a_2x^2+\cdots, where the a_n, called ''coefficients'', are numbers or, more generally, elements of some ring, and the x^n are formal powers of the symbol x that is called an indeterminate or, commonly, a variable. Hence, power series can be viewed as a generalization of polynomials where the number of terms is allowed to be infinite, and differ from usual power series by the absence of convergence requirements, which implies that a power series may not represent a function of its variable. Formal power series are in one to one correspondence with their sequences of coefficients, but the two concepts must not be confused, sin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Metric Space
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence of points in has a limit that is also in . Intuitively, a space is complete if there are no "points missing" from it (inside or at the boundary). For instance, the set of rational numbers is not complete, because e.g. \sqrt is "missing" from it, even though one can construct a Cauchy sequence of rational numbers that converges to it (see further examples below). It is always possible to "fill all the holes", leading to the ''completion'' of a given space, as explained below. Definition Cauchy sequence A sequence x_1, x_2, x_3, \ldots of elements from X of a metric space (X, d) is called Cauchy if for every positive real number r > 0 there is a positive integer N such that for all positive integers m, n > N, d(x_m, x_n) < r. Complete space A metric space is complete if any of the following equivalent conditions are satisfied: #Every Cauchy seq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ultrametric Space
In mathematics, an ultrametric space is a metric space in which the triangle inequality is strengthened to d(x,z)\leq\max\left\ for all x, y, and z. Sometimes the associated metric is also called a non-Archimedean metric or super-metric. Formal definition An ultrametric on a Set (mathematics), set is a Real number, real-valued function :d\colon M \times M \rightarrow \mathbb (where denote the real numbers), such that for all : # ; # (''symmetry''); # ; # if then ; # (strong triangle inequality or ultrametric inequality). An ultrametric space is a pair consisting of a set together with an ultrametric on , which is called the space's associated distance function (also called a metric (mathematics), metric). If satisfies all of the conditions except possibly condition 4, then is called an ultrapseudometric on . An ultrapseudometric space is a pair consisting of a set and an ultrapseudometric on . In the case when is an Abelian group (written additively) and is ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a topological space is a Set (mathematics), set whose elements are called Point (geometry), points, along with an additional structure called a topology, which can be defined as a set of Neighbourhood (mathematics), neighbourhoods for each point that satisfy some Axiom#Non-logical axioms, axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a space (mathematics), mathematical space that allows for the definition of Limit (mathematics), limits, Continuous function (topology), continuity, and Connected space, connectedness. Common types ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphism
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is derived . The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may often be identified. In mathematical jargon, one says that two objects are the same up to an isomorphism. A common example where isomorphic structures cannot be identified is when the structures are substructures of a larger one. For example, all subspaces of dimension one of a vector space are isomorphic and cannot be identified. An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
