Relaciōni

Iz Prūsiska Wikipēdija
Sākais en: nawigaciōni, laukīsna
Rindā 1: Rindā 1:
-
'''Relaciōni''' – ebwīrps pasenrīnksenis stesse karteziskan rēizinsenin stēisan senrīnksenin. Per intuiciōnin, ainunts sēisenis sīrzdau šēisan senrīnksenin elamēntans.
+
'''Relaciōni''' – ebwīrps pasenrīnksenis stesse karteziskan rēizinsenin stēisan senrīnksenin. Per intuiciōnin, ainunts sēisenis sirzdau šēisan senrīnksenin elamēntans.
===Definiciōni===
===Definiciōni===
Rindā 9: Rindā 9:
===Aīnas senrīnksenes relaciōnis===
===Aīnas senrīnksenes relaciōnis===
-
Šlāitewingiskai prēipalai stesses relaciōnin ast relaciōnis ēn aīnasse senrīnksenes n-tan karteziskasmu pōtentan, i.e. relaciōnis stesse wīdan <math>\varrho \subseteq X \times X \times \dots \times X = X^n</math>
+
Šlāitewingiskai prēipalai stesses relaciōnin ast relaciōnis ēn ainasse senrīnksenes n-tan karteziskasmu pōtencin, i.e. relaciōnis stesse wīdan <math>\varrho \subseteq X \times X \times \dots \times X = X^n</math>
Ik pazentlintun sen <math>\operatorname{Rel}_n(X)</math> senrīnksenin wisēisan n-argumentiskan relaciōnin en senrīnkseņu X, staddan šēisan senrīnksenes kardināliskas gīrbis ast dātan pra fōrmulin
Ik pazentlintun sen <math>\operatorname{Rel}_n(X)</math> senrīnksenin wisēisan n-argumentiskan relaciōnin en senrīnkseņu X, staddan šēisan senrīnksenes kardināliskas gīrbis ast dātan pra fōrmulin
Rindā 39: Rindā 39:
===Dwāiargumentiskas relaciōnis===
===Dwāiargumentiskas relaciōnis===
-
Ukadeznimais tērpautan ast dwāiargumentiskas relaciōnis (bināriskas relaciōnis), prāstai bilītan per relaciōnis.
+
Ukadeznimais tērpautan ast dwāiargumentiskas relaciōnis (bināriskas relaciōnis), prastai bilītan per relaciōnis.
Stawīdas relaciōnis ast senrīnksenei stēisan enteikātan pūran stēisan elamēntan stesse wīdan <math>(x, y) \in X \times X</math>. En deīktu <math>(x, y) \in \varrho</math> deznimai peisāi di <math>x\; \varrho\; y</math> be skaitāi di „x ast en relaciōnei <math>\varrho</math> sēn y”.
Stawīdas relaciōnis ast senrīnksenei stēisan enteikātan pūran stēisan elamēntan stesse wīdan <math>(x, y) \in X \times X</math>. En deīktu <math>(x, y) \in \varrho</math> deznimai peisāi di <math>x\; \varrho\; y</math> be skaitāi di „x ast en relaciōnei <math>\varrho</math> sēn y”.
-
Senrīnksenis stēisan wissan elamēntan iz X, kawīdai ēit en pīrmasmu pūres deīktan en relaciōnis pūrimans at bilītan per relaciōnis dōmenin, adder senrīnsenis stēisan elamēntan, kawīdai ēit na āntrasmu pūres dēiktan - per šisses relaciōnis pawīdan.
+
Senrīnksenis stēisan wissan elamēntan iz X, kawīdai ēit en pīrmasmu pūres deīktan en relaciōnis pūrimans at bilītan per relaciōnis dōmenin, adder senrīnsenis stēisan elamēntan, kawīdai ēit na āntrasmu pūres deīktan - per šisses relaciōnis pawīdan.
====Perwaidīnsnas====
====Perwaidīnsnas====
Rindā 49: Rindā 49:
Tīpiskas perwaidīnsnas stēisan bināriskan relaciōnin ast:
Tīpiskas perwaidīnsnas stēisan bināriskan relaciōnin ast:
-
* paūsta relaciōni, līgu pāustasmu senrīnksenin,
+
* paustā relaciōni, līgu pāustasmu senrīnksenin,
-
* pilna relaciōni, līgu X \times X be
+
* pilnā relaciōni, līgu X \times X be
* pralunkisnan, i.e. sēnrinksenis stēisan pūrin \{(x, x): x \in X\}.
* pralunkisnan, i.e. sēnrinksenis stēisan pūrin \{(x, x): x \in X\}.

Wersiōni kāigi iz 19:38, 9 sallaws 2011

Persōniskas pagaptis