0
$\begingroup$

I am trying to formulate in a document some work done. However I have a problem defining the following. If I have a problem defined as the tuple $\langle X,Y \rangle$ such that $(x,(y_{11},y_{12},y_{13},\ldots,y_{1N}))$. How can I define this relation in cartesian products?

For example if X = {$x_{1},x_{2},x_{3}$} and N = 2 then Y = {{$y_{11},y_{12}$}, {$y_{21},y_{22}$}, {$y_{31},y_{32}$}} and should define the pairs ($x_{1}$, ($y_{11},y_{12}$)), ($x_{2}$, ($y_{21},y_{22}$)), ($x_{3}$, ($y_{31},y_{32}$)).

Thank you

  • 1
    @Ahmed: This site addresses *research-level* questions in theoretical computer science. I can migrate your question to math.SE, where you may get an answer. Shall I do that?2011-03-29
  • 0
    @Dave Yes and thank you for clearing that up :)2011-03-29
  • 6
    Your notation suggests that $X \in \mathcal{X}$ and $Y \in \mathcal{Y}^N = \mathcal{Y} \times \cdots \times \mathcal{Y}$ ($N$ times) so that $\langle X, Y \rangle \in \mathcal{X} \times \mathcal{Y}^N$. Without further information it seems impossible to say more.2011-03-29
  • 0
    @Theo I added an example above to elaborate what I mean. I dont think your suggestion would suffice in that context. Please correct me if you think otherwise.2011-03-29

1 Answers 1