For faster navigation, this Iframe is preloading the Wikiwand page for Cartesisch product.

Cartesisch product

Uit Wikipedia, de vrije encyclopedie

Cartesisch product 
  
    
      
        A
        ×
        B
      
    
    {\displaystyle A\times B}
  
 van de verzamelingen 
  
    
      
        A
        =
        {
        x
        ,
        y
        ,
        z
        }
      
    
    {\displaystyle A=\{x,y,z\))
  
 en 
  
    
      
        B
        =
        {
        1
        ,
        2
        ,
        3
        }
      
    
    {\displaystyle B=\{1,2,3\))
Cartesisch product van de verzamelingen en

In de verzamelingenleer is het cartesisch product of de productverzameling van twee verzamelingen de verzameling van alle koppels of geordende paren waarvan het eerste element uit de eerste verzameling en het tweede uit de tweede verzameling komt.

Definitie

Het cartesisch product van de twee verzamelingen en wordt genoteerd als en is gedefinieerd als een verzameling koppels, als volgt:

.

Het cartesisch product is genoemd naar de Franse filosoof en wiskundige René Descartes. Hij ontdekte dat een punt in een vlak kon worden gezien als een getallenpaar. In moderne notatie maakte hij het vlak equivalent met .

Voorbeeld

Voor en , is:

Eigenschappen

  • Het cartesisch product van een willekeurige verzameling met de lege verzameling is de lege verzameling
  • Als en eindige verzamelingen zijn, is het aantal elementen van gelijk aan het product van het aantal elementen van en het aantal elementen van : .
  • Als of oneindig is, en de andere verzameling is niet leeg, dan is oneindig.
  • Er geldt in het algemeen niet dat . Tussen beide producten bestaat wel een canonieke bijectie, nl. de omkering van elk paar.

Herhaald cartesisch product

Het product is weer een verzameling, en daarmee kan dus het product met een derde verzameling gevormd worden:

Anderzijds bestaat ook het product van met de productverzameling :

Formeel zijn deze twee verzamelingen verschillend, maar ze staan wel op canonieke wijze in bijectief verband:

In de meeste wiskundige theorieën die gebruikmaken van producten, is het formele onderscheid tussen deze twee verzamelingen van weinig belang. Men laat dan een stel haakjes vallen en noteert

De elementen van heten geordende drietallen of tripels. Op analoge wijze definieert men het product van vier verzamelingen met als elementen quadrupels, het product van vijf verzamelingen dat bestaat uit quintupels, enz.

Door inductie bestaat het cartesisch product van verzamelingen uit alle geordende -tupels (of kortweg tupels) waarvan de -de component tot de -de verzameling behoort:

Het cartesisch product van één verzameling is bij afspraak die verzameling zelf, dus een 1-tupel wordt geïdentificeerd met de enige component waaruit het bestaat. Het cartesisch product van nul verzamelingen is het singleton bestaande uit het 0-tupel (dit product is dus niet de lege verzameling!).

Is een cartesisch product gevormd met steeds dezelfde verzameling, dan wordt het geschreven met een exponentiële notatie:

enz.

Product van een willekeurig grote familie verzamelingen

Een -tupel kan worden opgevat als een afbeelding van de getallenverzameling naar de vereniging van de betrokken verzamelingen:

,

met als eigenschap dat:

De functie wordt dan geïdentificeerd met het -tupel

Het herhaald cartesisch product van de verzamelingen is dan de verzameling van die functies.

Met dit formalisme kan het cartesisch product gegeneraliseerd worden tot het geval van een eventueel oneindige familie van verzamelingen.

Zij een familie verzamelingen geïndexeerd door een verzameling die niet noodzakelijk een getallenverzameling hoeft te zijn. Ze kan leeg zijn, of eindig en niet leeg, of oneindig en zelfs overaftelbaar.

Het cartesisch product van de familie is de verzameling van alle afbeeldingen van de indexverzameling naar de vereniging van de familie die elke index binnen het overeenkomstige lid van de familie afbeelden:

Een bijzonder geval krijgt men, als voor alle . Dan is de productverzameling de verzameling van alle afbeeldingen van naar . Deze krijgt de intuïtief duidelijke notatie .

Projectie

Met het cartesisch product van 2 verzamelingen associëren we twee projecties

Met een algemeen (herhaald of oneindig) cartesisch product wordt een stel afbeeldingen geassocieerd die elk tupel op een vaste component van dat tupel afbeelden. De -de projectie is

In de cartesiaanse meetkunde op komen deze projecties overeen met de twee meetkundige projecties en parallel met de coördinaat-assen.

Databanken

Bij relationele databanken wordt met het commando JOIN van twee tabellen het cartesisch product gemaakt.

{{bottomLinkPreText}} {{bottomLinkText}}
Cartesisch product
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Wikiwand 2.0 is here 🎉! We've made some exciting updates - No worries, you can always revert later on