<?xml version="1.0" encoding="utf-8" ?>
<rss version="2.0">
	<channel>
		<title>My math notes</title>
		<link>http://uselessmath.info</link>
		<description><![CDATA[Just random math notes]]></description>
		<copyright>Copyright 2006, Angel</copyright>
		<managingEditor>angeltoledo@gmail.com</managingEditor>
		<language>en-us</language>

		<generator>FlatPress</generator>
								<item>
		
			<title>More convex hull - Krein-Milman</title>
			<link>http://uselessmath.info/index.php?entry=entry100516-040904</link>
			<description><![CDATA[	<p>I kinda said I was going to post more often and stuff but I&#8217;ve been ( again ) very busy with school. The semester is almost over , also I&#8217;ve been waiting for more theorems or lemmas related to the convex hull of a set.<br />
I&#8217;ve been waiting for this theorem for a while , I didnt knew what it said but it was an intuitive idea I thought it may be inside a theorem and guess what. Here it is :).<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;<br />
[sub]Lemma:[/sub]<br />
Let A be a convex compact set, then each supporting hyperplane on A contains at least one extreme point of A.</p>
	<p>[sub]Proof[/sub]</p>
	<p>Let H be a supporting hyperplane on A, we know that <img src="http://uselessmath.info/fp-content/images/hinacerr.gif" alt="hinacerr.gif" title="hinacerr.gif"  class="center" width="89" height="18" /> so it is also compact and convex.<br />
Then there is a point x in the intersection of the hyperplane and A such that it is an extreme point of H intersection A, then x is also an extreme point of A.</p>
	<p>[sub]Krein-Milman Theorem[/sub]<br />
Let E be a convex and compact set on R^n, then the convex hull of the set of extreme points of E is the set E itself.</p>
	<p>[sub]Proof:[/sub]<br />
Its clear that E is a subset of the convex hull of the set of all extreme points of E since the extreme points belong to E.<br />
Now we have to see that <img src="http://uselessmath.info/fp-content/images/eisincpere.gif" alt="eisincpere.gif" title="eisincpere.gif"  class="center" width="115" height="20" /> .<br />
Lets use induction over k the dimension of E<br />
If k =0 then E is a single point<br />
If K = 1 then E is a closed line segment.<br />
Lets use as induction hypothesis that the theorem is true for k-1 with k&lt;n.<br />
Let x be the relative interiorof E. Then by our lemma there is a supporting hyperplane of E that contains x.<br />
Then <img src="http://uselessmath.info/fp-content/images/hinekm.gif" alt="hinekm.gif" title="hinekm.gif"  class="center" width="51" height="16" /> is compact and convex with <img src="http://uselessmath.info/fp-content/images/dimhineltkm1.gif" alt="dimhineltkm1.gif" title="dimhineltkm1.gif"  class="center" width="160" height="20" />, so by our induction hypothesis we have that x is a convex combination of the extreme points of <img src="http://uselessmath.info/fp-content/images/hinekm.gif" alt="hinekm.gif" title="hinekm.gif"  class="center" width="51" height="16" />. Since the extreme points of <img src="http://uselessmath.info/fp-content/images/hinekm.gif" alt="hinekm.gif" title="hinekm.gif"  class="center" width="51" height="16" /> are extreme in E we have that :<br />
<img src="http://uselessmath.info/fp-content/images/xincperhine.gif" alt="xincperhine.gif" title="xincperhine.gif"  class="center" width="148" height="20" /><br />
If x is in the relative interior of E then there is a line segment that contains x that also intersects the boundary of E. Then E and the line segment can be expressed as a convex combination of extreme points of E then<br />
<img src="http://uselessmath.info/fp-content/images/xincpere.gif" alt="xincpere.gif" title="xincpere.gif"  class="center" width="111" height="20" /><br />
Then:<br />
<img src="http://uselessmath.info/fp-content/images/eincpere.gif" alt="eincpere.gif" title="eincpere.gif"  class="center" width="115" height="20" />.</p>
	<p>&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8211;<br />
This is by far my favorite theorem, Ive been tryin to use it along with <a href="http://en.wikipedia.org/wiki/Radon's_theorem">Radon&#8217;s theorem </a> or directly with <a href="http://en.wikipedia.org/wiki/Carath%C3%A9odory's_theorem_(convex_hull)">Caratheodory&#8217;s</a> but I havent found anything good enough.<br />
:)
</p>
]]></description>
			 <category>Convex Sets </category>			<guid isPermaLink="true">http://uselessmath.info/index.php?entry=entry100516-040904</guid>

			<author>Angel angeltoledo@gmail.com</author>
			<pubDate>Sun, 16 May 2010 04:09:04 +0200</pubDate>
			<comments>http://uselessmath.info/comments.php?entry=entry100516-040904</comments>
			
			</item>
						<item>
		
			<title>On Blaschke's Theorem</title>
			<link>http://uselessmath.info/index.php?entry=entry100414-023223</link>
			<description><![CDATA[	<p>I know I havent been around lately, but Ive been very busy with school and stuff and I think thats a good thing, even for the blog, I have a few more theorems I want to post, Ill try to catch up as fast as possible.<br />
I liked this one a lot, this is again on convex sets, I was going to post Jung&#8217;s theorem but the proof I have is all on Rober Webster&#8217;s Convexity book, I havent really checked if this one is in there but as far as I know it is not.<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;<br />
<span style="text-decoration: underline">Lemma</span><br />
Let <img src="http://uselessmath.info/fp-content/images/sinr2.gif" alt="sinr2.gif" title="sinr2.gif"  class="center" width="53" height="17" />  be a convex and compact set, then there is a point x in S such that every chord which includes x is divided by x leaving on each side more than one third of the chord.</p>
	<p><span style="text-decoration: underline">Proof</span><br />
Let y in the boundary of S, then we define the set Sy as the points on every chord that has as a boundary the point y, and that the distance to y its less than 2 thirds of the lenght of the chord.</p>
	<p>Let y,z,w be on the boundary of S and lets define Sw,Sz and Sy as before.</p>
	<p>Using the triange with vertices wzy we build the medians and define x as the centroid of the triangle, now we&#8217;ll show that <img src="http://uselessmath.info/fp-content/images/xinsyswsz.gif" alt="xinsyswsz.gif" title="xinsyswsz.gif"  class="center" width="131" height="16" /> .<br />
This is because <img src="http://uselessmath.info/fp-content/images/in1.gif" alt="in1.gif" title="in1.gif"  class="center" width="150" height="19" /><br />
but<br />
<img src="http://uselessmath.info/fp-content/images/in2.gif" alt="in2.gif" title="in2.gif"  class="center" width="168" height="19" /> then<br />
<img src="http://uselessmath.info/fp-content/images/in3.gif" alt="in3.gif" title="in3.gif"  class="center" width="169" height="23" /> then<br />
<img src="http://uselessmath.info/fp-content/images/in4.gif" alt="in4.gif" title="in4.gif"  class="center" width="160" height="23" />, using the same argument we can show that <img src="http://uselessmath.info/fp-content/images/in5.gif" alt="in5.gif" title="in5.gif"  class="center" width="287" height="19" />    with w&#8217;,z&#8217; and y&#8217; the boundary of the median with vertex w,y,z and a the midpoint of yz.<br />
Now we have that <img src="http://uselessmath.info/fp-content/images/xinsyswsz.gif" alt="xinsyswsz.gif" title="xinsyswsz.gif"  class="center" width="131" height="16" /><br />
Then <img src="http://uselessmath.info/fp-content/images/xoinsxinfr.gif" alt="xoinsxinfr.gif" title="xoinsxinfr.gif"  class="center" width="113" height="45" /> using <a href="http://en.wikipedia.org/wiki/Helly's_theorem">Helly&#8217;s theorem  </a><br />
Let bb&#8217; be a chord that includes x0, then <img src="http://uselessmath.info/fp-content/images/xoinsbsbp.gif" alt="xoinsbsbp.gif" title="xoinsbsbp.gif"  class="center" width="87" height="17" /><br />
Then, <img src="http://uselessmath.info/fp-content/images/in6.gif" alt="in6.gif" title="in6.gif"  class="center" width="318" height="23" /><br />
This proofs our lemma.</p>
	<p><span style="text-decoration: underline">Theorem ( Blaschke&#8217;s ) </span>  :<br />
Every convex, compact set S with width 1 contains a circle of radius 1/3.</p>
	<p><span style="text-decoration: underline">Proof</span>:<br />
By the last lemma there exists <img src="http://uselessmath.info/fp-content/images/xoinsxinfr.gif" alt="xoinsxinfr.gif" title="xoinsxinfr.gif"  class="center" width="113" height="45" /> on S.<br />
Lets show that  <img src="http://uselessmath.info/fp-content/images/ball13ins.gif" alt="ball13ins.gif" title="ball13ins.gif"  class="center" width="88" height="24" />.<br />
Let y in the boundary of <img src="http://uselessmath.info/fp-content/images/ball13.gif" alt="ball13.gif" title="ball13.gif"  class="center" width="53" height="24" /> and let ww&#8217; be a chord that includes x0, then, since the width of the set is 1, all chords have lenght greather or equal than 1.<br />
Now <img src="http://uselessmath.info/fp-content/images/in7.gif" alt="in7.gif" title="in7.gif"  class="center" width="330" height="23" />, then <img src="http://uselessmath.info/fp-content/images/yins.gif" alt="yins.gif" title="yins.gif"  class="center" width="42" height="16" />. QED.<br />
&#8212;&#8212;&#8212;-<br />
I hope you comment, Ill try to upload about other topics, maybe some algebra or number theory.<br />
&#8216;Till next time :)
</p>
]]></description>
			 <category>Convex Sets </category>			<guid isPermaLink="true">http://uselessmath.info/index.php?entry=entry100414-023223</guid>

			<author>Angel angeltoledo@gmail.com</author>
			<pubDate>Wed, 14 Apr 2010 02:32:23 +0200</pubDate>
			<comments>http://uselessmath.info/comments.php?entry=entry100414-023223</comments>
			
			</item>
						<item>
		
			<title>Gauss-Lucas Theorem</title>
			<link>http://uselessmath.info/index.php?entry=entry100228-222955</link>
			<description><![CDATA[	<p>Im back with a very known theorem, I like it a lot, even if the proof is already on the <a href="http://en.wikipedia.org/wiki/Gauss%E2%80%93Lucas_theorem"> Wikipedia </a> Id like to write it here with an example because its a direct consequence of the Convex Hull post I wrote before.<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
<span style="text-decoration: underline">Gauss-Lucas Theorem:</span><br />
The roots of the derivative of a non constant complex polynomial belong to the convex hull generated by the roots of the polynomial.</p>
	<p><span style="text-decoration: underline">Proof</span>:<br />
Let <img src="http://uselessmath.info/fp-content/images/polynom.gif" alt="polynom.gif" title="polynom.gif"  class="center" width="202" height="18" /><br />
Since we know that <img src="http://uselessmath.info/fp-content/images/derivoverorig.gif" alt="derivoverorig.gif" title="derivoverorig.gif"  class="center" width="174" height="29" /> where z1,&#8230;,zn are the roots of the polynomial .</p>
	<p>We can also write <img src="http://uselessmath.info/fp-content/images/root.gif" alt="root.gif" title="root.gif"  class="center" width="96" height="28" /><br />
Now:<br />
<img src="http://uselessmath.info/fp-content/images/newderivoorig.gif" alt="newderivoorig.gif" title="newderivoorig.gif"  class="center" width="201" height="31" /><br />
If z is a root of the derivative, then:<br />
<img src="http://uselessmath.info/fp-content/images/0eqbaroverprime.gif" alt="0eqbaroverprime.gif" title="0eqbaroverprime.gif"  class="center" width="181" height="30" /> This means that:<br />
<img src="http://uselessmath.info/fp-content/images/0wbeqoverprime.gif" alt="0wbeqoverprime.gif" title="0wbeqoverprime.gif"  class="center" width="179" height="25" /><br />
Then :<br />
<img src="http://uselessmath.info/fp-content/images/despziprimefac.gif" alt="despziprimefac.gif" title="despziprimefac.gif"  class="center" width="314" height="25" /><br />
Which means:<br />
<img src="http://uselessmath.info/fp-content/images/factzright.gif" alt="factzright.gif" title="factzright.gif"  class="center" width="344" height="33" /><br />
Then:<br />
<img src="http://uselessmath.info/fp-content/images/zeqalot.gif" alt="zeqalot.gif" title="zeqalot.gif"  class="center" width="312" height="96" /></p>
	<p>But with this we know that z is a convex combination of all the roots, this is because :<br />
<img src="http://uselessmath.info/fp-content/images/1eqalot.gif" alt="1eqalot.gif" title="1eqalot.gif"  class="center" width="310" height="97" /><br />
Then by <a href="http://uselessmath.info/comments.php?entry=entry100217-070841">this</a> we know that z is in the convex hull of <img src="http://uselessmath.info/fp-content/images/convexhullz1zn.gif" alt="convexhullz1zn.gif" title="convexhullz1zn.gif"  class="center" width="62" height="12" /></p>
	<p>QED.</p>
	<p><span style="text-decoration: underline">Example</span>:<br />
Proof that the diameter of the set of roots of the polynomial :<br />
<img src="http://uselessmath.info/fp-content/images/polyexamplez.gif" alt="polyexamplez.gif" title="polyexamplez.gif"  class="center" width="225" height="20" /> cannot be less than <img src="http://uselessmath.info/fp-content/images/diameterlessz.gif" alt="diameterlessz.gif" title="diameterlessz.gif"  class="center" width="136" height="22" /></p>
	<p><span style="text-decoration: underline">Proof</span>:<br />
We know that <img src="http://uselessmath.info/fp-content/images/doublederivz.gif" alt="doublederivz.gif" title="doublederivz.gif"  class="center" width="177" height="20" />:<br />
Now we just use that:<br />
<img src="http://uselessmath.info/fp-content/images/root1chich.gif" alt="root1chich.gif" title="root1chich.gif"  class="center" width="144" height="26" /> and <img src="http://uselessmath.info/fp-content/images/root2chich.gif" alt="root2chich.gif" title="root2chich.gif"  class="center" width="144" height="26" /><br />
Now its clear that:<br />
<img src="http://uselessmath.info/fp-content/images/resultabsz1z2.gif" alt="resultabsz1z2.gif" title="resultabsz1z2.gif"  class="center" width="224" height="22" />.<br />
Since the roots of the derivative are inside the convex hull generated by the roots of the original polynomial, then the diameter between them cannot be less than the diameter between the set of the roots of the second derivative of the polynomial.</p>
	<p>&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
The example was one of the problems on my exam. Good luck I liked this theorem and I didnt forget about it :).</p>
]]></description>
			 <category>Convex Sets </category>			<guid isPermaLink="true">http://uselessmath.info/index.php?entry=entry100228-222955</guid>

			<author>Angel angeltoledo@gmail.com</author>
			<pubDate>Sun, 28 Feb 2010 22:29:55 +0100</pubDate>
			<comments>http://uselessmath.info/comments.php?entry=entry100228-222955</comments>
			
			</item>
						<item>
		
			<title>Number theory - Möbius function</title>
			<link>http://uselessmath.info/index.php?entry=entry100219-022052</link>
			<description><![CDATA[	<p>I like this function a lot, proposition is not THAT interesting but whatevs<br />
&#8212;&#8212;&#8212;-<br />
Lets define the Möbius function as:<br />
<img src="http://uselessmath.info/fp-content/images/mob.gif" alt="mob.gif" title="mob.gif"  class="center" width="379" height="79" /></p>
	<p><span style="text-decoration: underline">Proposition</span>:</p>
	<p><img src="http://uselessmath.info/fp-content/images/mun.gif" alt="mun.gif" title="mun.gif"  class="center" width="37" height="20" /> is multiplicative and <img src="http://uselessmath.info/fp-content/images/summu.gif" alt="summu.gif" title="summu.gif"  class="center" width="195" height="59" /></p>
	<p><span style="text-decoration: underline">Proof</span>:</p>
	<p>Let gcd(m,n)=1</p>
	<p>If <img src="http://uselessmath.info/fp-content/images/asdm.gif" alt="asdm.gif" title="asdm.gif"  class="center" width="49" height="22" /> or <img src="http://uselessmath.info/fp-content/images/a2dnta2dmn.gif" alt="a2dnta2dmn.gif" title="a2dnta2dmn.gif"  class="center" width="111" height="19" /><br />
Then <img src="http://uselessmath.info/fp-content/images/mumn.gif" alt="mumn.gif" title="mumn.gif"  class="center" width="157" height="18" /></p>
	<p>If <img src="http://uselessmath.info/fp-content/images/mp1pr.gif" alt="mp1pr.gif" title="mp1pr.gif"  class="center" width="76" height="12" /> , <img src="http://uselessmath.info/fp-content/images/nq1qs.gif" alt="nq1qs.gif" title="nq1qs.gif"  class="center" width="69" height="12" />, then<br />
<img src="http://uselessmath.info/fp-content/images/mumnm1.gif" alt="mumnm1.gif" title="mumnm1.gif"  class="center" width="296" height="18" /></p>
	<p>If n or m = 1 proof is clear.</p>
	<p>Now, let <img src="http://uselessmath.info/fp-content/images/fsummu.gif" alt="fsummu.gif" title="fsummu.gif"  class="center" width="119" height="22" />, since <img src="http://uselessmath.info/fp-content/images/mun.gif" alt="mun.gif" title="mun.gif"  class="center" width="37" height="20" /> is multiplicative then F(n) is multiplicative.</p>
	<p>It is clear that <img src="http://uselessmath.info/fp-content/images/f1.gif" alt="f1.gif" title="f1.gif"  class="center" width="109" height="18" /></p>
	<p>Also:</p>
	<p><img src="http://uselessmath.info/fp-content/images/largef.gif" alt="largef.gif" title="largef.gif"  class="center" width="562" height="26" />. </p>
	<p>( Möbius function is 0 on <img src="http://uselessmath.info/fp-content/images/palpha2.gif" alt="palpha2.gif" title="palpha2.gif"  class="center" width="74" height="19" /> )</p>
	<p>Now, if we use prime factorization on n, if n&gt;1:</p>
	<p><img src="http://uselessmath.info/fp-content/images/fnfpr.gif" alt="fnfpr.gif" title="fnfpr.gif"  class="center" width="277" height="22" /> we can do this because F(n) is multiplicative.</p>
	<p>&#8212;&#8212;&#8211;<br />
I &lt;3 Möbius  function </p>
]]></description>
			 <category>Notes, Number theory </category>			<guid isPermaLink="true">http://uselessmath.info/index.php?entry=entry100219-022052</guid>

			<author>Angel angeltoledo@gmail.com</author>
			<pubDate>Fri, 19 Feb 2010 02:20:52 +0100</pubDate>
			<comments>http://uselessmath.info/comments.php?entry=entry100219-022052</comments>
			
			</item>
						<item>
		
			<title>Convex sets - Convex Hull</title>
			<link>http://uselessmath.info/index.php?entry=entry100217-070841</link>
			<description><![CDATA[	<p>First post is on basic convex set theory, I liked this because it was simple, demonstration was not very hard either.</p>
	<p>The convex hull for a set A ( Im using real A a subset of <img src="http://uselessmath.info/fp-content/images/r.gif" alt="r.gif" title="r.gif"  class="center" width="15" height="15" /> ) is the minimal convex set that contains A.<br />
We&#8217;ll now define:</p>
	<p><img src="http://uselessmath.info/fp-content/images/pconvex.gif" alt="pconvex.gif" title="pconvex.gif"  class="center" width="374" height="57" /></p>
	<p><span style="text-decoration: underline">Lemma</span>:</p>
	<p>Let <img src="http://uselessmath.info/fp-content/images/pointconvex.gif" alt="pointconvex.gif" title="pointconvex.gif"  class="center" width="171" height="19" /> with A a convex set and <img src="http://uselessmath.info/fp-content/images/pointinpk.gif" alt="pointinpk.gif" title="pointinpk.gif"  class="center" width="119" height="20" /> then <img src="http://uselessmath.info/fp-content/images/pina.gif" alt="pina.gif" title="pina.gif"  class="center" width="166" height="18" /></p>
	<p><span style="text-decoration: underline">Proof</span>:</p>
	<p>We&#8217;ll use induction over k.<br />
If k=1 then x*1 is in A ( we choose x that way ).<br />
Now we&#8217;ll asume that it works for every k.<br />
Now, let <img src="http://uselessmath.info/fp-content/images/xconvex.gif" alt="xconvex.gif" title="xconvex.gif"  class="center" width="252" height="17" /> where <img src="http://uselessmath.info/fp-content/images/pinpk1.gif" alt="pinpk1.gif" title="pinpk1.gif"  class="center" width="152" height="20" /> and <img src="http://uselessmath.info/fp-content/images/xina.gif" alt="xina.gif" title="xina.gif"  class="center" width="120" height="18" /></p>
	<p>We wanna see that x is in A.</p>
	<p>Since <img src="http://uselessmath.info/fp-content/images/pinpk1.gif" alt="pinpk1.gif" title="pinpk1.gif"  class="center" width="152" height="20" /> then at least there is one <img src="http://uselessmath.info/fp-content/images/pil1.gif" alt="pil1.gif" title="pil1.gif"  class="center" width="49" height="18" />, lets say its <img src="http://uselessmath.info/fp-content/images/pk1l1.gif" alt="pk1l1.gif" title="pk1l1.gif"  class="center" width="69" height="18" />. </p>
	<p>Let <img src="http://uselessmath.info/fp-content/images/lambdaconvex.gif" alt="lambdaconvex.gif" title="lambdaconvex.gif"  class="center" width="216" height="19" /><br />
 and<br />
<img src="http://uselessmath.info/fp-content/images/yconvex.gif" alt="yconvex.gif" title="yconvex.gif"  class="center" width="169" height="36" />. </p>
	<p>Then we know by our induction hypothesis that y is in A .<br />
Now, since A is a convex set and <img src="http://uselessmath.info/fp-content/images/yxk1ina.gif" alt="yxk1ina.gif" title="yxk1ina.gif"  class="center" width="89" height="18" /> then <img src="http://uselessmath.info/fp-content/images/xinaa.gif" alt="xinaa.gif" title="xinaa.gif"  class="center" width="181" height="19" />.</p>
	<p>This shows that x is in A.</p>
	<p><span style="text-decoration: underline">Definition</span>:</p>
	<p>A point <img src="http://uselessmath.info/fp-content/images/xinrn.gif" alt="xinrn.gif" title="xinrn.gif"  class="center" width="52" height="14" /> its a convex combination of points <img src="http://uselessmath.info/fp-content/images/x1xninrn.gif" alt="x1xninrn.gif" title="x1xninrn.gif"  class="center" width="105" height="16" /> if there is <img src="http://uselessmath.info/fp-content/images/pointinpk.gif" alt="pointinpk.gif" title="pointinpk.gif"  class="center" width="119" height="20" /> such that <img src="http://uselessmath.info/fp-content/images/xeqp1pk.gif" alt="xeqp1pk.gif" title="xeqp1pk.gif"  class="center" width="154" height="15" /></p>
	<p><span style="text-decoration: underline">Theorem</span>:</p>
	<p>Let <img src="http://uselessmath.info/fp-content/images/ainrn.gif" alt="ainrn.gif" title="ainrn.gif"  class="center" width="57" height="16" /> then c(A) ( The convex hull of the set A ) is the set of all convex combinations  of all points in A.</p>
	<p><span style="text-decoration: underline">Proof</span>:</p>
	<p>Let B the set of all convex combinations of points in A.<br />
We now have to show that B=c(A) (convex hull of A )</p>
	<p>1)</p>
	<p>Let x be an element of B, then <img src="http://uselessmath.info/fp-content/images/xeqp1pk.gif" alt="xeqp1pk.gif" title="xeqp1pk.gif"  class="center" width="154" height="15" /> with <img src="http://uselessmath.info/fp-content/images/x1xkina.gif" alt="x1xkina.gif" title="x1xkina.gif"  class="center" width="97" height="16" /> and <img src="http://uselessmath.info/fp-content/images/pointinpk.gif" alt="pointinpk.gif" title="pointinpk.gif"  class="center" width="119" height="20" />, since A is in c(A) then <img src="http://uselessmath.info/fp-content/images/x1xkinca.gif" alt="x1xkinca.gif" title="x1xkinca.gif"  class="center" width="116" height="18" /> , then <img src="http://uselessmath.info/fp-content/images/p1x1pkxkinca.gif" alt="p1x1pkxkinca.gif" title="p1x1pkxkinca.gif"  class="center" width="149" height="18" /> because c(A) is convex.<br />
This shows that <img src="http://uselessmath.info/fp-content/images/bsubca.gif" alt="bsubca.gif" title="bsubca.gif"  class="center" width="69" height="18" />.</p>
	<p>2)</p>
	<p>Note that if B is a convex set then A is a subset of B,this is because if x is in A then there is a <img src="http://uselessmath.info/fp-content/images/pinp1.gif" alt="pinp1.gif" title="pinp1.gif"  class="center" width="48" height="16" /> such that px will be on B. Then c(A) is a subset of B</p>
	<p>We have to show that B is convex.</p>
	<p>Let x and y be in B<br />
