Semiespai

De Viquipèdia
Dreceres ràpides: navegació, cerca

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 convexs (é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 | modifica el codi]

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:

a_1x_1+a_2x_2+\cdots+a_nx_n>b

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

a_1x_1+a_2x_2+\cdots+a_nx_n\geq b

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

Propietats[modifica | modifica el codi]

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

Semiespais superior i inferior[modifica | modifica el codi]

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

Vegeu també[modifica | modifica el codi]

Enllaços externs[modifica | modifica el codi]