„Matematikai struktúra” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
VolkovBot (vitalap | szerkesztései)
a Bot: következő hozzáadása: cs:Matematická struktura
a →‎A definíció részletesebben: \dots -ból ...) ~~~~
30. sor:
** vagy pedig, ha például egyetlen halmazrendszerből, az <math> U </math> egy [[osztályfelbontás]]ából áll, akkor a struktúra „többfajtájúságát” biztosítja, amit a [[matematikai logika|matematikai logikában]] vagy a [[geometria]] „illeszkedési struktúráinak” definíciójakor lehet hasznosítani;
 
* <math> \mathcal{R} = \left( \rho _{k} \right) _{k \in K} \in \left( \bigcup_{n=1}^{\infty} \mathcal{P} \left( U^{n} \right) \right) ^{K} </math> a struktúra „relációs része”; az univerzum fölött értelmezett valahány (véges) változós [[reláció]]k (vagy predikátumok halmaza); tehát minden <math> \rho \in \mathcal{R} </math> elemhez léteznie kell olyan <math> n _{ \rho} \in \mathbb{N} </math> számnak, hogy <math> \rho \subseteq U^{n} </math>; e szám a reláció '''''aritás'''''a, változói száma (a reláció nulláris, unáris, bináris, ternáris stb. azaz null-, egy-, két-, három- stb. -változós, ha rendre n=0, n=1, n=2, n=3, <math>\dots </math>);
** Meg kell jegyeznünk, hogy „alapból” minden struktúrába beleértjük az univerzumon értelmezett egyenlőségi relációt ([[egységreláció]]t). Annyira, hogy nem is szoktuk belevenni a definícióba. Ez fölösleges is, mivel az univerzum megadásával egyértelműen megadtuk a rajta értelmezett egyenlőségi relációt, ez tehát nem megkülönböztető komponens.