Cartesisk produkt
From Wikipedia, the free encyclopedia
Den cartesiska eller kartesiska produkten eller mängdprodukten av två mängder och är mängden av alla ordnade par vars första element tillhör och vars andra element tillhör . Produkten av och skrivs A × B, så definitionen kan sammanfattas
- .
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Mängdprodukten kallas "cartesisk" efter Renatus Cartesius, den latinska översättningen av René Descartes. Descartes införde nämligen de så kallade kartesiska koordinaterna, som i sin tur har inspirerat den mängdteoretiska definitionen. Om P är en punkt i ett plan med ett koordinatsystem, så kan P entydigt beskrivas med hjälp av sin "x-koordinat" och sin "y-koordinat". Punkten kan alltså representeras av ett ordnat par (a,b) av reella tal, där a och b är x-koordinaten respektive y-koordinaten. Mot varje punkt i planet svarar precis ett sådant par, och tvärtom. Mängden av alla möjliga sådana par av kartesiska koordinater för punkter i planet är just det som nu för tiden kallas den cartesiska produkten R × R eller R2.
Man kan också bilda cartesiska produkter av ett större antal mängder. Produkten A × B × C av de tre mängderna A, B och C består av alla trippler (a,b,c), där a ∈ A, b ∈ B och c ∈ C. Allmänt gäller att om (Mi)i∈I är en familj av mängder över en indexmängd av godtycklig storlek, så definieras den cartesiska produkten av denna familj genom
- .
När indexmängden består av de n första positiva heltalen, alltså I = { 1, 2, ..., n}, så skrivs produkten hellre som
- .
Formellt sett torde till exempel A × B × C, (A × B) × C och A × (B × C) vara olika mängder, eftersom oftast (a,b,c), ((a,b),c) och (a,(b,c)) definieras på ett sådant sätt att de är olika. I praktiken behandlar man dock i allmänhet dessa som samma mängd genom att man identifierar trippeln och de två "blandade" paren.
Produkten A × A kan också skrivas A2, A × A × A skrivs också A3, och så vidare. En vanlig tillämpning är beteckningen för reella talplanet, eller R2.
Exempel:
- {1, 3, π} × {2, 17} = {(1, 2), (1, 17), (3, 2), (3, 17), (π, 2), (π, 17)}