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

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Luckas-bot (vitalap | szerkesztései)
a Bot: következő hozzáadása: nl:Wiskundige structuur
26. sor:
* <math> U </math> tetszőleges [[halmaz]], az '''''univerzum''''', '''''alaphalmaz''''', vagy '''''tartóhalmaz'''''; rá nézve semmilyen ([[számosság]]i vagy egyéb) korlátozást tenni nem szokásos; elemeit gyakran kis latin betűkkel jelöljük: <math> U = \left\{ u_{1} , u_{2} ,\dots , u_{i} ,\dots , u, v, w, x, y, z,\dots \right\} </math> .
 
* <math> \mathcal{T} = \le http://hu.wikipedia.org/skins-1.5/common/images/button_nowiki.png ft left( \mathcal{T} _{i} \right) _{i \in I} \in \mathcal{P} \left( \mathcal{P} \left( U \right) \right) ^{I} </math>, a struktúra „topológiai része” olyan halmazrendszer, melynek minden tagja <math> \mathcal{T} _{i} \subseteq \mathcal{P} \left( U \right) </math> az <math> U </math> valamilyen [[halmazcsalád]]ja (lehetséges halmazcsalád helyett [[halmazrendszer]]t is mondani – de ha <math> \mathcal{T} </math> -t halmazrendszerek egy rendszereként akarnánk definiálni, minden elemét <math> J _{i} </math> halmazzal indexelt <math> \mathcal{T} _{i} = \left( U_{j _{i} } \right) _{j_{i} \in J _{i}} </math> halmazrendszer formájában adva meg; még bonyolultabb felépítéshez jutnánk, és ez általában nem szükséges).
** E halmazrendszer-rendszer biztosíthatja vagy jelentheti például a struktúra „[[topológia|topologikus]]” és „[[kombinatorika|kombinatorikus]]” tulajdonságait (a szándékainktól, a vizsgálat céljától is függ, adott esetben mit jelent);
** 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;