Cartesian product

rdf:langString Cartesisk produkt

rdf:langString 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 . 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)}