Environment is a mathematical term from topology that is used in many areas. It is a generalization of the concept of environment from analysis and specifies the colloquial concept of “environment” for mathematical use.
Mathematical properties related to a certain environment are called local , as opposed to global .
Environments in metric spaces
In a metric space , the concept of the environment results from the metric : The so-called environments are defined . For every point in space and every positive real number (epsilon) is defined:
The so defined -environment of is also called an open -ball around or open ball. A subset of is now just then a neighborhood of the point when an environment of contains.
Equivalently, the concept of environment can also be defined directly in metric spaces without using the concept of an environment :
- A set is called neighborhood of if and only if there is one such that the property is satisfied for all with .
With quantifiers , the situation can also be expressed as follows:
- The definition of the metric turns the set of real numbers into a metric space. The neighborhood of a number is the open interval .
- The set of complex numbers also becomes metric space. The -surrounding of a number is the open circular disk around the radius .
- Somewhat more generally, all -dimensional real vector spaces have a metric through the usual ( Euclidean norm- induced) distance concept. The environments are here dimensional spheres (in the geometric sense) with a radius . This motivates the more general way of speaking of -balls in other metric spaces as well.
- An important example from real analysis : The space of restricted functions on a real interval becomes a metric space through the supremum norm . The environment of a restricted function on consists of all functions that approximate point by point with a smaller deviation than . Clear: The diagrams of all of these functions lie within a " tube" around the diagram from .
For example, take the following amount :
This set is a neighborhood of because it is a superset of for one :
Environments in topological spaces
A topological space is given. To each point belongs the set of its surroundings. These are primarily the open sets that contain as elements. They are called open environments of. In addition, there are all sets that contain an open environment of as a subset. This means around so if there is an open set in then, is, applies to the
A subset of is called a neighborhood base of , or base of if each neighborhood of contains an element of as a subset. The open surroundings of a point always form the basis of its environmental system. Another example is the neighborhoods of a point in a metric space. Likewise in the squares with the center and positive side length.
A subset of a topological space is around the amount , if an open set with exists.
The following properties apply to the environments:
- Is , then applies . (Every neighborhood of a point contains the point.)
- Is and so is . (Every superset of a neighborhood of a point is again neighborhood of the point.)
- Is and , so also applies . (The intersection of two neighborhoods of a point is again the neighborhood of the point. This means that the intersection of a finite set of neighborhoods of a point is again the neighborhood of the point.)
- For each there is one , so that applies to each . (The neighborhood of a point can at the same time be the neighborhood of other points contained in it. In general, a neighborhood of a point is not the neighborhood of all points contained in it, but it contains another neighborhood of , so that the neighborhood of all points is in.
These four properties are also called Hausdorff's environmental axioms and form the first historical formalization of the concept of topological space.
Conversely, if one assigns a set system that fulfills the above conditions to each point of a set , then there is a clearly determined topology , so that for each point the system is the surrounding system of . For example, the environments defined above in metric spaces fulfill conditions 1 to 4 and thus clearly define a topology on the set : the topology induced by the metric. Different metrics can induce the same concept of environment and thus the same topology.
In this case a set is open if and only if it contains a neighborhood of this point with each of its points. (This sentence motivates the use of the word “open” for the mathematical term defined above: Each point takes its nearest neighbors with it into the open set; clearly speaking, none is “on the edge” of the set.)
A dotted environment of a point arises from an environment by removing the point , that is
Dotted environments play a role in particular when defining the limit value of a function , as well as in function theory when considering path integrals of holomorphic functions.
In a metric space , a dotted neighborhood looks like this :
- Querenburg: Set theoretical topology. 1979, p. 20.
- Harro Heuser : Textbook of Analysis. Part 1. 8th revised edition. Teubner, Stuttgart a. a. 1990, ISBN 3-519-12231-6 , p. 236 (mathematical guides) .