web counter


https://www.amazon.it/dp/B0CT9YL557

We support WINRAR [What is this] - [Download .exe file(s) for Windows]

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
SITEMAP
Audiobooks by Valerio Di Stefano: Single Download - Complete Download [TAR] [WIM] [ZIP] [RAR] - Alphabetical Download  [TAR] [WIM] [ZIP] [RAR] - Download Instructions

Make a donation: IBAN: IT36M0708677020000000008016 - BIC/SWIFT:  ICRAITRRU60 - VALERIO DI STEFANO or
Privacy Policy Cookie Policy Terms and Conditions
Ciało (matematyka) - Wikipedia, wolna encyklopedia

Ciało (matematyka)

Z Wikipedii

Ciało – nieformalnie: struktura (zbiór wraz z działaniami), w której wykonywalne są dodawanie, odejmowanie, mnożenie i dzielenie elementów (z wyjątkiem dzielenia przez element zerowy). Ciało tworzą np. liczby wymierne, liczby rzeczywiste, liczby zespolone, funkcje wymierne o współczynnikach rzeczywistych. Każde ciało jest pierścieniem.

Spis treści

[edytuj] Definicja formalna

Ciało to struktura algebraiczna K\, z dwoma działaniami, zwanymi dodawaniem i mnożeniem, spełniającymi następujące aksjomaty:

  • zbiór K\, z dodawaniem jest grupą abelową, gdzie element 0\, (tzw. zero) jest elementem neutralnym dodawania (nazywamy ją grupą addytywną ciała K\, i oznaczamy K^+\,),
  • zbiór K \setminus \{0\}\, z mnożeniem jest grupą abelową, gdzie 1\, (tzw. jedynka lub jedność) jest elementem neutralnym mnożenia (nazywamy ją grupą multiplikatywną ciała K\, i oznaczamy K^*\,),
  • zbiór K\, jest co najmniej dwuelementowy (gdyż zawiera 0\, i 1\, - wynika to z istnienia grup addytywnej i multiplikatywnej),
  • mnożenie jest obustronnie rozdzielne względem dodawania tj. dla a, b, c \in K\, mamy:
    • a \cdot (b+c) = (a \cdot b) + (a \cdot c)
    • (b+c) \cdot a = (b \cdot a) + (c \cdot a).

[edytuj] Ciała skończone i nieskończone

Wszystkie ciała skończone, tj. zawierające skończoną liczbę elementów mają p^n\, elementów, gdzie p\, jest liczbą pierwszą, n\, jest liczbą naturalną. Ciała skończone o tej samej liczbie elementów są izomorficzne.

Ciało nieskończone to ciało zawierające nieskończoną liczbę elementów.

[edytuj] Podciała i rozszerzenia ciał

Zobacz więcej w osobnym artykule: rozszerzenia ciał.

Niech K\, będzie ciałem. Podciałem ciała K\, nazywamy podpierścień L\, ciała K\,, który sam jest ciałem (ze względu na działania dziedziczone z K\,). Ciało K\, nazywamy rozszerzeniem ciała L\,.

[edytuj] Przykłady

  • Zbiór liczb wymiernych jest podciałem ciała liczb rzeczywistych.
  • Zbiór liczb rzeczywistych jest podciałem ciała liczb zespolonych.
  • Ciało liczb zespolonych jest rozszerzeniem ciał liczb wymiernych i rzeczywistych.
  • Nie istnieje podciało właściwe ciała liczb wymiernych.

[edytuj] Własności ciała

Każde ciało jest dziedziną całkowitości. Wynika to ze sposobu określenia ciała: ciało zawiera co najmniej dwa elementy oraz nie zawiera właściwych dzielników zera.

W ciele są dokładnie dwa ideały: ideał zerowy \{0\}\, i całe ciało K\,. Jeżeli bowiem ideał ciała nie jest zerowy, to zawiera element odwracalny względem mnożenia. Ideał ten jest więc równy K\,.

[edytuj] Konstrukcje ciał

  1. Ciało ułamków pierścienia całkowitego.
  2. Jeśli I jest ideałem maksymalnym pierścienia R, to pierścień ilorazowy R/I jest ciałem.
  3. Rozszerzenie K(a) ciała K o pierwiastek wielomianu nierozkładalnego f(X)\in K[X] to pierścień ilorazowy K[X]/(f(X)).
  4. Rozszerzenie K(t) ciała K o element przestępny t (ciało funkcji wymiernych zmiennej t nad ciałem K) to ciało ułamków pierścienia wielomianów K[t].
  5. Jeśli ciało K jest podciałem ciała L, a A jest podzbiorem L, to istnieje najmniejsze podciało K(A) ciała L zawierające K i A; jest ono częścią wspólną wszystkich podciał ciała L zawierających K i L. Każdy jego element jest ilorazem sum iloczynów element ciała K razy iloczyn elementów zbioru A.
  6. Ultraprodukt ciał jest ciałem.

[edytuj] Przykłady

[edytuj] Historia nazwy

Pojęcia ciała (bez nadawania mu nazwy) używał już Évariste Galois, który odkrył i sklasyfikował ciała skończone; później podobnie postąpił Bernhard Riemann (w 1857), którego interesowały ciała funkcji meromorficznych. Richard Dedekind podał formalną definicję ciała pod nazwą dziedzina wymierności. Nazwa Körper (niem. ciało) pojawiła się podobno po raz pierwszy w Teorii liczb Dirichleta, w sensie zespół, poczet albo ucieleśnienie elementów powstających z operacji wymiernych (dodawanie, odejmowanie, mnożenie, dzielenie). Problem pierwszeństwa jest skomplikowany: Dedekind był uczniem Dirichleta, napisał Suplementy do jego wykładów; w XI Suplemencie (IV wydanie, Brunszwik 1894) używana jest nazwa ciało. Angielscy matematycy używali krótko łacińskiego odpowiednika corpus, zaś francuscy matematycy używają do dziś pokrewnego corps, co znaczy ciało. Używane teraz po angielsku słowo field (co znaczy "pole") zapewne wprowadzili amerykańscy algebraicy, którzy początkowo używali również nazwy realm. W językach rosyjskim i ukraińskim ciało też nazywa się słowem oznaczającym "pole"; a słowem oznaczającym "ciało" w tych językach nazywa się pierścień z dzieleniem.

[edytuj] Bibliografia

Jerzy Browkin, Teoria ciał, PWN, Warszawa 1977.

[edytuj] Zobacz też

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Sub-domains

CDRoms - Magnatune - Librivox - Liber Liber - Encyclopaedia Britannica - Project Gutenberg - Wikipedia 2008 - Wikipedia 2007 - Wikipedia 2006 -

Other Domains

https://www.classicistranieri.it - https://www.ebooksgratis.com - https://www.gutenbergaustralia.com - https://www.englishwikipedia.com - https://www.wikipediazim.com - https://www.wikisourcezim.com - https://www.projectgutenberg.net - https://www.projectgutenberg.es - https://www.radioascolto.com - https://www.debitoformtivo.it - https://www.wikipediaforschools.org - https://www.projectgutenbergzim.com