Kiejtés

  • IPA: [ ˈdɛʃt͡sɒrtɛʃhɒtvaːɲ]

Főnév

Descartes-hatvány

  1. (matematika)
Halmazok Descartes-szorzata és Descartes-hatványa

Tetszőleges   elemekre az   halmazt elempárnak nevezzük és  -vel jelöljük.

Tetszőleges  ,  ,  ,   elemekre   akkor és csak akkor teljesül, ha   és  , azaz az így definiált elempárok rendezett elempárok.

Legyenek   tetszőleges halmazok. Az   elempárok halmazát az   és   halmazok Descartes-szorzatának (vagy másképpen: direkt szorzatának) nevezzük és így jelöljük:  .

Tetszőleges   halmazokra érvényes a következő állítás:

  •  ; (asszociativitás)

A halmazok direkt szorzata nem kommutatív művelet.

Ha a tényezők egyenlőek, akkor Descartes-hatványról beszélünk. Ha a szorzat n tagú, akkor a jelölés  . Nem tévesztendő össze a hatványhalmazzal.

Fordítások