HOME

TheInfoList



OR:

In the
mathematical Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
field of
topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing h ...
a uniform isomorphism or is a special
isomorphism In mathematics, an isomorphism is a structure-preserving mapping 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 ...
between
uniform spaces In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and unif ...
that respects uniform properties. Uniform spaces with uniform maps form a category. An
isomorphism In mathematics, an isomorphism is a structure-preserving mapping 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 ...
between uniform spaces is called a uniform isomorphism.


Definition

A function f between two uniform spaces X and Y is called a uniform isomorphism if it satisfies the following properties * f is a
bijection In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other ...
* f is
uniformly continuous In mathematics, a real function f of real numbers is said to be uniformly continuous if there is a positive real number \delta such that function values over any function domain interval of the size \delta are as close to each other as we want. In ...
* the
inverse function In mathematics, the inverse function of a function (also called the inverse of ) is a function that undoes the operation of . The inverse of exists if and only if is bijective, and if it exists, is denoted by f^ . For a function f\colon ...
f^ is uniformly continuous In other words, a uniform isomorphism is a
uniformly continuous In mathematics, a real function f of real numbers is said to be uniformly continuous if there is a positive real number \delta such that function values over any function domain interval of the size \delta are as close to each other as we want. In ...
bijection In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other ...
between
uniform spaces In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and unif ...
whose inverse is also uniformly continuous. If a uniform isomorphism exists between two uniform spaces they are called or . Uniform embeddings A is an injective uniformly continuous map i : X \to Y between uniform spaces whose inverse i^ : i(X) \to X is also uniformly continuous, where the image i(X) has the subspace uniformity inherited from Y.


Examples

The uniform structures induced by equivalent norms on a vector space are uniformly isomorphic.


See also

* — an isomorphism between
topological spaces In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poin ...
* — an isomorphism between
metric spaces In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...


References

*
John L. Kelley John L. Kelley (December 6, 1916, Kansas – November 26, 1999, Berkeley, California) was an American mathematician at the University of California, Berkeley, who worked in general topology and functional analysis. Kelley's 1955 text, ''General ...
, ''General topology'', van Nostrand, 1955. P.181. Homeomorphisms Uniform spaces {{topology-stub