Then <img src="http://uselessmath.info/fp-content/images/xeqp1pk.gif" alt="xeqp1pk.gif" title="xeqp1pk.gif"  class="center" width="154" height="15" /> and <img src="http://uselessmath.info/fp-content/images/yeqq1qr.gif" alt="yeqq1qr.gif" title="yeqq1qr.gif"  class="center" width="146" height="15" /> where <img src="http://uselessmath.info/fp-content/images/x1yrina.gif" alt="x1yrina.gif" title="x1yrina.gif"  class="center" width="164" height="16" /> and <img src="http://uselessmath.info/fp-content/images/pointinpk.gif" alt="pointinpk.gif" title="pointinpk.gif"  class="center" width="119" height="20" /> and <img src="http://uselessmath.info/fp-content/images/pointinpr.gif" alt="pointinpr.gif" title="pointinpr.gif"  class="center" width="110" height="18" />.<br />
Let <img src="http://uselessmath.info/fp-content/images/oparamxy.gif" alt="oparamxy.gif" title="oparamxy.gif"  class="center" width="111" height="17" /> with <img src="http://uselessmath.info/fp-content/images/lambmugeq0.gif" alt="lambmugeq0.gif" title="lambmugeq0.gif"  class="center" width="59" height="17" /> such that <img src="http://uselessmath.info/fp-content/images/lambmueq1.gif" alt="lambmueq1.gif" title="lambmueq1.gif"  class="center" width="71" height="17" /><br />
Then <img src="http://uselessmath.info/fp-content/images/omegaeqpxqy.gif" alt="omegaeqpxqy.gif" title="omegaeqpxqy.gif"  class="center" width="335" height="18" />, it is clear now that <img src="http://uselessmath.info/fp-content/images/lpmqeq1.gif" alt="lpmqeq1.gif" title="lpmqeq1.gif"  class="center" width="330" height="18" /><br />
This shows that <img src="http://uselessmath.info/fp-content/images/omegainb.gif" alt="omegainb.gif" title="omegainb.gif"  class="center" width="46" height="14" />, which means B is convex.</p>
	<p>Then B=c(A).</p>
	<p>&#8212;&#8212;-<br />
