We know that given two non - void sets, say \(A\) and \(B\), their \(\textbf{Cartesian Product}\) is defined as \(A\,\times\,B\,=\,\{(a,b)\,:\,a\,\in\,A\,,\,b\,\in\,B\}\). For eg. If \(A\,=\,\{1,3\}\) and \(B\,=\,\{2,4,9\}\), then their Cartesian product is defined as \(\{(1,2),(1,4),(1,9),(3,2),(3,4),(3,9)\}\).

I was wondering what if the set \(A\) itself consists of ordered pairs, like what if \(A\,=\,\{(1,5),(1,9),(2,5)\}\) and say \(B\,=\,\{3,7\}\), then how do we define the \(A\,\times B\)?

One thing that I've observed is that ,in case, if the set that consists of ordered pairs ( n-tuples in general) can be expressed as Cartesian product of simple sets (sets that consists of numbers only), then the overall cartesian product can be found. What I mean is

Say, \(A\,=\,\{(3,4),(3,7),(2,4),(2,7)\}\) and \(B\,=\,\{2,5\}\) and \(A\times B\) is to be found, then one can proceed as follows :

\(A\times B\,=\,\{(3,4),(3,7),(2,4),(2,7)\}\,\times\,\{2,5\}\,\,=\,\{3,2\}\,\times\,\{4,7\}\,\times\,\{2,5\}\,\,=\,\{(2,3,4),(2,3,7),(2,2,4),(2,2,7),(5,3,4),(5,3,7),(5,2,4),(5,2,7)\}\).

No vote yet

1 vote

×

Problem Loading...

Note Loading...

Set Loading...

Easy Math Editor

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

Sort by:

TopNewestDo the same thing. \( A \times B = \{ ( a, b) | a \in A, b \in B \} \). It doesn't matter what the sets \(A\) and \(B\) are.

E.g. you can determine \( \{ \text{ elephant, zinc} \} \times \{ \frac{1}{2} , ( 1, 2) \} \).

Log in to reply

OK...

Log in to reply