<?xml version='1.0' encoding='UTF-8'?><rss xmlns:atom="http://www.w3.org/2005/Atom" xmlns:openSearch="http://a9.com/-/spec/opensearchrss/1.0/" xmlns:blogger="http://schemas.google.com/blogger/2008" xmlns:georss="http://www.georss.org/georss" xmlns:gd="http://schemas.google.com/g/2005" xmlns:thr="http://purl.org/syndication/thread/1.0" version="2.0"><channel><atom:id>tag:blogger.com,1999:blog-1193422407682001825</atom:id><lastBuildDate>Sat, 01 Feb 2014 08:35:35 +0000</lastBuildDate><category>Algebra</category><category>Real Analysis</category><category>Probability</category><title>phaiakia</title><description></description><link>http://phaiakia.blogspot.com/</link><managingEditor>noreply@blogger.com (Lindsey K. Gamard)</managingEditor><generator>Blogger</generator><openSearch:totalResults>17</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-6821354001384023713</guid><pubDate>Sat, 25 Jan 2014 01:41:00 +0000</pubDate><atom:updated>2014-01-24T18:41:58.791-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Real Analysis</category><title>FRA.1.3.14</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-K2Gq5vI-xH0/UuMWRhAebDI/AAAAAAAAAOA/M5QsiW1wfww/s1600/Screen+Shot+2014-01-24+at+6.39.43+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://2.bp.blogspot.com/-K2Gq5vI-xH0/UuMWRhAebDI/AAAAAAAAAOA/M5QsiW1wfww/s1600/Screen+Shot+2014-01-24+at+6.39.43+PM.png&quot; height=&quot;182&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://1.bp.blogspot.com/-WRc2Zuimgeg/UuMWV1yze_I/AAAAAAAAAOI/vF-fwbJ3qug/s1600/Screen+Shot+2014-01-24+at+6.39.55+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://1.bp.blogspot.com/-WRc2Zuimgeg/UuMWV1yze_I/AAAAAAAAAOI/vF-fwbJ3qug/s1600/Screen+Shot+2014-01-24+at+6.39.55+PM.png&quot; height=&quot;93&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/fra1314.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://2.bp.blogspot.com/-K2Gq5vI-xH0/UuMWRhAebDI/AAAAAAAAAOA/M5QsiW1wfww/s72-c/Screen+Shot+2014-01-24+at+6.39.43+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-2103614884864778810</guid><pubDate>Sat, 25 Jan 2014 01:38:00 +0000</pubDate><atom:updated>2014-01-24T18:38:34.234-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Real Analysis</category><title>FRA.1.3.8</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://1.bp.blogspot.com/-7ft6DL6qdao/UuMVehf9GFI/AAAAAAAAANw/D1sv3Q2ombo/s1600/Screen+Shot+2014-01-24+at+6.37.25+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://1.bp.blogspot.com/-7ft6DL6qdao/UuMVehf9GFI/AAAAAAAAANw/D1sv3Q2ombo/s1600/Screen+Shot+2014-01-24+at+6.37.25+PM.png&quot; height=&quot;89&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://3.bp.blogspot.com/-CFAThgctDOQ/UuMViJUidtI/AAAAAAAAAN4/XHNpJmBK8G8/s1600/Screen+Shot+2014-01-24+at+6.37.34+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://3.bp.blogspot.com/-CFAThgctDOQ/UuMViJUidtI/AAAAAAAAAN4/XHNpJmBK8G8/s1600/Screen+Shot+2014-01-24+at+6.37.34+PM.png&quot; height=&quot;216&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/fra138.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://1.bp.blogspot.com/-7ft6DL6qdao/UuMVehf9GFI/AAAAAAAAANw/D1sv3Q2ombo/s72-c/Screen+Shot+2014-01-24+at+6.37.25+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-3046552061754962333</guid><pubDate>Sat, 25 Jan 2014 01:35:00 +0000</pubDate><atom:updated>2014-01-24T18:35:52.712-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Real Analysis</category><title>FRA.1.2.3</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-kgPDXoFPREY/UuMU3wVKkKI/AAAAAAAAANo/sd78cQS3DoM/s1600/Screen+Shot+2014-01-24+at+6.32.33+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://2.bp.blogspot.com/-kgPDXoFPREY/UuMU3wVKkKI/AAAAAAAAANo/sd78cQS3DoM/s1600/Screen+Shot+2014-01-24+at+6.32.33+PM.png&quot; height=&quot;271&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;a href=&quot;http://1.bp.blogspot.com/-ZsDs3wbIdZI/UuMUzcYBJeI/AAAAAAAAANg/reW9knHdoNw/s1600/Screen+Shot+2014-01-24+at+6.32.49+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://1.bp.blogspot.com/-ZsDs3wbIdZI/UuMUzcYBJeI/AAAAAAAAANg/reW9knHdoNw/s1600/Screen+Shot+2014-01-24+at+6.32.49+PM.png&quot; height=&quot;212&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/fra123.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://2.bp.blogspot.com/-kgPDXoFPREY/UuMU3wVKkKI/AAAAAAAAANo/sd78cQS3DoM/s72-c/Screen+Shot+2014-01-24+at+6.32.33+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-2528059238214280706</guid><pubDate>Sat, 25 Jan 2014 01:30:00 +0000</pubDate><atom:updated>2014-01-24T18:30:23.729-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.2.12</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-r3uWTuCMe_U/UuMTojCZJwI/AAAAAAAAANY/AWp3z4q24Bc/s1600/Screen+Shot+2014-01-24+at+6.28.38+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://2.bp.blogspot.com/-r3uWTuCMe_U/UuMTojCZJwI/AAAAAAAAANY/AWp3z4q24Bc/s1600/Screen+Shot+2014-01-24+at+6.28.38+PM.png&quot; height=&quot;320&quot; width=&quot;265&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/dfaa10212.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://2.bp.blogspot.com/-r3uWTuCMe_U/UuMTojCZJwI/AAAAAAAAANY/AWp3z4q24Bc/s72-c/Screen+Shot+2014-01-24+at+6.28.38+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-9178249275243620847</guid><pubDate>Sat, 25 Jan 2014 01:27:00 +0000</pubDate><atom:updated>2014-01-24T18:27:55.357-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.2.10</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-A4cxMgR_cWs/UuMS_AqTRWI/AAAAAAAAANQ/2bCatVLaEHM/s1600/Screen+Shot+2014-01-24+at+6.26.53+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://2.bp.blogspot.com/-A4cxMgR_cWs/UuMS_AqTRWI/AAAAAAAAANQ/2bCatVLaEHM/s1600/Screen+Shot+2014-01-24+at+6.26.53+PM.png&quot; height=&quot;165&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/dfaa10210.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://2.bp.blogspot.com/-A4cxMgR_cWs/UuMS_AqTRWI/AAAAAAAAANQ/2bCatVLaEHM/s72-c/Screen+Shot+2014-01-24+at+6.26.53+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-8527687563457519139</guid><pubDate>Sat, 25 Jan 2014 01:26:00 +0000</pubDate><atom:updated>2014-01-24T18:26:05.525-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.2.9</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-NfBn2WokmOc/UuMSoOMsbrI/AAAAAAAAANI/NUNjzLTOxrM/s1600/Screen+Shot+2014-01-24+at+6.25.22+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://2.bp.blogspot.com/-NfBn2WokmOc/UuMSoOMsbrI/AAAAAAAAANI/NUNjzLTOxrM/s1600/Screen+Shot+2014-01-24+at+6.25.22+PM.png&quot; height=&quot;254&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/dfaa1029.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://2.bp.blogspot.com/-NfBn2WokmOc/UuMSoOMsbrI/AAAAAAAAANI/NUNjzLTOxrM/s72-c/Screen+Shot+2014-01-24+at+6.25.22+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-7525377894453336213</guid><pubDate>Sat, 25 Jan 2014 01:24:00 +0000</pubDate><atom:updated>2014-01-24T18:24:27.490-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.2.4</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://3.bp.blogspot.com/-snjMtbxlXRA/UuMSPFQQ-zI/AAAAAAAAANA/SYeGfyOw3Ms/s1600/Screen+Shot+2014-01-24+at+6.23.33+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://3.bp.blogspot.com/-snjMtbxlXRA/UuMSPFQQ-zI/AAAAAAAAANA/SYeGfyOw3Ms/s1600/Screen+Shot+2014-01-24+at+6.23.33+PM.png&quot; height=&quot;320&quot; width=&quot;254&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/dfaa1024.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://3.bp.blogspot.com/-snjMtbxlXRA/UuMSPFQQ-zI/AAAAAAAAANA/SYeGfyOw3Ms/s72-c/Screen+Shot+2014-01-24+at+6.23.33+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-7004318529596364444</guid><pubDate>Sat, 25 Jan 2014 01:21:00 +0000</pubDate><atom:updated>2014-01-24T18:21:22.592-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.1.19</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://1.bp.blogspot.com/-zmEuGhLsfqE/UuMRg0h0vCI/AAAAAAAAAM4/uNc77h4nyFE/s1600/Screen+Shot+2014-01-24+at+6.20.31+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://1.bp.blogspot.com/-zmEuGhLsfqE/UuMRg0h0vCI/AAAAAAAAAM4/uNc77h4nyFE/s1600/Screen+Shot+2014-01-24+at+6.20.31+PM.png&quot; height=&quot;320&quot; width=&quot;260&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/dfaa10119.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://1.bp.blogspot.com/-zmEuGhLsfqE/UuMRg0h0vCI/AAAAAAAAAM4/uNc77h4nyFE/s72-c/Screen+Shot+2014-01-24+at+6.20.31+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-2746273613818072306</guid><pubDate>Sat, 25 Jan 2014 01:18:00 +0000</pubDate><atom:updated>2014-01-24T18:18:53.005-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.1.8</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-zeSV83gk7hk/UuMQS7HWIiI/AAAAAAAAAMs/ryDq6XtYhSg/s1600/Screen+Shot+2014-01-24+at+6.15.10+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://2.bp.blogspot.com/-zeSV83gk7hk/UuMQS7HWIiI/AAAAAAAAAMs/ryDq6XtYhSg/s1600/Screen+Shot+2014-01-24+at+6.15.10+PM.png&quot; height=&quot;144&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-zLJnqV42Mkc/UuMQ4RcLvqI/AAAAAAAAAMw/FXuCEibsuEg/s1600/Screen+Shot+2014-01-24+at+6.16.39+PM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://2.bp.blogspot.com/-zLJnqV42Mkc/UuMQ4RcLvqI/AAAAAAAAAMw/FXuCEibsuEg/s1600/Screen+Shot+2014-01-24+at+6.16.39+PM.png&quot; height=&quot;142&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;pre&gt;&lt;!--EndFragment--&gt;&lt;/pre&gt;</description><link>http://phaiakia.blogspot.com/2014/01/dfaa1018.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://2.bp.blogspot.com/-zeSV83gk7hk/UuMQS7HWIiI/AAAAAAAAAMs/ryDq6XtYhSg/s72-c/Screen+Shot+2014-01-24+at+6.15.10+PM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-4063686463749147759</guid><pubDate>Wed, 15 Jan 2014 16:54:00 +0000</pubDate><atom:updated>2014-01-15T09:55:59.256-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.1.9</title><description>&lt;b&gt;Solution.&lt;/b&gt;&amp;nbsp; &lt;span style=&quot;font-family: Georgia, Times New Roman, serif;&quot;&gt;Let $N, \; M, \; R$ be as in the problem statement.  To show that $A = \{ r \in R \mid rn = 0 \text{ for all } n \in N \}$, the annihilator of $N$ in $R$, is a 2-sided ideal of $R$, we must show that $A$ is a &lt;span style=&quot;text-decoration: underline;&quot;&gt;subring&lt;/span&gt; of $R$ (i.e., $A$ is a subgroup of $R$ that is closed under multiplication), and that $A$ satisfies the left and right absorption properties. &amp;nbsp;&lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif;&quot;&gt;First, since $0m = 0$ for all $m \in M$ ($\dagger$), and $N \subseteq M$, then $0 \in A$, so $A$ is nonempty.  Now let $r,s \in A$.  Then for all $n \in N$, since distribution holds in a module, $$(r-s)n = rn - sn = 0-0 = 0,$$ so $A$ satisfies the subgroup criterion, and $A$ is a subgroup of the &lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif; text-decoration: underline;&quot;&gt;abelian&lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif;&quot;&gt; group $R$ under addition.  Furthermore, for all $n \in N$, $$(rs)n = r(sn) = r(0) = r(n - n) = rn - rn = 0 - 0 = 0,$$ and likewise $(sr)n = 0$, so $A$ is closed under the multiplication in $R$.  Thus $A$ is a &lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif; text-decoration: underline;&quot;&gt;subring&lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif;&quot;&gt; of $R$. &amp;nbsp;&lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif;&quot;&gt;It remains to show that for all $r \in R$ and $a \in A$, $ra \in A$ and $ar \in A$.  We observe that for any arbitrary $n \in N \subseteq M$, $$(ra)n = r(an) = r(0) = r(n - n) = rn - rn = m - m = 0,$$ since $rn = m$ for some $m \in M$.  Furthermore, for all $r \in R$, $rn \in N$ by definition.  Let $rn = \tilde{n}$.  Then $$(ar)n = a(rn) = a \tilde{n} = 0,$$ since $a \in A$.  Thus $A$ satisfies the left and right absorption properties, so $A$ is an ideal of $R$.  $\square$&amp;nbsp;&lt;/span&gt;&lt;br /&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif;&quot;&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif;&quot;&gt;$\dagger$  Since $R$ is a ring with 1, and $R$ is an &lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif; text-decoration: underline;&quot;&gt;abelian&lt;/span&gt;&lt;span style=&quot;font-family: Georgia, &#39;Times New Roman&#39;, serif;&quot;&gt; group under addition, then $m = 1m = (1+0)m = 1m + 0m = m + 0m$.  Subtracting $m$ from the far right and far left sides of this equation yields $0m = 0$.&lt;/span&gt;</description><link>http://phaiakia.blogspot.com/2014/01/dfaa1019.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-8262382505447988512</guid><pubDate>Wed, 15 Jan 2014 16:11:00 +0000</pubDate><atom:updated>2014-01-15T09:12:15.456-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.1.7</title><description>&lt;b&gt;Solution.&lt;/b&gt;&amp;nbsp; Let $R, \; M,$ and each $N_i$ be as in the problem statement.  By the &lt;span style=&quot;text-decoration: underline;&quot;&gt;Submodule&lt;/span&gt; Criterion, it suffices to show that $N = \bigcup_{i = 1}^{\infty} N_i$ is nonempty, and that $x+ry \in N$ for all $r \in R$ and for all $x,y \in N$.  Since each $N_i$ is a &lt;span style=&quot;text-decoration: underline;&quot;&gt;submodule&lt;/span&gt; of $M$, then each $N_i$ is nonempty, so for each $i$, there is some $x_i \in N_i$.  It follows immediately that since $N$ is the union of all the $N_i$&#39;s, that $x_i \in N$ for all $i$, so $N$ is nonempty.  Now let $x,y \in N$ and $r \in R$ be arbitrary.  Then $x \in N_j$ and $y \in N_k$ for some $k,j \in \N$.  Let $\ell = \max \{ j,k \}$; it follows that $x,y \in N_{\ell}$ since $N_j \subseteq N_{\ell}$ and $N_k \subseteq N_{\ell}$.  Since $N_{\ell}$ is a &lt;span style=&quot;text-decoration: underline;&quot;&gt;submodule&lt;/span&gt; of $M$, then $x+ry \in N_{\ell}$.  Furthermore, $N_{\ell} \subseteq N$, so $x+ry \in N$.  Therefore, $N$ is a &lt;span style=&quot;text-decoration: underline;&quot;&gt;submodule&lt;/span&gt; of $M$. &amp;nbsp;$\square$</description><link>http://phaiakia.blogspot.com/2014/01/dfaa1017.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-7766859446559626203</guid><pubDate>Wed, 15 Jan 2014 15:11:00 +0000</pubDate><atom:updated>2014-01-15T08:11:53.843-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Real Analysis</category><title>FRA.1.2.2</title><description>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://1.bp.blogspot.com/-VZAefByRzaY/UtakxlcF8BI/AAAAAAAAAME/QJqxClz3sZk/s1600/Screen+Shot+2014-01-15+at+8.08.51+AM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; height=&quot;186&quot; src=&quot;http://1.bp.blogspot.com/-VZAefByRzaY/UtakxlcF8BI/AAAAAAAAAME/QJqxClz3sZk/s320/Screen+Shot+2014-01-15+at+8.08.51+AM.png&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-6BawdVH_e-g/Utakxg1DOYI/AAAAAAAAAMA/1QsZbQz9w40/s1600/Screen+Shot+2014-01-15+at+8.09.13+AM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; height=&quot;123&quot; src=&quot;http://2.bp.blogspot.com/-6BawdVH_e-g/Utakxg1DOYI/AAAAAAAAAMA/1QsZbQz9w40/s320/Screen+Shot+2014-01-15+at+8.09.13+AM.png&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;http://2.bp.blogspot.com/-pDw3NSRBJ_A/UtakxX01gcI/AAAAAAAAAL8/m4MdjLfmpGk/s1600/Screen+Shot+2014-01-15+at+8.09.28+AM.png&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; height=&quot;51&quot; src=&quot;http://2.bp.blogspot.com/-pDw3NSRBJ_A/UtakxX01gcI/AAAAAAAAAL8/m4MdjLfmpGk/s320/Screen+Shot+2014-01-15+at+8.09.28+AM.png&quot; width=&quot;320&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: left;&quot;&gt;$\dagger$ &amp;nbsp;A proof that every open set $F \in \mathcal{F}$ can be written as the countable union of open intervals can be found at:&amp;nbsp;&lt;a href=&quot;http://math.stackexchange.com/questions/318299/any-open-subset-of-bbb-r-is-a-countable-union-of-disjoint-open-intervals-co&quot;&gt;http://math.stackexchange.com/questions/318299/any-open-subset-of-bbb-r-is-a-countable-union-of-disjoint-open-intervals-co&lt;/a&gt;&lt;/div&gt;&lt;br /&gt;</description><link>http://phaiakia.blogspot.com/2014/01/fra122.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="http://1.bp.blogspot.com/-VZAefByRzaY/UtakxlcF8BI/AAAAAAAAAME/QJqxClz3sZk/s72-c/Screen+Shot+2014-01-15+at+8.08.51+AM.png" height="72" width="72"/></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-6413606187313857823</guid><pubDate>Tue, 14 Jan 2014 04:54:00 +0000</pubDate><atom:updated>2014-01-14T06:20:57.655-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.1.2</title><description>&lt;b&gt;Solution.&lt;/b&gt;&amp;nbsp; Let $R$ be a ring with 1 and let $M$ be a left $R$-module. &amp;nbsp;Recall that $R^{\times}$ is a subset of $R$, and that $R^{\times}$ is a group under multiplication. &amp;nbsp;Define the group action of $R^{\times}$ on $M$ by $r \cdot m = rm$ for $r \in R^{\times}$ and $m \in M$ (i.e. restrict the mapping $R \times M \to M$ from the definition of a module to $R^{\times} \times M \to M$). &amp;nbsp;By the definition of a unital module, for all $r,s \in R$ and $m \in M$, $(rs)m = r(sm)$ and $1m = m$. &amp;nbsp;It follows that $$\begin{align*} r \cdot (s \cdot m) &amp;amp;= r \cdot (sm) \\ &amp;amp;= r(sm) \\ &amp;amp;= (rs)m \\ &amp;amp;= (rs) \cdot m, \end{align*}$$ and that $$\begin{align*} 1 \cdot m &amp;amp;= 1m \\ &amp;amp;= m, \end{align*}$$ as desired. &amp;nbsp;$\square$</description><link>http://phaiakia.blogspot.com/2014/01/dfaa1012.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-2782944929115570278</guid><pubDate>Tue, 14 Jan 2014 04:32:00 +0000</pubDate><atom:updated>2014-01-13T22:15:03.806-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.1.4</title><description>&lt;b&gt;Solution to (a).&lt;/b&gt;&amp;nbsp; Let $M$ be the module $R^n$ as in Example 3, and let $I_1,I_2,\dots,I_n$ be left ideals of $R$. &amp;nbsp;We wish to show that the set $N_a = \{ (x_1,x_2,\dots,x_n) \mid x_i \in I_i \}$ is a submodule of $M$. &amp;nbsp;By the Submodule Criterion (Prop. 1), it suffices to show that $N_a \neq \emptyset$ and that for all $r \in R$ and $x,y \in N_a$, $x+ry \in N_a$. &amp;nbsp;First, since each $I_i$ is an ideal, it is nonempty, and so $0 \in I_i$ for all $i$. &amp;nbsp;Thus, $(0,0,\dots,0) \in N_a$, so $N_a \neq \emptyset$. &amp;nbsp;Denote $x = (x_1,x_2,\dots,x_n) \in N_a$ and $y = (y_1,y_2,\dots,y_n) \in N_a$. &amp;nbsp;Since each $I_i$ is a left ideal, then $ry_i \in I_i$ for each $i$, and it follows that $ry = (ry_1,ry_2,\dots,ry_n) \in N_a$. &amp;nbsp;Furthermore, since each $I_i$ is a subgroup of the abelian group $R$ under addition, then each $I_i$ is closed under addition. &amp;nbsp;Hence $x_i + ry_i \in I_i$ for each $i$, and it follows that $(x_1+ry_1,x_2+ry_2,\dots,x_n+ry_n) \in N_a$. &amp;nbsp;Since $x+ry = (x_1+ry_1,x_2+ry_2,\dots,x_n+ry_n)$, this shows that $N_a$ is a submodule of $M$. &amp;nbsp;$\square$&lt;br /&gt;&lt;br /&gt;&lt;b&gt;Sketch of (b).&lt;/b&gt;&amp;nbsp; Let $N_b = \{ (x_1,x_2,\dots,x_n) \mid x_i \in R \text{ and } x_1+x_2+ \cdots +x_n = 0 \}$. &amp;nbsp;Since $0+0+ \cdots&amp;nbsp;+0 = 0$, then $N_b \neq \emptyset$. &amp;nbsp;Also, for any $r \in R$, $x,y \in N_b$, $$\begin{align*} (x_1+ry_1)&amp;nbsp;+ (x_2+ry_2)&amp;nbsp;+ \cdots&amp;nbsp;+ (x_n+ry_n) &amp;amp;= (x_1+x_2+ \cdots + x_n)&amp;nbsp;+ r(y_1+y_2+ \cdots&amp;nbsp;+ y_n) \\ &amp;amp;= 0&amp;nbsp;+ r(0) \\ &amp;amp;= 0,&amp;nbsp;\end{align*}$$ so $x+ry \in N_b$. &amp;nbsp;$\square$</description><link>http://phaiakia.blogspot.com/2014/01/dfaa1014.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-3532875275730742779</guid><pubDate>Tue, 14 Jan 2014 03:42:00 +0000</pubDate><atom:updated>2014-01-13T21:01:46.244-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Algebra</category><title>DFAA.10.1.1</title><description>&lt;b&gt;Solution.&lt;/b&gt;&amp;nbsp; Let $R$ be a ring with 1 and let $M$ be a left $R$-module. &amp;nbsp;Using the definition of a module, $m = 1m = (0+1)m = 0m&amp;nbsp;+ 1m = 0m&amp;nbsp;+ m$, and subtracting $m$ from both the far left and far right sides yields $0 = 0m$. &amp;nbsp;Now, $0 = 0m = (1+-1)m = 1m +&amp;nbsp;(-1)m = m + (-1)m$, and it follows that $0-m = m + (-1)m - m$, so $-m = (-1)m$. &amp;nbsp;$\square$</description><link>http://phaiakia.blogspot.com/2014/01/df1011.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-6016958045365250342</guid><pubDate>Wed, 08 Jan 2014 04:36:00 +0000</pubDate><atom:updated>2014-01-07T22:39:55.651-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Probability</category><title>SP.I.1.3</title><description>&lt;b&gt;Solution.&lt;/b&gt;&amp;nbsp; The proof is by induction. &amp;nbsp;For our base case, let $n = 1$. &amp;nbsp;Clearly $\mathsf{P}(A_1) \leq \mathsf{P}(A_1)$. &amp;nbsp;Now we assume that $$\mathsf{P}(A_1 \cup \cdots \cup A_n) \leq \mathsf{P}(A_1) + \cdots +&amp;nbsp;\mathsf{P}(A_n),$$ and we must prove that $$\mathsf{P}(A_1 \cup \cdots \cup A_n \cup A_{n+1}) \leq \mathsf{P}(A_1) + \cdots&amp;nbsp;+\mathsf{P}(A_n) +&amp;nbsp;\mathsf{P}(A_{n+1}).$$&lt;br /&gt;&lt;br /&gt;Denote $B = A_1 \cup \cdots \cup A_n$. &amp;nbsp;We observe that $B \cup A_{n+1} = (B \backslash A_{n+1}) +&amp;nbsp;(A_{n+1} \backslash B)&amp;nbsp;+ A_{n+1}B$ and that $B = (B \backslash A_{n+1})&amp;nbsp;+ A_{n+1}B$ and $A_{n+1} = (A_{n+1} \backslash B)&amp;nbsp;+ A_{n+1}B$. &amp;nbsp;Since each of $B \backslash A_{n+1}, \; A_{n+1} \backslash B, \; \text{and} \; A_{n+1}B$ are finite, we list the elements of each: $$B \backslash A_{n+1} = \{ \omega_1,\dots,\omega_i \},$$ $$A_{n+1}B = \{ \omega_{i+1},\dots,\omega_j&amp;nbsp;\},$$ $$A_{n+1} \backslash B = \{ \omega_{j+1},\dots,\omega_k \},$$ so that $A_1 \cup \cdots \cup A_n \cup A_{n+1} = \{ \omega_1,\dots,\omega_k \}$, $B = \{ \omega_1,\dots,\omega_j \}$, and $A_{n+1} = \{ \omega_{i+1},\dots,\omega_k \}$.&lt;br /&gt;&lt;br /&gt;Furthermore, $$\mathsf{P}(B \backslash A_{n+1}) = \sum_{m=1}^i p(\omega_m),$$ $$\mathsf{P}(A_{n+1} B) = \sum_{m=i+1}^j p(\omega_m),$$ $$\mathsf{P}(A_{n+1} \backslash B) = \sum_{m=j+1}^k p(\omega_m).$$ &amp;nbsp;It follows (by the nonnegativity of $p(\omega_m)$) that $$\begin{align} \mathsf{P}(A_1 \cup \cdots \cup A_n \cup A_{n+1}) &amp;amp;= \sum_{m=1}^k p(\omega_m) \\ &amp;amp;= \sum_{m=1}^j p(\omega_m) + \sum_{m=j+1}^k p(\omega_m) \\ &amp;amp;\leq \sum_{m=1}^j p(\omega_m)&amp;nbsp;+ \sum_{m=i+1}^k p(\omega_m) \\ &amp;amp;= \mathsf{P}(B)&amp;nbsp;+ \mathsf{P}(A_{n+1}) \\ &amp;amp;\leq \mathsf{P}(A_1)&amp;nbsp;+ \cdots&amp;nbsp;+ \mathsf{P}(A_n)&amp;nbsp;+ \mathsf{P}(A_{n+1}),&amp;nbsp;\end{align}$$ as desired. &amp;nbsp;$\square$</description><link>http://phaiakia.blogspot.com/2014/01/spi13.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author></item><item><guid isPermaLink="false">tag:blogger.com,1999:blog-1193422407682001825.post-2174050061459057396</guid><pubDate>Tue, 07 Jan 2014 15:59:00 +0000</pubDate><atom:updated>2014-01-07T10:11:06.214-07:00</atom:updated><category domain="http://www.blogger.com/atom/ns#">Probability</category><title>SP.I.1.1</title><description>&lt;b&gt;Partial solution.&lt;/b&gt;&amp;nbsp; Let $X$ be a nonempty set and $A,B \subseteq X$ with $A \neq \emptyset$ and $B \neq \emptyset$. &amp;nbsp;Suppose $x \in \overline{A \cup B}$. &amp;nbsp;Then $$x \in X \backslash (A \cup B) \hspace{1cm} \text{by definition}$$ $$\iff x \in X \wedge x \notin (A \cup B) \hspace{1cm} \text{by definition}$$ $$\iff x \in X \wedge \neg (x \in A \vee x \in B) \hspace{1cm} \text{by definition}$$ $$\iff x \in X \wedge (x \notin A \wedge x \notin B) \hspace{1cm} \text{DeMorgan&#39;s Laws}$$ $$\iff (x \in X \wedge x \notin A) \wedge (x \in X \wedge x \notin B) \hspace{1cm} \text{idempotency, commutativity, associativity}$$ $$\iff x \in X \backslash A \wedge x \in X \backslash B \hspace{1cm} \text{by definition}$$ $$\iff x \in \overline{A} \wedge x \in \overline{B} \hspace{1cm} \text{by definition}$$ $$\iff x \in \overline{A} \cap \overline{B} \hspace{1cm} \text{by definition}.$$ Hence we may conclude that $\overline{A \cup B} = \overline{A} \cap \overline{B}$. &amp;nbsp;$\square$</description><link>http://phaiakia.blogspot.com/2014/01/spi11.html</link><author>noreply@blogger.com (Lindsey K. Gamard)</author></item></channel></rss>