Properties of Algebras of Sets 1

Properties of Algebras of Sets 1

Recall from the Algebras of Sets page that if $X$ is a set then an algebra on $X$ is a nonempty collection $\mathcal A$ of subsets of $X$ satisfying the following properties:

• For every $A_1, A_2 \in \mathcal A$ we have that $A_1 \cup A_2 \in \mathcal A$.
• For every $A \in \mathcal A$ we have that $A^c \in \mathcal A$.

We will now prove some nice properties of algebras of sets. More properties can be found on the Properties of Algebras of Sets 2 page.

 Proposition 1: If $\mathcal A$ is an algebra on a set $X$ and if $A_1, A_2, ..., A_n \in \mathcal A$ for any $n \in \mathbb{N}$ then: a) $\displaystyle{\bigcup_{i=1}^{n} A_i \in \mathcal A}$. b) $\displaystyle{\bigcap_{i=1}^{n} A_i \in \mathcal A}$.
• Proof of a) Let $\mathcal A$ be an algebra on $X$. Assume that for $k \in \mathbb{N}$, $k \leq n$, that if $A_1, A_2, ..., A_{k-1}, A_k \in \mathcal A$ that $\displaystyle{\bigcup_{i=1}^{k-1} A_i \in \mathcal A}$. Then by property (1) of the definition we have that:
(1)
\begin{align} \quad \bigcup_{i=1}^{k} A_i = \left ( \bigcup_{i=1}^{k-1} A_i \right ) \cup A_k \in \mathcal A \end{align}
• By the principle of mathematical induction, for all $n \in \mathbb{N}$ we have that if $A_1, A_2, ..., A_n \in \mathcal A$ then $\displaystyle{\bigcup_{i=1}^{n} A_i \in \mathcal A}$. $\blacksquare$
• Proof of b) Let $\mathcal A$ be an algebra on $X$. Assume that for $k \in \mathbb{N}$, $k < n$, that if $A_1, A_2, ..., A_{k-1}, A_k \in \mathcal A$ that $\displaystyle{\bigcap_{i=1}^{k-1} A_i \in \mathcal A}$. Then by the previous proposition we have that:
(2)
\begin{align} \quad \bigcap_{i=1}^{k} A_i = \left ( \bigcap_{i=1}^{k-1} A_i \right ) \cap A_k \in \mathcal A \end{align}
• By the principle of mathematical induction, for all $n \in \mathbb{N}$ we have that if $A_1, A_2, ..., A_n \in \mathcal A$ then $\displaystyle{\bigcap_{i=1}^{n} A_i \in \mathcal A}$. $\blacksquare$
{"ft_lang_label":"__label__en","ft_lang_prob":0.5888072,"math_prob":0.9999999,"size":1965,"snap":"2019-43-2019-47","text_gpt3_token_len":741,"char_repetition_ratio":0.20703723,"word_repetition_ratio":0.35384616,"special_character_ratio":0.37251908,"punctuation_ratio":0.13333334,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000098,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-10-19T14:51:19Z\",\"WARC-Record-ID\":\"<urn:uuid:ae5d3ff6-258b-4aca-a888-b2fff2805c3c>\",\"Content-Length\":\"17003\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:9934b441-d108-49ab-91dc-746b83612850>\",\"WARC-Concurrent-To\":\"<urn:uuid:104e9f66-ec16-4d23-8d27-c0cee08b63c1>\",\"WARC-IP-Address\":\"107.20.139.170\",\"WARC-Target-URI\":\"http://mathonline.wikidot.com/properties-of-algebras-of-sets-1\",\"WARC-Payload-Digest\":\"sha1:FQTXZKYFZEMLHISWENLHYX5LBUYKSL6G\",\"WARC-Block-Digest\":\"sha1:IDRDFBOGJ5TWOE5P4LNRQSULTVFM7L2X\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-43/CC-MAIN-2019-43_segments_1570986696339.42_warc_CC-MAIN-20191019141654-20191019165154-00074.warc.gz\"}"}