El Vikipedio, la libera enciklopedio
Kartezia produto de aroj
A
{\displaystyle A}
kaj
B
{\displaystyle B}
estas aro da ĉiuj ordaj duopoj
(
a
,
b
)
{\displaystyle (a,b)}
tiel, ke
a
{\displaystyle a}
estas el
A
{\displaystyle A}
, kaj
b
{\displaystyle b}
estas el
B
{\displaystyle B}
. Tiun aron oni signas per simbolo
A
×
B
{\displaystyle A\times B}
. Nomo kartezia produto devenas de nomo Kartezio , franca filozofo kaj matematikisto , kiu enkondukis ĉi tiun difinon en geometria analitiko .
Kartezia produto de aroj
X
{\displaystyle X}
kaj
Y
{\displaystyle Y}
estas aro:
X
×
Y
:=
{
(
x
,
y
)
∈
P
(
P
(
X
∪
Y
)
)
:
x
∈
X
∧
y
∈
Y
}
{\displaystyle X\times Y:=\left\{(x,y)\in {\mathcal {P}}({\mathcal {P}}(X\cup Y))\colon x\in X\wedge y\in Y\right\}}
,
kaj
P
(
X
)
{\displaystyle {\mathcal {P}}(X)}
signifas Aro de ĉiuj subaroj de aro
X
{\displaystyle X}
.
Estas aroj:
A
=
{
1
,
2
,
3
}
{\displaystyle A=\{1,2,3\}}
kaj
B
=
{
a
,
b
}
{\displaystyle B=\{a,b\}}
. Kartezia produto de aroj
A
,
B
{\displaystyle A,B}
laŭ difino estas:
A
×
B
=
{
(
1
,
a
)
,
(
1
,
b
)
,
(
2
,
a
)
,
(
2
,
b
)
,
(
3
,
a
)
,
(
3
,
b
)
}
{\displaystyle A\times B=\{(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)\}}
.