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

 

A struktúrafogalom alapjául szolgáló [[halmazelmélet]]et a 19. század 70-es éveiben fedezték fel, ahogyan az első struktúratípusokat is ez időszakban kezdték vizsgálni (például a [[csoport (matematika)|csoportok]] elméletének alapjait az 1830-as években rakta le [[Évariste Galois|Galois]], és halála miatt [[1846]]-ban publikálta [[Joseph Liouville]]); a struktúrafogalom felfedezésének és fontossága felismerésének (a strukturalista irányzat megalapításának) évét pedig az [[1935]]-re, a francia [[Bourbaki-csoport]] megalakulásának időszakára tehetjük. A Bourbaki-csoport strukturalistái rájöttek, hogy a matematika minden tudományága és minden elmélete szinte kivétel nélkül felfogható, mint egy speciális struktúra vagy egy struktúratípus vizsgálata (a legkomolyabb, de nem súlyos kivétel a [[kombinatorika]]). A matematika ilyen felfogását nevezzük ([[matematikadidaktika]]i) '''''strukturalizmus'''''nak.

 

 

Mára egyébként, különféle okok miatt a strukturalizmus, különösen az elemi matematikaoktatásban, visszaszorulóban van, de bizonyosra vehető, hogy még jó ideig ez lesz az a keret, amelyben a matematikai elméletek megfogalmazódnak. Nemcsak a matematikusok kezdenek vizsgálni jelenleg is újabb és újabb struktúratípusokat; hanem ezeket, lévén nem pusztán a valóságtól elrugaszkodott absztrakciók, a matematikán kívül a [[fizika|fizikában]] és egyéb alkalmazott tudományágakban is felhasználják.

 

=== Áttekintés ===

Ha egy halmaz elemeivel végezhetünk valamilyen műveletet, műveleteket akkor ezt a halmazt '''strukturáltnak''' mondjuk (azaz van egyfajta matematikai szerkezete). Ha több halmaz műveletei azonos tulajdonságúak, akkor azt mondjuk, hogy ezen halmazok '''struktúrája azonos''' az adott műveletekre nézve. Több azonos, konkrét struktúra általánosítása az ''absztrakt'' matematikai struktúra (típus). Egy példa egyszerű struktúrára: a kapcsolók, a csapok, a tranzisztorok, a halmazok, a (logikai) állítások műveletei azonos szerkezetűek. E halmazoknak az elemeik különböznek, de struktúrájuk egyezik. V.ö.: [[halmazműveletek]], [[logikai műveletek]], [[Boole-algebra]].

<center> <math> = </math> <math> \left( \ U , \ \left( \mathcal{T} _{i} \right) _{i \in I} , \ \left( \rho _{k} \right) _{k \in K} , \ \left( \mathcal{ \mu} _{m} \right) _{m \in M } , \ \left( u _{p} \right) _{p \in P} \ \right) </math> </center>

ötelemű [[halmazrendszer]]t (klasszikus értelemben vett) '''''matematikai struktúrá'''''nak nevezünk az <math> U </math> [[halmaz]] (a struktúra '''univerzum'''a) felett, ha első tagja maga <math> U </math>, a második e halmaz feletti [[halmazrendszer]]ek egy [[elemrendszer|rendszere]], a harmadik tag <math> U </math> feletti <math> \rho </math> [[reláció]]k-, a negyedik

 

==== A definíció részletesebben ====

** 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;

 

** 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.

 

** A relációk és függvények közti különbség nem lényeges, minden n-változós függvény tkp. egy n+1-változós reláció; u. is ha <math> f: X_{1} \times X_{2} \times \dots \times X_{n} \mapsto X; \left( x_{1}, x_{2} , \dots , x_{n} \right) = x </math> tetszőleges n-áris függvény, akkor ehhez egyértelműen definiálható egy n+1-változós <math> \rho _{f} := \subseteq X_{1} \times X_{2} \times \dots \times X_{n} \times X </math> reláció a következőképp: <math> \forall x_{i} \in X_{i} , \ \forall x \in X : \rho _{f} \left( x_{1}, x_{2} , \dots , x_{n} , x \right) : \Leftrightarrow f \left( x_{1}, x_{2} , \dots , x_{n} \right) = x </math>. Az ilyen függvény-reláció párokat egymás '''''asszociált'''''jainak nevezzük. Mellesleg ez nem nagy újdonság: a függvényfogalom definíció szerint a relációfogalom egy speciális esete (inkább csak a jelölés, a felfogás, a hangsúly különbözik).

 

A [[#A klasszikus változat|fenti]] változattól két dologban tér el:

# A <math> \mathcal{T} </math> halmazrendszer egytagú, és [[osztályfelbontás]]a az <math> U </math> univerzumnak (ennyiben tehát a fenti fogalom egy specializációjáról lenne szó)

 

 

* <math> \mathcal{U} </math> (mint eddig) tetszőleges [[halmaz]], az '''''univerzum'''''); egyéb korlátozásokat nem teszünk rá;

 

[[en:Mathematical structure]]

[[de:Hierarchie mathematischer Strukturen]]

[[fr:Structure (mathématiques)]]