1
$\begingroup$

So my relation is z = {(z,z+1)|z ∈ ℤ}

How would I define z^2 in set builder notation?

I know this is how you calculate it but I'm unsure as to how to define it z^2 = z^1 ∘ z

I was thinking maybe this, but I'm not sure: a ∘ b | a ∈ s^1 and b ∈ s

$\endgroup$
1
$\begingroup$

In general, let $R \subseteq A \times A$ be a relation. Then $$ R^{2} = \{(a,c) \mid \exists b \in A \colon (a,b) \in R \wedge (b,c) \in R \}. $$ In your specific case we get, setting $Z := \{ (z, z+1) \mid z \in \mathbb Z \}$, $$ \begin{align*} Z^{2} &= \{ (a,c) \mid \exists b \in \mathbb Z \colon (a,b) \in Z \wedge (b,c) \in Z \} \\ &= \{ (z, z+2) \mid z \in \mathbb Z\}. \end{align*} $$

$\endgroup$
2
  • $\begingroup$ Thanks allot, confused myself a little with a silly mistake. I understand it now thanks a bunch! $\endgroup$ – user3768911 Aug 16 '16 at 12:50
  • $\begingroup$ @user3768911 You're most welcome. It's easy to get confused about these kinds of notations at first. $\endgroup$ – Stefan Mesken Aug 16 '16 at 15:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.