Quantum redactiones paginae "Relatio aequivalentiae" differant
Content deleted Content added
one of the Myriad |
UV (disputatio | conlationes) |
||
Linea 5: | Linea 5: | ||
* <math>(a, a) \in R</math> (reflexiva) |
* <math>(a, a) \in R</math> (reflexiva) |
||
* <math>(a, b) \in R \rightarrow (b, a) \in R</math> (symmetrica) |
* <math>(a, b) \in R \rightarrow (b, a) \in R</math> (symmetrica) |
||
* <math>(a, b) \in R \ |
* <math>(a, b) \in R \land (b, c) \in R \rightarrow (a, c) \in R</math> (transitiva) |
||
Aequalitas est paradigma talium relationum: a = a; si a = b, tunc b = a; si a = b et b = c, tunc a = c. |
Aequalitas est paradigma talium relationum: a = a; si a = b, tunc b = a; si a = b et b = c, tunc a = c. |
Emendatio ex 18:26, 3 Octobris 2020
Relatio aequivalentiae, in mathematica, est relatio binaria quae est reflexiva, symmetrica, transitiva. Hoc est, si R est relatio, :
- (reflexiva)
- (symmetrica)
- (transitiva)
Aequalitas est paradigma talium relationum: a = a; si a = b, tunc b = a; si a = b et b = c, tunc a = c.
Sunt autem alia relationes aequivalentiae:
- Congruentia inter integros secundum modulum
- Similitas et congruentia in geometria
- Natus est eodem anni die, inter homines
Non omnes relationes sunt aequivalentiae: a > y est transitiva, sed nec reflexiva nec symmetrica.
Bibliographia
- Mendelson, Elliott. Number Systems and the Foundations of Analysis. Novi Eboraci: Academic Press, 1973.
Haec stipula ad mathematicam spectat. Amplifica, si potes! |