&#8216;Till next time :)
</p>
]]></description>
			 <category>Notes, Convex Sets </category>			<guid isPermaLink="true">http://uselessmath.info/index.php?entry=entry100217-070841</guid>

			<author>Angel angeltoledo@gmail.com</author>
			<pubDate>Wed, 17 Feb 2010 07:08:41 +0100</pubDate>
			<comments>http://uselessmath.info/comments.php?entry=entry100217-070841</comments>
			
			</item>
						<item>
		
			<title>New blog</title>
			<link>http://uselessmath.info/index.php?entry=entry100213-024700</link>
			<description><![CDATA[	<p>The old blog has been down for about 3 weeks and I decided to give it a fresh start.</p>
	<p>Old site was about giving application to pure mathematics, but I decided I&#8217;ll just use this for notes and results and demonstrations I find interesting.</p>
	<p>Ill try to update as much as I can.</p>
	<p>Angel.
</p>
]]></description>
						<guid isPermaLink="true">http://uselessmath.info/index.php?entry=entry100213-024700</guid>

			<author>Angel angeltoledo@gmail.com</author>
			<pubDate>Sat, 13 Feb 2010 02:47:00 +0100</pubDate>
			<comments>http://uselessmath.info/comments.php?entry=entry100213-024700</comments>
			
			</item>
					
				
	</channel>
</rss>