Loading [MathJax]/extensions/TeX/boldsymbol.js
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

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.

2021-03-02 4.35.33.png

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\emptyset es un conjunto poligonal. En efecto,\emptyset 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\blacktriangle AXB\cup \blacktriangle BYA es un conjunto poligonal que se llama cuadrilátero sólidoAXBY y denotado por\blacksquare AXBY. En particular, podemos hablar de paralelogramos sólidos, rectángulos y cuadrados.

2021-03-02 4.37.51.png

Por lo general, un conjunto poligonal admite muchas presentaciones como una unión de una colección finita de conjuntos elementales. Por ejemplo, si\square AXBY es un paralelogramo, entonces

\blacksquare AXBY=\blacktriangle AXB\cup \blacktriangle AYB=\blacktriangle XAY\cup \blacktriangle XBY.

Ejercicio\PageIndex{1}

Demostrar que un cuadrado sólido no es degenerado.

Sugerencia

Supongamos lo contrario: es decir, un cuadrado sólido\mathcal{Q} puede presentarse como una unión de una colección finita de segmentos[A_1B_1], \dots, [A_nB_n] y conjuntos de un punto\{C_1\}, \dots, \{C_k\}.

Tenga en cuenta que\mathcal{Q} contiene un número infinito de segmentos mutuamente no paralelos. Por lo tanto, podemos elegir un segmento[PQ] en\mathcal{Q} que no sea paralelo a ninguno de los segmentos[A_1B_1], \dots, [A_nB_n].

De ello se deduce que[PQ] tiene a lo sumo un punto común con cada uno de los conjuntos[A_iB_i] y\{C_i\}. Ya que[PQ] contiene número infinito de puntos, llegamos a una contradicción.

Ejercicio\PageIndex{2}

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.

Reclamación\PageIndex{1}

Para cualquiera de dos conjuntos poligonales\mathcal{P} y\mathcal{Q}, la unión así\mathcal{P}\cup\mathcal{Q} como la intersección también\mathcal{P} \cap \mathcal{Q} son conjuntos poligonales.

Prueba

Presentemos\mathcal{P} y\mathcal{Q} como una unión de colección finita de conjuntos elementales\mathcal{P}_1,\dots,\mathcal{P}_k y\mathcal{Q}_1,\dots,\mathcal{Q}_n respectivamente.

2021-03-02 4.40.09.png

Tenga en cuenta que

\mathcal{P}\cup\mathcal{Q} = \mathcal{P}_1 \cup \dots \cup \mathcal{P}_k \cup \mathcal{Q}_1 \cup \dots \cup \mathcal{Q}_n.

Por lo tanto,\mathcal{P}\cup\mathcal{Q} es poligonal.

Tenga en cuenta que\mathcal{P}\cap \mathcal{Q} es la unión de conjuntos\mathcal{P}_i\cap \mathcal{Q}_j para todosi yj. Por lo tanto, para mostrar que\mathcal{P}\cap \mathcal{Q} es poligonal, basta con mostrar que cada uno\mathcal{P}_i\cap \mathcal{Q}_j es poligonal para cualquier pari,j.

El diagrama debe sugerir una idea para la prueba de esta última afirmación en caso\mathcal{P}_i de\mathcal{Q}_j 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.


This page titled 20.2: Conjuntos poligonales is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?