20.2: Conjuntos poligonales
( \newcommand{\kernel}{\mathrm{null}\,}\)
El conjunto elemental en el plano es un conjunto de uno de los siguientes tres tipos:
- conjunto de un punto;
- segmento;
- triángulo sólido.
Un conjunto en el plano se llama poligonal si se puede presentar como una unión de una colección finita de conjuntos elementales.
Tenga en cuenta que de acuerdo con esta definición, el conjunto vacío∅ es un conjunto poligonal. En efecto,∅ es una unión de una colección vacía de conjuntos elementales.
Un conjunto poligonal se llama degenerado si se puede presentar como unión de número finito de conjuntos de un punto y segmentos.
SiX yY se encuentran en lados opuestos de la línea(AB), entonces la unión▴AXB∪▴BYA es un conjunto poligonal que se llama cuadrilátero sólidoAXBY y denotado por◼AXBY. En particular, podemos hablar de paralelogramos sólidos, rectángulos y cuadrados.
Por lo general, un conjunto poligonal admite muchas presentaciones como una unión de una colección finita de conjuntos elementales. Por ejemplo, si◻AXBY es un paralelogramo, entonces
◼AXBY=▴AXB∪▴AYB=▴XAY∪▴XBY.
Demostrar que un cuadrado sólido no es degenerado.
- Sugerencia
-
Supongamos lo contrario: es decir, un cuadrado sólidoQ puede presentarse como una unión de una colección finita de segmentos[A1B1],…,[AnBn] y conjuntos de un punto{C1},…,{Ck}.
Tenga en cuenta queQ contiene un número infinito de segmentos mutuamente no paralelos. Por lo tanto, podemos elegir un segmento[PQ] enQ que no sea paralelo a ninguno de los segmentos[A1B1],…,[AnBn].
De ello se deduce que[PQ] tiene a lo sumo un punto común con cada uno de los conjuntos[AiBi] y{Ci}. Ya que[PQ] contiene número infinito de puntos, llegamos a una contradicción.
Mostrar que un círculo no es un conjunto poligonal.
- Sugerencia
-
Primero tenga en cuenta que entre los conjuntos elementales solo los conjuntos de un punto pueden ser subconjuntos del círculo a. Queda por señalar que cualquier círculo contiene un número infinito de puntos.
Para cualquiera de dos conjuntos poligonalesP yQ, la unión asíP∪Q como la intersección tambiénP∩Q son conjuntos poligonales.
- Prueba
-
PresentemosP yQ como una unión de colección finita de conjuntos elementalesP1,…,Pk yQ1,…,Qn respectivamente.
Tenga en cuenta que
P∪Q=P1∪⋯∪Pk∪Q1∪⋯∪Qn.
Por lo tanto,P∪Q es poligonal.
Tenga en cuenta queP∩Q es la unión de conjuntosPi∩Qj para todosi yj. Por lo tanto, para mostrar queP∩Q es poligonal, basta con mostrar que cada unoPi∩Qj es poligonal para cualquier pari,j.
El diagrama debe sugerir una idea para la prueba de esta última afirmación en casoPi deQj que sean triángulos sólidos. Los otros casos son más simples; se puede construir una prueba formal sobre el Ejercicio 20.1.1.
Una clase de conjuntos que está cerrada con respecto a la unión y la intersección se denomina anillo de conjuntos. El reclamo anterior, por lo tanto, establece que los conjuntos poligonales en el plano forman un anillo de conjuntos.