Element absorbant
În matematică un element absorbant[1] este un tip special de element al unei mulțimi în raport cu o operație binară pe acea mulțime. Rezultatul combinării unui element absorbant cu orice element al mulțimii este elementul absorbant în sine. În teoria semigrupului, elementul absorbant se numește element zero[2][3] deoarece nu există riscul de confuzie cu alte noțiuni de zero, cu excepția notabilă: în notația aditivă zero poate, în mod firesc, să desemneze elementul neutru al unui monoid. În acest articol „element zero” și „element absorbant” sunt sinonime.
Definiție
[modificare | modificare sursă]Formal, fie (S, •) o mulțime S cu o operație binară închisă, • (un grupoid(d)[4]). Un element zero este un element z astfel încât pentru orice s din S, z • s = s • z = z. Această noțiune poate fi rafinată la noțiunile de zero la stânga, care cere doar ca z • s = z și zero la dreapta, care cere doar ca s • z = z.[3]
Elementele absorbante sunt deosebit de interesante pentru semigrupuri, în special semigrupul multiplicativ al unui semiinel. În cazul unui semiinel cu 0, definiția unui element absorbant este uneori relaxată, astfel încât nu este necesar să-l absoarbă pe 0; altfel 0 ar fi singurul element absorbant.[5]
Proprietăți
[modificare | modificare sursă]- Dacă grupoidul are atât elementul zero la stânga z, cât și cel la dreapta, z′, atunci are un zero, deoarece z = z • z′ = z′ .
- Un grupoid poate avea cel mult un element zero.
Exemple
[modificare | modificare sursă]- Cel mai cunoscut exemplu de element absorbant provine din algebra elementară(d), unde orice număr înmulțit cu zero este egal cu zero. Zero este astfel un element absorbant.
- Zeroul oricărui inel este, de asemenea, un element absorbant. Pentru un element r al unui inel R, r0 = r(0 + 0) = r0 + r0, deci 0 = r0, deoarece zero este unicul element a pentru care r − r = a pentru orice r din inelul R. Această proprietate este valabilă și într-un pseudoinel(d), deoarece elementul neutru multiplicativ nu este necesar.
- Aritmetica în virgulă mobilă, așa cum este definită în standardul IEEE-754, conține o valoare specială numită „Not-a-Number” (NaN, în română nu este un număr). Este un element absorbant pentru orice operație; adică x + NaN = NaN + x = NaN, x − NaN = NaN − x = NaN etc.
- Mulțimea relațiilor binare peste o mulțime X, împreună cu compunerea relațiilor(d) formează un monoid cu zero, unde elementul zero este mulțimea vidă.
- Intervalul închis H = [0, 1] cu x • y = min(x, y) este, de asemenea, un monoid cu zero, iar elementul zero este 0.
- Alte exemple:
Domeniu | Operația | Absorbant | ||
---|---|---|---|---|
Numere reale | ⋅ | Înmulțire | 0 | |
Întregi | Cel mai mare divizor comun | 1 | ||
Matrici pătrate n × n | Înmulțirea matricilor | Matrice nulă | ||
Extensie a numerelor reale | Infinit negativ | −∞ | ||
Infinit pozitiv | +∞ | |||
Mulțimi | ∩ | Intersecție | ∅ | Mulțime vidă |
Submulțimi ale mulțimii M | ∪ | Reuniune | M | |
Logică booleană | ∧ | „și” logic(d) | ⊥ | Fals |
∨ | „sau” logic | ⊤ | Adevărat |
Note
[modificare | modificare sursă]- ^ Mariana Dumitru, Construcții de aproape inele (teză de doctorat, 2010, p. 114), Universitatea „Ovidius” din Constanța, accesat 2023-09-18
- ^ J.M. Howie, 1995, pp. 2–3
- ^ a b M. Kilp, U. Knauer, A.V. Mikhalev, 2000, pp. 14–15
- ^ Zalán Bodó, Structuri algebrice (curs, cap. 1, p. 5), Universitatea Babeș-Bolyai, accesat 2023-09-19
- ^ J.S. Golan, 1999, p. 67
Bibliografie
[modificare | modificare sursă]- en Howie, John M. (). Fundamentals of Semigroup Theory. Clarendon Press. ISBN 0-19-851194-9.
- en 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.
- en Golan, Jonathan S. (). Semirings and Their Applications. Springer. ISBN 0-7923-5786-8.
Vezi și
[modificare | modificare sursă]Legături externe
[modificare | modificare sursă]- en Absorbing element la PlanetMath