0
$\begingroup$

I would like to express those text ( Original text is in french ) into mathematical form

$1$. The map $$Z\longmapsto \bar{A} \cup Z $$ is a bijection of the set of All the parts $Z$ of $A$ on the set of the parts $X$ of $E$ Such that $X \cup A = E$.

In mathematical form : \begin{align*} 1: \{ \mathcal{P}\left(A\right)\} &\rightarrow \{\mathcal{P}\left(X \right)\mid X\subset E: X\cup A=E\}\\ Z&\mapsto \overline{A}\cup Z \end{align*}

$2$.The map $$Z\longmapsto (A\cap B ) \cup Z $$ is a bijection of the set of parts of $(A\cup B )\setminus (A\cap B)$ onto the set of parts X of E such that $A\cap B \subset X \subset A\cup B$.

In mathematical form : \begin{align*} 2: \{ \mathcal{P}\left((A\cup B )\setminus (A\cap B)\right)\} &\rightarrow \{\mathcal{P}\left(X \right)\mid X\subset E: A\cap B \subset X \subset A\cup B\}\\ Z&\mapsto (A\cap B ) \cup Z \end{align*}

Original text in french :

enter image description here

$\endgroup$
  • $\begingroup$ You've written the domains and images of the maps. I don't think there's widely used notation to say that a given map is a bijection, so unless you want to go into unreadable hardcore "for all, there exists" territory that's about as good as it gets. $\endgroup$ – Gunnar Þór Magnússon Jan 18 '17 at 8:09
  • $\begingroup$ my aim is just to express french text in mathematical form coudl you do it ? $\endgroup$ – Educ Jan 18 '17 at 8:11
2
$\begingroup$

It appears that the sets $A$, $B$, and $E$ are given. So, I think it is better to define two new sets : $$\mathcal{C}=\{ X\in \mathcal{P}(E)| X\cup A=E \}$$ and
$$\mathcal{D}=\{ X\in \mathcal{P}(E)| A\cap B \subset X \subset A\cup B \}$$

Then the two maps :

  1. \begin{align*} \mathcal{P}\left(A\right) \rightarrow \mathcal{C} \\ Z \mapsto \overline{A}\cup Z \end{align*} and

  2. \begin{align*} \mathcal{P}\left((A\cup B )\setminus (A\cap B)\right) &\rightarrow \mathcal{D}\\ Z&\mapsto (A\cap B ) \cup Z \end{align*} are bijective.

$\endgroup$
  • $\begingroup$ De rien ;) @Educ $\endgroup$ – Nizar Jan 18 '17 at 10:06

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.