Un conjunto abierto, en topología y otras ramas de las matemáticas, es un conjunto en el que todos y cada uno de sus elementos están rodeados por elementos que también pertenecen al conjunto; o, dicho de una manera más intuitiva, que ningún elemento de dicho conjunto pertenece también a la frontera de éste. En términos más rigurosos se dice que en cualquier elemento del conjunto puede centrarse una bola abierta que está totalmente contenida en el conjunto. Se puede generalizar el concepto de ‘bola’ como los elementos que están muy cerca de otro en cualquier dirección, rodeándolo, pero para ello es necesario definir una función distancia que permita evaluar la lejanía o cercanía entre los objetos del conjunto, constituyendo así un espacio métrico —un conjunto más una definición de distancia en él—. Como ejemplo típico se puede evaluar el intervalo abierto (0, 1) en los números reales (), que se corresponde con todos los números entre 0 y 1 pero sin incluir estos, es decir, todos los números reales x con 0 < x < 1. Pues bien, intuitivamente se dice que es un conjunto abierto porque, para cualquier número x que pertenezca al conjunto, por mucho que pretendamos acercarnos a la frontera del conjunto —0 y 1—, siempre hay más elementos entre dicho número x y la frontera. Por ejemplo, si evaluamos el punto 0.9, entre este y el 1 está el 0,99, por ejemplo; al igual que entre 0,99 y 1 está el 0,999; y así sucesivamente. Siempre hay más números entre cualquier elemento del conjunto y la frontera, y es por tanto ‘abierto’. Sin embargo, en el conjunto cerrado [0, 1] entre el elemento 1 y la frontera del intervalo —que también es 1— no existen más elementos, por lo que se deduce que es en conjunto ‘cerrado’. O valorando la explicación más rigurosa, el espacio métrico en el caso del intervalo (0, 1), denotado como (, d), es el constituido por: \n* Los elementos que pertenecen a los números reales (), esto es, desde a . \n* La función distancia que, usando la distancia euclídea (d), se define como el valor absoluto de la resta . De esta manera en todo número x del conjunto (0, 1) puede centrarse una bola que está incluida dentro del conjunto; puesto que en la recta real una bola abierta centrada en un número x se corresponde con otro intervalo de la forma (x - ε, x + ε), donde epsilon es una cantidad muy pequeña, todo lo que se quiera. Así, una bola centrada en 0,9 estará dentro del conjunto, así como en 0,99 o en 0,999999, pues siempre habrá un epsilon de separación entre el punto y la frontera. Por el contrario en el conjunto cerrado [0, 1], una bola centrada en el elemento 1 quedará parcialmente fuera del conjunto. Observe que el que un conjunto dado U sea abierto depende del espacio circundante, el "cuarto de juegos". Por ejemplo, el conjunto de los números racionales entre 0 y 1 (exclusivo) es abierto en los números racionales, pero no es abierto en los números reales. Observe también que "abierto" no es el contrario de cerrado. Primero, existen conjuntos que son ambos abiertos y cerrados, llamados conjuntos clopen, como por ejemplo el conjunto de los números racionales más pequeños que √2 en los números racionales. Segundo, hay conjuntos que no son abiertos ni cerrados, como por ejemplo (0, 1] en R.

Leer el artículo completo en Wikipedia · CC-BY-SA

In topology, an open set is an abstract concept generalizing the idea of an open interval in the real line. The simplest example is in metric spaces, where open sets can be defined as those sets which contain an open ball around each of their points (or, equivalently, a set is open if it doesn't contain any of its boundary points); however, an open set, in general, can be very abstract: any collection of sets can be called open, as long as the union of an arbitrary number of open sets is open, the intersection of a finite number of open sets is open, and the space itself is open. These conditions are very loose, and they allow enormous flexibility in the choice of open sets. In the two extremes, every set can be open (called the discrete topology), or no set can be open but the space itself and the empty set (the indiscrete topology). In practice, however, open sets are usually chosen to be similar to the open intervals of the real line. The notion of an open set provides a fundamental way to speak of nearness of points in a topological space, without explicitly having a concept of distance defined. Once a choice of open sets is made, the properties of continuity, connectedness, and compactness, which use notions of nearness, can be defined using these open sets. Each choice of open sets for a space is called a topology. Although open sets and the topologies that they comprise are of central importance in point-set topology, they are also used as an organizational tool in other important branches of mathematics. Examples of topologies include the Zariski topology in algebraic geometry that reflects the algebraic nature of varieties, and the topology on a differential manifold in differential topology where each point within the space is contained in an open set that is homeomorphic to an open ball in a finite-dimensional Euclidean space.

Leer el artículo completo en Wikipedia · CC-BY-SA