Local property

Last updated

In mathematics, a mathematical object is said to satisfy a property locally, if the property is satisfied on some limited, immediate portions of the object (e.g., on some sufficiently small or arbitrarily small neighborhoods of points).

Contents

Properties of a point on a function

Perhaps the best-known example of the idea of locality lies in the concept of local minimum (or local maximum), which is a point in a function whose functional value is the smallest (resp., largest) within an immediate neighborhood of points. [1] This is to be contrasted with the idea of global minimum (or global maximum), which corresponds to the minimum (resp., maximum) of the function across its entire domain. [2] [3]

Properties of a single space

A topological space is sometimes said to exhibit a property locally, if the property is exhibited "near" each point in one of the following ways:

  1. Each point has a neighborhood exhibiting the property;
  2. Each point has a neighborhood base of sets exhibiting the property.

Here, note that condition (2) is for the most part stronger than condition (1), and that extra caution should be taken to distinguish between the two. For example, some variation in the definition of locally compact can arise as a result of the different choices of these conditions.

Examples

Properties of a pair of spaces

Given some notion of equivalence (e.g., homeomorphism, diffeomorphism, isometry) between topological spaces, two spaces are said to be locally equivalent if every point of the first space has a neighborhood which is equivalent to a neighborhood of the second space.

For instance, the circle and the line are very different objects. One cannot stretch the circle to look like the line, nor compress the line to fit on the circle without gaps or overlaps. However, a small piece of the circle can be stretched and flattened out to look like a small piece of the line. For this reason, one may say that the circle and the line are locally equivalent.

Similarly, the sphere and the plane are locally equivalent. A small enough observer standing on the surface of a sphere (e.g., a person and the Earth) would find it indistinguishable from a plane.

Properties of infinite groups

For an infinite group, a "small neighborhood" is taken to be a finitely generated subgroup. An infinite group is said to be locally P if every finitely generated subgroup is P. For instance, a group is locally finite if every finitely generated subgroup is finite, and a group is locally soluble if every finitely generated subgroup is soluble.

Properties of finite groups

For finite groups, a "small neighborhood" is taken to be a subgroup defined in terms of a prime number p, usually the local subgroups, the normalizers of the nontrivial p-subgroups. In which case, a property is said to be local if it can be detected from the local subgroups. Global and local properties formed a significant portion of the early work on the classification of finite simple groups, which was carried out during the 1960s.

Properties of commutative rings

For commutative rings, ideas of algebraic geometry make it natural to take a "small neighborhood" of a ring to be the localization at a prime ideal. In which case, a property is said to be local if it can be detected from the local rings. For instance, being a flat module over a commutative ring is a local property, but being a free module is not. For more, see Localization of a module.

See also

Related Research Articles

<span class="mw-page-title-main">Compact space</span> Type of mathematical space

In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers is not compact either, because it excludes the two limiting values and . However, the extended real number linewould be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces.

<span class="mw-page-title-main">Connected space</span> Topological space that is connected

In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that are used to distinguish topological spaces.

In commutative algebra, the prime spectrum of a commutative ring R is the set of all prime ideals of R, and is usually denoted by ; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .

<span class="mw-page-title-main">Topological group</span> Group that is a topological space with continuous group action

In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures together and consequently they are not independent from each other.

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.

In mathematics, more specifically in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on algebraic varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules.

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra.

Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions, possibly in some generalized sense. A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which does not always equal ; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions.

In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type.

In mathematics, a free module is a module that has a basis, that is, a generating set consisting of linearly independent elements. Every vector space is a free module, but, if the ring of the coefficients is not a division ring, then there exist non-free modules.

In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules over a ring, keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below.

In mathematics, specifically abstract algebra, an Artinian ring is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields. The definition of Artinian rings may be restated by interchanging the descending chain condition with an equivalent notion: the minimum condition.

<span class="mw-page-title-main">Group scheme</span>

In mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The category of group schemes is somewhat better behaved than that of group varieties, since all homomorphisms have kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The initial development of the theory of group schemes was due to Alexander Grothendieck, Michel Raynaud and Michel Demazure in the early 1960s.

In mathematics, a locally compact group is a topological group G for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are locally compact and such groups have a natural measure called the Haar measure. This allows one to define integrals of Borel measurable functions on G so that standard analysis notions such as the Fourier transform and spaces can be generalized.

<span class="mw-page-title-main">Space (mathematics)</span> Mathematical set with some added structure

In mathematics, a space is a set with some added structure. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself.

In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions R on a space X concentrates on a formal neighborhood of a point of X: heuristically, this is a neighborhood so small that all Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in the case when R has a metric given by a non-Archimedean absolute value.

This is a glossary of algebraic geometry.

This is a glossary of commutative algebra.

References

  1. ↑ "Definition of local-maximum | Dictionary.com". www.dictionary.com. Retrieved 2019-11-30.
  2. ↑ Weisstein, Eric W. "Local Minimum". mathworld.wolfram.com. Retrieved 2019-11-30.
  3. ↑ "Maxima, minima, and saddle points". Khan Academy. Retrieved 2019-11-30.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.