Elemento absorvente

Em matemática, um elemento absorvente é um tipo especial de elemento de um conjunto com relação a uma operação binária naquele conjunto. O resultado de combinar um elemento absorvente com qualquer elemento do conjunto é o próprio elemento absorvente. Na teoria de semigrupos, o elemento absorvente é chamado de elemento zero[1][2] porque não há risco de confusão com outras noções de zero. Neste artigo as duas noções são tratadas como sinônimos. Um elemento absorvente também pode ser chamado de elemento anulador.

Definição

Formalmente, seja (S, ∘) um conjunto S com uma operação binária fechada ∘ sobre ele (conhecido como um magma). Um elemento zero é um elemento z tal que, para todo s em S, zs=sz=z. Um refinamento[2] são as noções de zero à esquerda, em que só é exigido que zs=z, e de zero à direita, em que sz=z.

Elementos absorventes são particularmente interessantes para semigrupos, especialmente o semigrupo multiplicativo de um semianel. No caso de um semigrupo com 0, a definição de um elemento absorvente às vezes é relaxada para não exigir que o 0 seja absorvido; caso contrário, o 0 seria o único elemento absorvente.[3]

Propriedades

  • Se um magma tem tanto um zero à esquerda z {\displaystyle z} quanto um zero à direita z , {\displaystyle z',} então ele tem um zero, pois z = z × z = z . {\displaystyle z=z\times z'=z'.}
  • Se um magma tem um elemento zero, então o elemento zero é único.

Exemplos

  • O exemplo mais bem conhecido de um elemento absorvente em álgebra aparece na multiplicação, em que todo número multiplicado por zero é igual a zero. Assim o zero um elemento absorvente.
  • A aritmética de ponto flutuante, conforme definida no padrão IEEE-754 contém um valor especial chamado de Not-a-Number ("NaN"). Ele é um elemento absorvente para todas as operações, isto é, x + NaN = NaN + x = NaN, x − NaN = NaN − x = NaN etc.
  • O conjunto das relações binárias sobre um conjunto X, juntamente com a composição de relações, forma um monoide, em que o elemento zero é a relação vazia (o conjunto vazio).
  • O intervalo fechado H=[0, 1] com x∘y=min(x,y) também é um monoide com zero, e o elemento zero é o 0.
  • Mais exemplos:
Conjunto Operação Absorvente
Números reais · (multiplicação) 0
Números inteiros máximo divisor comum 1
Matrizes quadradas n-por-n · (multiplicação) Matriz nula
Números reais estendidos mínimo/ínfimo −∞
Números reais estendidos máximo/supremo +∞
Conjuntos ∩ (intersecção) { } (conjunto vazio)
Subconjuntos de um conjunto M ∪ (união) M
Lógica booleana ∧ (E lógico) ⊥ (falsidade)
Lógica booleana ∨ (OU lógico) ⊤ (verdade)

Ver também

  • Elemento identidade
  • Semigrupo nulo

Notas

  1. J.M. Howie, p. 2-3
  2. a b M. Kilp, U. Knauer, A.V. Mikhalev p. 14-15
  3. J.S. Golan p. 67

Referências

  • Howie, John M. (1995). Fundamentals of Semigroup Theory. [S.l.]: Clarendon Press. ISBN 0-19-851194-9 
  • M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Atos e Categorias com Aplicações à Coroa de flores de Produtos e Gráficos, De Gruyter Exposições em Matemática vol. 29, Walter de Gruyter, 2000, ISBN 3-11-015248-7.
  • Golan, Jonathan S. (1999). Semirings and Their Applications. [S.l.]: Springer. ISBN 0-7923-5786-8 

Ligações externas

  • «Elemento absorvente» (em inglês). no PlanetMath