Suppose that $A=\{A_i:i \in I\}$ is a family of sets. Consider the case where we want to define a set $S$ which has a unique element from each set $A_i$ and has no more elements than that.

For example, if $A= \{1,2,3\} , \{ a,b,c \} , \{ !,\#,@ \} \}$ then $S$ may be $\{1,a,!\}$ or $\{1,b,@\}$ but $S$ can't be $\{1,a\}$ as $S$ didn't have an element from the set $\{!,\#,@\}$ and the set $\{1,2,a,@\}$ can't be $S$ as it has two elements from the set $\{1,2,3\}$.

So $S$ has an element from each set $A_i$ and only one element from this $A_i$.

My question is how to define this set formally.

my attempt is , $S \subset \bigcup_{i \in I} A_i$, where for every $i \in I$ , $S \cap A_i =\{a\}$ for some $a \in A_i$.

Does this definition work ?

Are there any better definitions you suggest ( in builder-notation for instance?) ?

  • $\begingroup$ Please use \{ and \} to put braces $\{$ and $\}$ in your math. You can click the edit button to fix this. $\endgroup$ – dfeuer Oct 2 '13 at 0:56
  • $\begingroup$ @Element Without further restriction such a set may not exists. $\endgroup$ – azarel Oct 2 '13 at 1:24
  • $\begingroup$ @azarel ,Can you clarify that more please ? Why without more restriction such a set may not exists ? and what are those conditions which guarantee its existence ? $\endgroup$ – Element Oct 2 '13 at 16:40
  • $\begingroup$ @Element For example, take $A$ equal to all infinite subsets of the natural numbers, then there is no $S$ satisfying your definition. $\endgroup$ – azarel Oct 2 '13 at 17:16
  • $\begingroup$ @azarel , Why not ? notice that $S$ take a unique element from each A , but it may take $1$ from a set $A$ and another $1$ from a set $B$ ( but here we would allow repition of elements of the set ). $\endgroup$ – Element Oct 2 '13 at 17:24

Your definition looks fine to me.

I would probably let $A$ be the union of the $A_i$, and then write:

"Pick $S \subset A$ such that $|A_{i} \cap S| = 1$ for all $i \in I$."

  • $\begingroup$ What is $|A_i| \cap S $ ? $\endgroup$ – Element Oct 2 '13 at 16:48
  • $\begingroup$ a typo! I have fixed it; should be: $|A_i \cap S|$, which means "the number of elements in both $A_i$ and $S$." $\endgroup$ – Benjamin Dickman Oct 2 '13 at 17:24

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.