Vés al contingut

Semiespai

De la Viquipèdia, l'enciclopèdia lliure

En geometria, un semiespai és qualsevol de les dues parts en les quals un pla divideix l'espai euclidià tridimensional. Més generalment, un semiespai és qualsevol de les dues parts en les quals un hiperplà divideix un espai afí. És a dir, els punts que no són incidents a l'hiperplà són particionats en dos conjunts convexos (és a dir, semiespais) tals que qualsevol subespai que connecta un punt d'un conjunt a un punt de l'altre ha d'intersecar l'hiperplà.

Un semiespai pot ser o bé obert o bé tancat. Un semiespai obert és qualsevol dels dos conjunts oberts produïts per la sostracció d'un hiperplà de l'espai afí. Un semiespai tancat, d'altra banda, és la unió d'un semiespai obert i l'hiperplà que el defineix.

Si l'espai és bidimensional, llavors el semiespai s'anomena semiplà (obert o tancat). Un semiespai en l'espai unidimensional s'anomena raig.

Definició a partir d'una inequació

[modifica]

Un semiespai es pot definir a partir d'una inequació lineal, derivada de l'equació lineal que especifica l'hiperplà que el conforma. Una desigualtat (inequació) lineal estricta defineix un semiespai obert:

Una no estrica defineix, d'altra banda, un semiespai tancat:

Aquí s'assumeix que no tots els nombres reals a1, a₂, ..., an són zero.

Propietats

[modifica]
  • Un semiespai és un conjunt convex
  • Qualsevol conjunt convex es pot descriure com la intersecció (possiblement infinita) de semiespais

Semiespais superior i inferior

[modifica]

El semiespai superior és el semiespai de tot (x1, x₂, ..., xn) tal que xn > 0 (≥ 0). El semiespai inferior es defineix de manera similar, però requereix que xn siguin no positius.

Vegeu també

[modifica]

Enllaços externs

[modifica]