Elemento absorvente: diferenças entre revisões
Criado ao traduzir a página "Absorbing element" |
(Sem diferenças)
|
Revisão das 17h44min de 19 de janeiro de 2015
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, z∘s=s∘z=z. Um refinamento[2] são as noções de zero à esquerda, em que só é exigido que z∘s=z, e de zero à direita, em que s∘z=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 quanto um zero à direita , então ele tem um zero, pois .
- Se um magma tem um elemento zero, então o elemento zero é único.
Examples
- 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 aritimética de ponto flutuante conforme definido 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 |
id="73" |· (multiplicação) | 0 |
inteiros não negativos || id="82" |máximo divisor comum || id="85" |1 | ||
matrizes quadradas n-por-n | · (multiplicação) | matriz nula |
números reais extendidos | minimum/infimum | −∞ |
números reais extendidos | maximum/supremum | +∞ |
conjuntos | ∩ (intersecção) | { } (conjunto vazio) |
subconjuntos de um conjunto M | ∪ (união) | M |
lógica booleana |
id="132" | ∧ (E lógico) | ⊥ (falsidade) |
boolean logic | ∨ (OU lógico) | ⊤ (verdade) |
==Ver também
==
- Elemento identidade
- Semigrupo nulo
Notas
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, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics 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
- Absorbing element no PlanetMath