Matematična struktura

Matemátična struktúra je množica M skupaj z dodatnimi značilnostmi, preslikavami in operacijami, ki določajo odnose med elementi te množice.

Matematika preučuje različne strukture zato, ker v množicah z enako strukturo veljajo iste značilnosti. Če se dokaže, da je neka značilnost tipična za določeno strukturo, potem se lahko sklepa, da značilnost velja za vse množice, ki imajo tako strukturo.

Tak način gledanja se je razvil dokaj pozno. Prelomnico na tem področju predstavljajo Peanovi aksiomi za naravna števila. Giuseppe Peano je zajel celotno teorijo naravnih števil v pet aksiomov. Pokazal je, da se da iz teh aksiomov logično deducirati vse značilnosti naravnih števil, pri tem pa je najbolj presenetljivo spoznanje, da eksplicitna opredelitev pojma naravnega števila sploh ni potrebna. Aksiomi določajo strukturo, ne določajo pa same vsebine naravnega števila.

Po naziranju matematične skupine Bourbaki obstajajo trije tipi matematičnih struktur:

Strukture urejenosti uredi

Strukturo urejenosti na množici določa relacija urejenosti.

Najbolj znana relecija urejenosti je urejenost števil po velikosti. Označuje se jo z znaki <, ≤, > in ≥. Ena od tipičnih značilnosti te relacije je tranzitivnost:

 

V množici naravnih oziroma celih števil se lahko opazuje tudi urejenost z relacijo deljivosti: a | b (beri a deli b oziroma a je delitelj števila b). Tudi za to relacijo velja tranzitivnost:

 

Med podmnožicami dane univerzalne množice U se lahko uvede relacijo urejenosti podmnožic: AB (beri A je podmnožica B). Zanimivo, da tudi v tem primeru velja tranzitivnost – to je torej skupna značilnost vseh treh navedenih struktur urejenosti:

 

Algebrske strukture uredi

Algebrska struktura je določena z računskimi operacijami v dani množici.

Značilni zgled algebrske strukture je grupa. To je množica, v kateri je definirana računska operacija, ki je asociativna, ima nevtralni element in za vsak element ustrezni inverz. Te značilnosti so temeljne za celo vrsto različnih računskih operacij in zato predstavljajo osnovo drugih, bolj zapletenih algebrskih struktur kot so:

Topološke strukture uredi

Topološka struktura v dani množici določa, kateri element je v okolici nekega drugega elementa. Okolice sestavljajo določen sestav podmnožic, ki se imenujejo odprte množice.

Če je v množici definirana metrika (razdalja), se lahko definira okolico zelo preprosto: Element x je v okolici elementa a, če je razdalja med njima primerno majhna.

V množici realnih števil se po tem pravilu definira okolico s polmerom ε okrog točke a kot interval (aε, a+ε).

Glej tudi uredi

Viri uredi

  • Prijatelj, Niko (1964), Matematične strukture 1, Knjižnica Sigma (št. 9), Ljubljana: Mladinska knjiga, COBISS 1540097
  • Prijatelj, Niko (1967), Matematične strukture 2, Knjižnica Sigma (št. 15), Ljubljana: Mladinska knjiga, COBISS 17534209
  • Prijatelj, Niko (1972), Matematične strukture 3, Knjižnica Sigma (št. 23), Ljubljana: Državna založba Slovenije, COBISS 11501573