<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>What&#039;s keeping me busy ..</title>
	<atom:link href="http://ivanky.wordpress.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://ivanky.wordpress.com</link>
	<description>updates of my academic activities</description>
	<lastBuildDate>Sun, 25 Dec 2011 17:24:00 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='ivanky.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://1.gravatar.com/blavatar/bd76087688476fecf8ee89aca5f04382?s=96&#038;d=http%3A%2F%2Fs2.wp.com%2Fi%2Fbuttonw-com.png</url>
		<title>What&#039;s keeping me busy ..</title>
		<link>http://ivanky.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://ivanky.wordpress.com/osd.xml" title="What&#039;s keeping me busy .." />
	<atom:link rel='hub' href='http://ivanky.wordpress.com/?pushpress=hub'/>
		<item>
		<title>Puzzle on the road &#8211; how many combinations of food that I can have ?</title>
		<link>http://ivanky.wordpress.com/2011/07/07/puzzle-on-the-road-how-many-combinations-of-food-that-i-can-have/</link>
		<comments>http://ivanky.wordpress.com/2011/07/07/puzzle-on-the-road-how-many-combinations-of-food-that-i-can-have/#comments</comments>
		<pubDate>Thu, 07 Jul 2011 11:25:40 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[math puzzle]]></category>
		<category><![CDATA[ictp]]></category>
		<category><![CDATA[italy]]></category>
		<category><![CDATA[puzzle]]></category>
		<category><![CDATA[puzzles]]></category>
		<category><![CDATA[trieste]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=791</guid>
		<description><![CDATA[Let me start with the introduction of why I come up with this puzzle. I was invited to go to Trieste, Italy for a summer school in ICTP (click here for information of ICTP). I was lucky cause ICTP sponsored me so I did not have to pay for my living cost while I was [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=791&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Let me start with the introduction of why I come up with this puzzle. I was invited to go to Trieste, Italy for a summer school in ICTP (click <a href="http://www.ictp.it" target="_blank">here</a> for information of ICTP). I was lucky cause ICTP sponsored me so I did not have to pay for my living cost while I was there. Everyday, I ate in a cafeteria and I did not need to pay, cause ICTP gave me coupons that I can use to buy my lunch and my dinner. Cafeteria usually provides a set of first course meal, which is usually a pasta, a set of second course meal which is usually either beef, chicken, fish or vegetarian meal and a set of cooked vegetable.</p>
<p>One full meal that I can buy with a coupon,  consists of one of the first courses, one of the second courses and two of the cooked vegetables. In the first course meal, there are three choices of pasta and I am only allowed to take one of these. In the second course meal, there are also three choices  whether you want, say beef or fish or vegetarian meal and again I am allowed to take one of these. In the set of vegetable, there are three choices and I am allowed to take two of these three choices.</p>
<p>The question is how many combinations of meal that I can have.</p>
<p>To make it more interesting, let us assume that these following situations can occur.  I am sometimes so hungry so I take the full meal. But there is another time when I do not feel like eating so I do not eat. There is also another time when I want to eat but actually I am not that hungry so I only choose the first course and one of the cooked vegetable.</p>
<p>Anyway, it was a nice experience for me to be able to visit ICTP. I made a lot of friends for different countries there. I gained a lot of information that is really really useful for my research.</p>
<p>Here is a picture taken from my cell phone while I was there.</p>
<p><a href="http://ivanky.files.wordpress.com/2011/07/imag0257.jpg"><img class="alignleft size-medium wp-image-794" title="IMAG0257" src="http://ivanky.files.wordpress.com/2011/07/imag0257.jpg?w=368&#038;h=612" alt="" width="368" height="612" /></a></p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>ps. I am not sure what is the correct answer. I have had already a number in my mind and let us confirm whether my guess is correct.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/791/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/791/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/791/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/791/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/791/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/791/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/791/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/791/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/791/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/791/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/791/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/791/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/791/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/791/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=791&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2011/07/07/puzzle-on-the-road-how-many-combinations-of-food-that-i-can-have/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>

		<media:content url="http://ivanky.files.wordpress.com/2011/07/imag0257.jpg?w=179" medium="image">
			<media:title type="html">IMAG0257</media:title>
		</media:content>
	</item>
		<item>
		<title>My first logistic bifurcation curve and a bit more</title>
		<link>http://ivanky.wordpress.com/2011/05/27/my-first-logistic-bifurcation-curve-and-a-bit-more/</link>
		<comments>http://ivanky.wordpress.com/2011/05/27/my-first-logistic-bifurcation-curve-and-a-bit-more/#comments</comments>
		<pubDate>Fri, 27 May 2011 08:50:09 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[i will do these]]></category>
		<category><![CDATA[Justincase]]></category>
		<category><![CDATA[bifurcation]]></category>
		<category><![CDATA[logistic map]]></category>
		<category><![CDATA[Matlab]]></category>
		<category><![CDATA[movie]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=776</guid>
		<description><![CDATA[I don&#8217;t know since when, but I desperately want to learn how do I make a logistic bifurcation curve. And now, I finally able to create one. I do not want to forget this ability therefore I post this post, just in case I forget. Logistic map is one of discrete dynamical systems, represented in [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=776&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>I don&#8217;t know since when, but I desperately want to learn how do I make a <a href="http://www.wolframalpha.com/input/?i=logistic+map&amp;a=*C.logistic+map-_*Formula.dflt-&amp;f2=2&amp;x=9&amp;y=7&amp;f=LogisticMap.r_2&amp;f3=0.1&amp;f=LogisticMap.x0_0.1">logistic bifurcation curve</a>. And now, I finally able to create one. I do not want to forget this ability therefore I post this post, just in case I forget.</p>
<p>Logistic map is one of discrete dynamical systems, represented in the following:</p>
<p><img src='http://s0.wp.com/latex.php?latex=x_%7Bn%2B1%7D+%3D+%5Cmu+x_n+%281-x_n%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='x_{n+1} = &#92;mu x_n (1-x_n)' title='x_{n+1} = &#92;mu x_n (1-x_n)' class='latex' />.</p>
<p>It is basically a recursive sequence. It looks simple but it is highly not.When <img src='http://s0.wp.com/latex.php?latex=%5Cmu+%5Cin+%5B0%2C4%5D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mu &#92;in [0,4]' title='&#92;mu &#92;in [0,4]' class='latex' /> the sequence generated will always be inside the interval [0,4].More specifically, when <img src='http://s0.wp.com/latex.php?latex=%5Cmu+%3D2&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mu =2' title='&#92;mu =2' class='latex' />, the sequence converges to a point. When <img src='http://s0.wp.com/latex.php?latex=%5Cmu&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mu' title='&#92;mu' class='latex' /> is varied, does the solution still converge to some point?</p>
<p>In fact, when we vary <img src='http://s0.wp.com/latex.php?latex=%5Cmu&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mu' title='&#92;mu' class='latex' /> past 3 we have the situation that is best explained through the following figure:</p>
<p style="text-align:center;"><a href="http://ivanky.files.wordpress.com/2011/05/bifurcation.jpg"><img class="aligncenter size-medium wp-image-777" title="bifurcation" src="http://ivanky.files.wordpress.com/2011/05/bifurcation.jpg?w=337&#038;h=245" alt="" width="337" height="245" /></a></p>
<p>The figure is saying when <img src='http://s0.wp.com/latex.php?latex=%5Cmu&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mu' title='&#92;mu' class='latex' /> is just past 3, the sequence is no longer converging to a point. This phenomena is called a period-doubling, as the sequence now tends to alternatingly approaching two points. However, this is the code to create the above figure in Matlab.</p>
<p><span style="color:black;"><code><br />
clear; clc;<br />
a = 3:0.005:4;  %interval of parameter<br />
x0 = 0.5;       %initial condition<br />
N=500;          %number of iterations<br />
x(1) = x0;      %the first entry is the initial condition<br />
%computation of the orbit<br />
figure(3);hold on;<br />
for i=1:length(a)<br />
for j=2:N<br />
x(j) = a(i)*x(j-1)*(1-x(j-1));<br />
end<br />
y = x(301:end);<br />
plot(a(i),y);<br />
end<br />
hold off<br />
clear</code></span></p>
<p>Okay, the fitst task is done. Let us now learn how to make a movie in Matlab. I choose the topic &#8216;coweb&#8217; as an example. Coweb arises in our topic, which is a discrete dynamical system.</p>
<p>Here is the video</p>
<span style="text-align:center; display: block;"><a href="http://ivanky.wordpress.com/2011/05/27/my-first-logistic-bifurcation-curve-and-a-bit-more/"><img src="http://img.youtube.com/vi/vefTmSaOLRI/2.jpg" alt="" /></a></span>
<p>The coweb created in the above movie uses <img src='http://s0.wp.com/latex.php?latex=%5Cmu%3D3.9&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mu=3.9' title='&#92;mu=3.9' class='latex' />. This exactly where the chaotic dynamic occurs. Therefore, we do not see any pattern there. The iteration that I used is only 90. However, we already see that the sequence makes such a complicated figure.</p>
<p>The code to create such a video is the following.</p>
<p><span style="color:black;"><code>clc;clear;<br />
myu = 3.9; %initial parameter<br />
maxiter = 90; %maximum iteration<br />
xo = 0.4; %initial condition<br />
aviobj = avifile ( 'logistik2.avi', 'fps', 3 );%create a file logistik2.avi<br />
x = 0:0.01:1; %range of x data<br />
y1 = myu.*x.*(1-x); %range of y data to graph y=myu(x-x^2)<br />
y2 = x; %range for y data to graph y=x<br />
figure(1);hold on; %open figure window and hold on<br />
axis([0 1.1 0 1.1]) % set the y and x axis<br />
plot(x,y1); %plot the graph of y=myu(x-x^2)<br />
plot(x,y2); %plot the graph of y=x<br />
frame = getframe ( gca ); %command 1 to store what is inside figure 1<br />
aviobj = addframe ( aviobj, frame ); %command 2<br />
xbaru = myu.*xo.*(1-xo);<br />
z2 = 0:0.01:xbaru;<br />
z1 = xo;<br />
plot(z1,z2);<br />
frame = getframe ( gca );<br />
aviobj = addframe ( aviobj, frame );<br />
fprintf('the fixed point is %f',(myu-1)/myu);<br />
for i=2:maxiter<br />
if(xbaru &gt; xo)<br />
y1 = xo:0.01:xbaru;<br />
else<br />
y1 = xbaru:0.01:xo;<br />
end<br />
y2 = xbaru;<br />
plot(y1,y2);<br />
frame = getframe ( gca );<br />
aviobj = addframe ( aviobj, frame );<br />
xo = xbaru;<br />
xbaru = myu.*xo.*(1-xo);<br />
if(xbaru &gt; xo)<br />
y1 = xo:0.01:xbaru;<br />
else<br />
y1 = xbaru:0.01:xo;<br />
end<br />
y2 = xo;<br />
plot(y2,y1);<br />
frame = getframe ( gca );<br />
aviobj = addframe ( aviobj, frame );<br />
end<br />
hold off;<br />
H = (myu-1)/myu;<br />
fprintf('please press any key \n');<br />
aviobj = close ( aviobj );<br />
%pause;<br />
%close all;</code></span></p>
<p>However, I really really want to learn how to convert this avi video produced by Matlab to a gif image format. So if anyone know how do I do this please let me know.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/776/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/776/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/776/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/776/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/776/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/776/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/776/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/776/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/776/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/776/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/776/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/776/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/776/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/776/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=776&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2011/05/27/my-first-logistic-bifurcation-curve-and-a-bit-more/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>

		<media:content url="http://ivanky.files.wordpress.com/2011/05/bifurcation.jpg?w=300" medium="image">
			<media:title type="html">bifurcation</media:title>
		</media:content>
	</item>
		<item>
		<title>(Another) Birthday problem puzzle</title>
		<link>http://ivanky.wordpress.com/2011/05/12/another-birthday-problem-puzzle/</link>
		<comments>http://ivanky.wordpress.com/2011/05/12/another-birthday-problem-puzzle/#comments</comments>
		<pubDate>Thu, 12 May 2011 02:41:33 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[math puzzle]]></category>
		<category><![CDATA[mathematics]]></category>
		<category><![CDATA[puzzle]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=760</guid>
		<description><![CDATA[I&#8217;d like to discuss one of many birthday problem math puzzles. The complete puzzle and the solution can be found here. But let me write the puzzle as follows. You and your colleagues know that your boss A’s birthday is one of the following 10 dates: Mar 4, Mar 5, Mar 8 Jun 4, Jun [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=760&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>I&#8217;d like to discuss one of many birthday problem math puzzles. The complete puzzle and the solution can be found <a href="http://goo.gl/Y6kiF" target="_blank">here</a>. But let me write the puzzle as follows.</p>
<blockquote><p>You and your colleagues know that your boss <em>A</em>’s birthday is one of the following 10 dates:</p>
<p>Mar 4, Mar 5, Mar 8<br />
Jun 4, Jun 7<br />
Sep 1, Sep 5<br />
Dec 1, Dec 2, Dec 8<br />
<em> </em><br />
<em>A</em> told you only the month of his birthday, and told your colleague <em>C</em> only the day. After that, you first said: “I don’t know <em>A</em>’s birthday; <em>C </em>doesn’t know it either.” After hearing what you said, <em>C </em>replied: “I didn’t know <em>A</em>’s birthday, but now I know it.” You smiled and said: “Now I know it, too.” After looking at the 10 dates and hearing your comments, your administrative assistant wrote down <em>A</em>’s birthday without asking any questions. So what did the assistant write?</p></blockquote>
<p>When I first read this puzzle, I am confused. Let me just name the reader/myself  &#8220;B&#8221; in the puzzle above to avoid more confusion. This puzzle is written in some way that the reader is part of the story. Hence the reader, B, was told the month of A&#8217;s birthday but we as the reader do not know the month of A&#8217;s birthday. Perhaps it is just a part of puzzle that we have to solve, therefore it might not be a big deal.</p>
<p>However, the big deal is the fact that the solution that I found is different from the solution given. I thought I might get wrong, therefore I look for the solution. What happened was I could not understand the solution. I thought it is just me but it turns out there is someone else who has the same experience.</p>
<p>I would like to modify a little bit of the puzzle in order to make this puzzle a bit clearer, well at least for me.</p>
<blockquote><p><em>A</em>’s birthday is one of the following 10 dates:</p>
<p>Mar 4, Mar 5, Mar 8<br />
Jun 4, Jun 7<br />
Sep 1, Sep 5<br />
Dec 1, Dec 2, Dec 8<br />
<em> </em><br />
<em></em>We then have the following conversations between A&#8217;s friend.<br />
C said: “I don’t know <em>A</em>’s birthday, but I know only the day (the date) of A&#8217;s birthday,&#8221;<br />
B said: &#8220;Well, I know only the month A&#8217;s birthday.&#8221;<br />
C said: “Now I know it.”<br />
B said: “Now I know it, too.”</p>
<p>From the information given above, can you tell what is A&#8217;s birthday?</p></blockquote>
<p>Perhaps, this version is better than the previous one. What do you think?</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/760/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/760/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/760/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/760/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/760/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/760/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/760/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/760/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/760/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/760/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/760/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/760/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/760/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/760/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=760&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2011/05/12/another-birthday-problem-puzzle/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>
	</item>
		<item>
		<title>Notes on diagonalizable linear operators</title>
		<link>http://ivanky.wordpress.com/2011/05/11/notes-on-diagonalizable-linear-operators/</link>
		<comments>http://ivanky.wordpress.com/2011/05/11/notes-on-diagonalizable-linear-operators/#comments</comments>
		<pubDate>Wed, 11 May 2011 12:44:32 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[Justincase]]></category>
		<category><![CDATA[Teachings]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[mathematics]]></category>
		<category><![CDATA[teaching]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=734</guid>
		<description><![CDATA[Okay, I have a few things in my mind about this topic and I don&#8217;t want to lose them tomorrow or the day after. Therefore, I created this note. Hope it is useful to other people as well. Background of this note are as follows: Suppose is an matrix and it is diagonalizable. Therefore, by [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=734&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Okay, I have a few things in my mind about this topic and I don&#8217;t want to lose them tomorrow or the day after. Therefore, I created this note. Hope it is useful to other people as well. Background of this note are as follows:</p>
<ol>
<li>Suppose <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is an <img src='http://s0.wp.com/latex.php?latex=n+%5Ctimes+n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n &#92;times n' title='n &#92;times n' class='latex' /> matrix and it is diagonalizable. Therefore, by definition, there is an invertible matrix <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P' title='P' class='latex' /> and a diagonal matrix <img src='http://s0.wp.com/latex.php?latex=D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D' title='D' class='latex' />. However, I always forget the relationship between <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D' title='D' class='latex' />, whether it is <img src='http://s0.wp.com/latex.php?latex=D%3DPAP%5E%7B-1%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D=PAP^{-1}' title='D=PAP^{-1}' class='latex' /> or <img src='http://s0.wp.com/latex.php?latex=D%3DP%5E%7B-1%7DAP&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D=P^{-1}AP' title='D=P^{-1}AP' class='latex' />. Generally, those two are no different, but we can choose <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P' title='P' class='latex' /> such that the column vectors of matrix <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P' title='P' class='latex' /> are the eigenvectors of matrix <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' />, hence we have to know precisely which one it is, otherwise it gets wrong. Until now, when I forget about this, I always derive it and it takes some of my precious time (haha) but now after I have this, I can just open the Internet and look for this note.</li>
<li>Point 1 above talks about diagonalizability of a matrix. But generally, we have a linear operator acting on a general vector field instead. A linear operator is called diagonalizable if there is a basis B such that the matrix representation of this linear operator is a diagonal matrix. It seems for me, diagonalizability of a linear operator and that of a matrix are talking about two different things. One is talking about how to find a basis, while the other is talking about how to find an invertible matrix. However, these two concepts turn out to be the same.</li>
</ol>
<p>We begin with the following theorem.</p>
<p><em>Theorem 1 (Coordinate-change matrix)</em><br />
<em>Let <img src='http://s0.wp.com/latex.php?latex=E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='E' title='E' class='latex' /> be a standard basis and <img src='http://s0.wp.com/latex.php?latex=B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B' title='B' class='latex' /> be another basis for an <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n' title='n' class='latex' />-dimensional linear space <img src='http://s0.wp.com/latex.php?latex=V&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V' title='V' class='latex' />. Then there is an invertible matrix <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P' title='P' class='latex' /> such that for every <img src='http://s0.wp.com/latex.php?latex=v+%5Cin+V&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='v &#92;in V' title='v &#92;in V' class='latex' /> </em></p>
<p style="text-align:right;"><em><img src='http://s0.wp.com/latex.php?latex=P+%28v%29_B%3D%28v%29_E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P (v)_B=(v)_E' title='P (v)_B=(v)_E' class='latex' />.                                                                                                          (1)</em></p>
<p style="text-align:left;"><em>Matrix <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P' title='P' class='latex' /> is called the transition or coordinate-change matrix from the basis <img src='http://s0.wp.com/latex.php?latex=B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B' title='B' class='latex' /> to the basis <img src='http://s0.wp.com/latex.php?latex=E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='E' title='E' class='latex' />. Note that <img src='http://s0.wp.com/latex.php?latex=%28v%29_B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='(v)_B' title='(v)_B' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%28v%29_E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='(v)_E' title='(v)_E' class='latex' /> are the coordinates of vector <img src='http://s0.wp.com/latex.php?latex=v&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='v' title='v' class='latex' /> with respect to basis <img src='http://s0.wp.com/latex.php?latex=B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B' title='B' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='E' title='E' class='latex' /> respectively. In fact, the column vectors of matrix <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P' title='P' class='latex' /> are the coordinates of the basis vectors of <img src='http://s0.wp.com/latex.php?latex=B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B' title='B' class='latex' /> with respect to the standard bases <img src='http://s0.wp.com/latex.php?latex=E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='E' title='E' class='latex' /> (i.e. if <img src='http://s0.wp.com/latex.php?latex=B%3D%5C%7B+v_1%2Cv_2%2C%5Cdots%2Cv_n+%5C%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B=&#92;{ v_1,v_2,&#92;dots,v_n &#92;}' title='B=&#92;{ v_1,v_2,&#92;dots,v_n &#92;}' class='latex' /> then <img src='http://s0.wp.com/latex.php?latex=P%3D%5B%28v_1%29_E+%28v_2%29_E+%5Cdots+%28v_n%29_E%5D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P=[(v_1)_E (v_2)_E &#92;dots (v_n)_E]' title='P=[(v_1)_E (v_2)_E &#92;dots (v_n)_E]' class='latex' /> ). </em></p>
<p style="text-align:left;">We won&#8217;t prove the theorem as it can be found in any linear algebra textbook. However, using this theorem we can relate the diagonalizability of a linear operator and that of a matrix.Suppose <img src='http://s0.wp.com/latex.php?latex=T&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='T' title='T' class='latex' /> is a diagonalizable linear operator on an <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n' title='n' class='latex' />-dimensional linear space <img src='http://s0.wp.com/latex.php?latex=V&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V' title='V' class='latex' />. Take <img src='http://s0.wp.com/latex.php?latex=x+%5Cin+V&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='x &#92;in V' title='x &#92;in V' class='latex' /> then let <img src='http://s0.wp.com/latex.php?latex=y&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='y' title='y' class='latex' /> be <img src='http://s0.wp.com/latex.php?latex=y%3DT%28x%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='y=T(x)' title='y=T(x)' class='latex' />. Suppose <img src='http://s0.wp.com/latex.php?latex=E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='E' title='E' class='latex' /> is a standard basis in <img src='http://s0.wp.com/latex.php?latex=V&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V' title='V' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B' title='B' class='latex' /> is a basis in <img src='http://s0.wp.com/latex.php?latex=V&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V' title='V' class='latex' /> that consists of independent eigenvectors of <img src='http://s0.wp.com/latex.php?latex=T&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='T' title='T' class='latex' />.</p>
<p style="text-align:left;">Then we have the following.<em></em></p>
<p style="text-align:left;">(i) <img src='http://s0.wp.com/latex.php?latex=%28y%29_E+%3D+%5BT%28x%29%5D_E+%3D+%5BT%5D_E+%28x%29_E+%3D+A+%28x%29_E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='(y)_E = [T(x)]_E = [T]_E (x)_E = A (x)_E' title='(y)_E = [T(x)]_E = [T]_E (x)_E = A (x)_E' class='latex' />, where <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is a representation matrix of <img src='http://s0.wp.com/latex.php?latex=T&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='T' title='T' class='latex' /> with respect to standard basis <img src='http://s0.wp.com/latex.php?latex=E&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='E' title='E' class='latex' />.<br />
(ii) <img src='http://s0.wp.com/latex.php?latex=%28y%29_B+%3D+%5BT%28x%29%5D_B+%3D+%5BT%5D_B+%28x%29_B+%3D+D+%28x%29_B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='(y)_B = [T(x)]_B = [T]_B (x)_B = D (x)_B' title='(y)_B = [T(x)]_B = [T]_B (x)_B = D (x)_B' class='latex' />, where <img src='http://s0.wp.com/latex.php?latex=D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D' title='D' class='latex' /> is a representation matrix of <img src='http://s0.wp.com/latex.php?latex=T&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='T' title='T' class='latex' /> with respect to basis <img src='http://s0.wp.com/latex.php?latex=B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B' title='B' class='latex' />. We also know that <img src='http://s0.wp.com/latex.php?latex=D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D' title='D' class='latex' /> is a diagonal matrix.</p>
<p style="text-align:left;">We want to show that using the theorem 1, <img src='http://s0.wp.com/latex.php?latex=D%3DPAP%5E%7B-1%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D=PAP^{-1}' title='D=PAP^{-1}' class='latex' /> or <img src='http://s0.wp.com/latex.php?latex=D%3DP%5E%7B-1%7DAP&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D=P^{-1}AP' title='D=P^{-1}AP' class='latex' />. From equation (1) we get:</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=P+%28y%29_B+%3D+%28y%29_E+%3D+A+%28x%29_E+%3D+A+P+%28x%29_B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P (y)_B = (y)_E = A (x)_E = A P (x)_B' title='P (y)_B = (y)_E = A (x)_E = A P (x)_B' class='latex' />.</p>
<p style="text-align:left;">Hence, we have <img src='http://s0.wp.com/latex.php?latex=%28y%29_B+%3D+P%5E%7B-1%7DAP+%28x%29_B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='(y)_B = P^{-1}AP (x)_B' title='(y)_B = P^{-1}AP (x)_B' class='latex' />. While from point (ii) we have <img src='http://s0.wp.com/latex.php?latex=%28y%29_B+%3D+D+%28x%29_B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='(y)_B = D (x)_B' title='(y)_B = D (x)_B' class='latex' />. As a conclusion, we have,</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=D+%3D+P%5E%7B-1%7D+A+P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D = P^{-1} A P' title='D = P^{-1} A P' class='latex' />.</p>
<p style="text-align:left;">We have derived that in fact, <img src='http://s0.wp.com/latex.php?latex=D+%3D+P%5E%7B-1%7D+A+P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='D = P^{-1} A P' title='D = P^{-1} A P' class='latex' /> is the right one. We also derived that the invertible matrix <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P' title='P' class='latex' /> has such a close relationship with the basis <img src='http://s0.wp.com/latex.php?latex=B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B' title='B' class='latex' /> as the column vectors of <img src='http://s0.wp.com/latex.php?latex=P&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='P' title='P' class='latex' /> are the basis vectors of <img src='http://s0.wp.com/latex.php?latex=B&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='B' title='B' class='latex' />, which are the eigenvectors of the linear operator <img src='http://s0.wp.com/latex.php?latex=T&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='T' title='T' class='latex' />. This conclude my note.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/734/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/734/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/734/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/734/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/734/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/734/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/734/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/734/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/734/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/734/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/734/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/734/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/734/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/734/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=734&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2011/05/11/notes-on-diagonalizable-linear-operators/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>
	</item>
		<item>
		<title>Academic Recharging</title>
		<link>http://ivanky.wordpress.com/2011/05/06/academic-recharging/</link>
		<comments>http://ivanky.wordpress.com/2011/05/06/academic-recharging/#comments</comments>
		<pubDate>Fri, 06 May 2011 01:10:08 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[i will do these]]></category>
		<category><![CDATA[Teachings]]></category>
		<category><![CDATA[mathematics]]></category>
		<category><![CDATA[online teaching]]></category>
		<category><![CDATA[teaching]]></category>
		<category><![CDATA[video lecture]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=720</guid>
		<description><![CDATA[I first hear about this phrase in the Indonesian government of education website. Academic recharging is one of fund application schemes provided to academician who feels bored and sometimes tired doing teaching in their respective university. This scheme is provided to &#8216;recharge&#8217; them in some way such that they are able to go abroad conducting [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=720&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>I first hear about this phrase in the Indonesian government of education website. Academic recharging is one of fund application schemes provided to academician who feels bored and sometimes tired doing teaching in their respective university. This scheme is provided to &#8216;recharge&#8217; them in some way such that they are able to go abroad conducting research with their colleagues overseas. Indonesian government hopes by doing this scheme, lecturer and academician could update their knowledge to the current topics so that Indonesian academic society would not be left behind.</p>
<p>But I have found my way of academic recharging. And I give many thanks to ICTP and MIT. Courses that are provided by ICTP and MIT have been recorded and have been available online. I don&#8217;t know since when this happens but for me it is great. I can update my knowledge with some new information that I have never learned before.</p>
<p>After downloaded a video, I can watch the course that I am interested. When I don&#8217;t understand a thing, I can just pause and google them. I can pause anytime I want when some students knocking my door. I strongly recommended this way of learning to my colleagues and my students as this is much as fun as watching movie.</p>
<p>Here are some references that you might like.</p>
<ol>
<li>http:// www.ictp.tv</li>
<li>http://ocw.mit.edu/courses/audio-video-courses/</li>
<li>http://www.youtube.com/user/MIT</li>
<li>http://www.khanacademy.org/</li>
</ol>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/720/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=720&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2011/05/06/academic-recharging/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>
	</item>
		<item>
		<title>Rope burning logic puzzle (just slightly more generalised)</title>
		<link>http://ivanky.wordpress.com/2011/05/02/rope-burning-logic-puzzle-generalised/</link>
		<comments>http://ivanky.wordpress.com/2011/05/02/rope-burning-logic-puzzle-generalised/#comments</comments>
		<pubDate>Mon, 02 May 2011 14:35:50 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[math puzzle]]></category>
		<category><![CDATA[Teachings]]></category>
		<category><![CDATA[puzzles]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=10</guid>
		<description><![CDATA[Many seem to know already the famous rope burning puzzle. When we google it, there will be infinitely many websites discussing this puzzle. However, I try to (kind of) generalise this puzzle a little bit and relate this puzzle to understand the difference between axioms, theorems, lemmas and corollaries that are often used in mathematics [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=10&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Many seem to know already the famous rope burning puzzle. When we google it, there will be infinitely many websites discussing this puzzle. However, I try to (kind of) generalise this puzzle a little bit and relate this puzzle to understand the difference between axioms, theorems, lemmas and corollaries that are often used in mathematics articles.</p>
<p>Here is the puzzle: There are two ropes and one lighter. Each rope has special properties.</p>
<ol>
<li>If we light one end of the rope, it will take exactly one hour to completely burn out.</li>
<li>The density of the rope is not uniform, which means that burning half the rope would not take half an hour.</li>
<li>Those two ropes are not identical, they aren&#8217;t the same density nor the same length nor the same width.</li>
</ol>
<p>The question is how do we measure exactly 45 minutes using those two ropes.</p>
<p>We shall not discuss the answer here, instead I would like to give some logical consequences of those rules given in the properties of the rope. Those three properties are called axioms in mathematics article. They are not to be proven. We have to believed them, we have to accept it.</p>
<p>The first consequence is summarized in the following lemma (which is a small relatively easy consequence of the axioms).</p>
<p><em><strong>Lemma 1</strong></em><br />
<em><strong> If we burn both ends of the rope, the rope will take 30 minutes to be completely burned</strong></em></p>
<p>This lemma is very useful and it is used in solving the puzzle. It seems obvious but we can&#8217;t just take it for granted. Anyway, here is the proof.</p>
<p>Proof:<br />
Let us prove this by a contradiction. Assume it would take <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='x' title='x' class='latex' /> minutes by burning both ends of the rope until it is completely burned. Assume <img src='http://s0.wp.com/latex.php?latex=x+%5Cneq+30&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='x &#92;neq 30' title='x &#92;neq 30' class='latex' />. Let us consider the case where <img src='http://s0.wp.com/latex.php?latex=x+%3E+30&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='x &gt; 30' title='x &gt; 30' class='latex' />.  At first (<img src='http://s0.wp.com/latex.php?latex=t%3D0&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='t=0' title='t=0' class='latex' />) the rope is burned at both ends and after <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='x' title='x' class='latex' /> minutes the rope would be gone. However, after 30 minutes there is still a segment of the rope that hasn&#8217;t been burned yet. See the figure below.</p>
<p><a href="http://ivanky.files.wordpress.com/2011/05/rope1.jpg"><img class="aligncenter size-medium wp-image-704" title="rope1" src="http://ivanky.files.wordpress.com/2011/05/rope1.jpg?w=300&#038;h=75" alt="" width="300" height="75" /></a></p>
<p>And now, let us consider if at first the rope is burned only at one end. It would take then 30 minutes until the segment AB is completely burned and it would take another 30 minutes to completely burn the segment CD. A contradiction, as it would need more than one hour to completely burned out the rope. The case where <img src='http://s0.wp.com/latex.php?latex=x+%3C+30&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='x &lt; 30' title='x &lt; 30' class='latex' /> can be proven similarly. QED</p>
<p>The next consequence is summarized in the theorem below. Theorem usually used to give a significant consequence of the three axioms given above. The theorem tells us that the solution of the puzzle exists.</p>
<p><strong><em>Theorem 2</em></strong><br />
<strong><em>There is such a way to measure 45 minutes using only two ropes</em></strong></p>
<p>Proof: Burn both ends of the first rope and burn one end of the second rope. According to lemma 1, it will take 30 minutes to completely burn out the first rope. The next step is to burn the other end of the second rope, therefore it will take 15 minutes to burn out the second rope if we apply lemma 1 once more to the second rope which has 30 minutes remaining rope.  QED.</p>
<p>The puzzle stops here, but our discussion does not. I would like to discuss if we have <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n' title='n' class='latex' /> ropes then how many minutes we can measure accurately. It turns out this problem is an immediate consequence of the last theorem.</p>
<p><em><strong>Corollary 3</strong></em><br />
<em><strong>Suppose there are <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n' title='n' class='latex' /> ropes that satisfy the properties given in the beginning of this section, then there is such a way to measure exactly <img src='http://s0.wp.com/latex.php?latex=%2860+-+60%2F2%5En%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='(60 - 60/2^n)' title='(60 - 60/2^n)' class='latex' /> minutes.</strong></em></p>
<p>Proof:<br />
This can be shown by inductively applying theorem 2 <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n' title='n' class='latex' /> times to <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n' title='n' class='latex' /> ropes.</p>
<p>The next results given below are dealing with only one rope. As given in the Lemma 1, we can measure exactly 30 minutes with using only one rope. However, there are various ways how we measure exactly 30 minutes. I won&#8217;t present the proofs here as it&#8217;s just fun to figure it all ourselves.</p>
<p><strong><em>Lemma </em></strong><em><strong>4</strong></em><br />
<em><strong>Let us take the rope that has special properties given above. Cut the rope into two pieces and burn both ends of the first piece and then burn both ends of the second piece. It takes exactly 30 minutes until the rope is completely burned. </strong><strong></strong></em></p>
<p><em><strong>Lemma 5<br />
Let&#8217;s take the rope that has special properties given above. Cut the rope into <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n' title='n' class='latex' /> pieces. Burn both ends of the first piece and then burn both ends of the second piece and so on until the last piece. It takes exactly 30 minutes until all the pieces of the rope are completely burned.</strong></em></p>
<p>All the results above are resulted from burning the end of the rope. We are now asking ourselves what do we get if we burn the rope somewhere in the middle. Logically, the fire will spread in two directions. Depending on the density of the rope, one end of the rope will be caught by the fire first.</p>
<p><em><strong>Lemma 6<br />
Let&#8217;s take the rope that has special properties given above. Burn the rope at one point in the middle. Once one end of the rope is caught by the fire, burn the other end of the rope. It takes exactly 30 minutes until the rope is completely burned. </strong></em></p>
<p>Of all results presented above, with using only one rope, we can measure exactly 30 and 60 minutes. But I would like to ask whether there is any other time that we can measure using only one rope.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/10/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=10&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2011/05/02/rope-burning-logic-puzzle-generalised/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>

		<media:content url="http://ivanky.files.wordpress.com/2011/05/rope1.jpg?w=300" medium="image">
			<media:title type="html">rope1</media:title>
		</media:content>
	</item>
		<item>
		<title>Matematika lewat jendela</title>
		<link>http://ivanky.wordpress.com/2011/04/14/matematika-lewat-jendela/</link>
		<comments>http://ivanky.wordpress.com/2011/04/14/matematika-lewat-jendela/#comments</comments>
		<pubDate>Thu, 14 Apr 2011 13:36:14 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[Justincase]]></category>
		<category><![CDATA[Teachings]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=673</guid>
		<description><![CDATA[Saya selalu merasa kagum atas kehebatan sebuah jendela dalam layar komputer kita, apapun nama jendelanya (entah itu internet explorer, firefox, safari, google chrome, opera, ect.). Jendela ini telah membawa kita (setidaknya saya) ke sebuah dunia yang luar biasa dimana informasi dapat ditransfer dengan hitungan milidetik. Salah seorang supervisor saya pernah berkata tentang kekagumannya terhadap internet. [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=673&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p><!-- p { margin-bottom: 0.08in; }a:link {  } --></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Saya selalu merasa kagum atas kehebatan sebuah jendela dalam layar komputer kita, apapun nama jendelanya (entah itu internet explorer, firefox, safari, google chrome, opera, ect.). Jendela ini telah membawa kita (setidaknya saya) ke sebuah dunia yang luar biasa dimana informasi dapat ditransfer dengan hitungan milidetik. Salah seorang supervisor saya pernah berkata tentang kekagumannya terhadap internet. “Dengan internet, siapapun dapat menjadi guru sekarang ini,” katanya. Setuju, mengingat banyak sekali informasi tersedia di dalam jendela tersebut, tergantung bagaimana seseorang tersebut memanfaatkannya.</span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Permasalahan yang akan saya bicarakan adalah di dunia pendidikan, khususnya di dunia matematika, dan ini juga berlaku di dunia akademik manapun tentunya. Memanfaatkan jendela dalam layar komputer, saya menemukan beberapa cara mengakses informasi tentang matematika, apakah itu buku pengajaran, catatan kuliah, dan bahkan kuliahnya sekalipun dan juga diskusi gratis tersedia. Lewat tulisan ini, saya ingin mensharingkan pengalaman saya yang saya yakin cukup berharga untuk kita semua. Lewat tulisan ini juga saya ingin menyimpan list-list situs ini secara permanen, karena jika tidak, situs-situs ini hanya akan menjadi tulisan di post-it notes yang tertempel di meja saya, yang akan terbuang ketika saya membereskan meja saya akhir bulan ini. Mohon maaf jika ada kesalahan dan silahkan untuk mengomentari atau mengupdate item-item yang telah saya tuliskan. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">1. Itunes</span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Saya harap semua orang kenal dengan program ini. Itunes adalah sebuah software yang didesain untuk mendengarkan musik, menonton film ataupun video klip. Tak hanya itu, software ini dapat digunakan &#8216;belanja&#8217; lagu ataupun film, tentunya dengan pembayaran credit card. Salah satu fiture dalam itunes yang membuat saya terbantu adalah fiture iTunes U. Tidak sulit untuk mengakses fiture ini, tingga kita klik iTunes Store dan arahkan kursor anda ke pilihan iTunes U. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Isi dari fitur ini adalah kumpulah kuliah kuliah dari berbagai bidang, yang telah diunggah oleh lecturernya sendiri ataupun oleh sebuah organisasi yang biasanya merupakan sebuah universitas terbuka. Melalui fitur ini, saya bisa belajar tentang berbagai kuliah matematika yang dibawakan secara menarik oleh tiap tiap kontributornya. Saya juga dapat menikmati kuliah yang dibawakan oleh Gilbert Strang, profesor terkemuka dari MIT, dan juga menikmati seminar tentang Einstein yang dibawakan oleh Terence Tao, seorang profesor termuda yang mendapat Field Medal. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">2. Khan Academy</span></span></p>
<p><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Sharing saya yang kedua masih berupa kuliah matematika yang tersedia secara gratis di jendela komputer kita. Khan academy adalah sebuah organisasi non-profit yang bertujuan sangat mulia yaitu mencerdaskan semua orang. Pencetusnya adalah Salman Khan yang sampai saat ini telah mempunyai koleksi 2100 video pengajaran khusunya di bidang matematika. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Khan academy, selain mempunyai website sendiri, juga memanfaatkan situs youtube untuk menyebarluaskan pengajarannya. Saat ini siapa yang tidak kenal youtube. Tujuannya tak lain adalah agar semua orang dapat merasakan manfaatnya. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Sudah beberapa kali saya menikmati kuliah kuliah yang tersedia di situs ini. Saat ini kuliah kuliah yang ada mungkin lebih cenderung erlementer, namun saya yakin seiring bertambahnya waktu, akan semakin banyak kuliah-kuliah dari yang paling dasar sampe yang paling advance akan tersedia disini. Lebih lagi, kita diundang untuk menjadi salah satu kontributor dari situs ini. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">3. Gigapedia</span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Sharing saya yang ketiga adalah tentang buku pengajaran. Sering saya mendapatkan kesulitan untuk mengakses sebuah buku matematika. Hal ini dikarenakan saya kebetulan bekerja di sebuah universitas yang budgetnya sedikit untuk matematika. Alhasil, buku pengajaran untuk matematika sangatlah jarang. Solusinya adalah mencari buku elektronik dimana kita harus mencarinya lewat situs pencari seperti Google ataupun Yahoo. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Namun kini ada berita bagus untuk kita semua pemburu buku elektronik. Silahkan anda masuk ke situs gigapedia dimana disitu kita dapat menemukan lebih dari 10 ribu buku elektronik dari berbagai bidang. WOW. Sungguh sebuah hadiah yang bagus, karena dengan adanya buku elektronik tersebut, kita dapat belajar dimana pun bahkan ketika kita sedang bepergian, tentunya jika kita membawa laptop ataupun ebook reader. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">4. Physics Forum</span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Apakah anda familiar dengan forum internet. Banyak sekali forum internet di dunia maya ini, ada yang membahas olah raga, politik, komputer, teknologi. Nah, ini adalah sebuah forum akademik yang unik di mana disini kita dapat belajar sambil berbagi ilmu. Dari namanya, tentunya kita menyangka forum ini berbicara tentang fisika, namun ternyata tidak. Selain fisika, terdapat matematika, engineering, dan ilmu sains lainnya. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Keunikan dari forum ini adalah anda dapat bertanya tentang homework anda khusunya untuk mahasiswa. Mahasiswa modern adalah mahasiswa yang dapat mencari informasi sebanyak mungkin yang dapat membantu dirinya dalam kuliahnya. Walaupun anda dapat bertanya tentang peer kuliah anda, tetapi anda harus berusaha terlebih dahulu barulah anda akan mendapatkan response dari pertanyaan anda. Dan anda tidak akan mendapatkan jawaban 100%, karena anda hanya akan mendapatkan petunjuk untuk menjawab pertanyaan anda. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Selain pr, kita juga dapat berdiskusi tentang masalah masalah dalam bidang akademik kita. Menurut pengalaman saya memakai forum ini, setiap saya mendapatkan suatu masalah, uneg-uneg, pasti ada setidaknya satu orang di forum ini yang mengalami uneg-uneg yang sama. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">5. Mathoverflow</span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Sama seperti situs internet sebelumnya, situs ini merupakan situs yang dapat kita gunakan untuk berdiskusi. Perbedaannya disini hanya topik-topik di sekitar matematika yang berada di level research.  Sering kali ketika kita melakukan research dan harus membaca buku-buku di level &#8216;graduate&#8217; yang  tidak pernah kita buka sebelumnya, kita mempunyai pertanyaan dan disinilah yang akan membantu kita. Bahkan, topik-topik yang didiskusikan disini kadang-kadang merupakan sebuah &#8216;open question&#8217; yang belum terjawab.</span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">6. Wolfram, PlanetMath dan Scholarpedia</span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Walaupun wikipedia mempunyai banyak sekali informasi yang dapat kita baca, namun sayangnya kita tidak bisa menjadikan wikipedia sebagai rujukan informasi. Tetapi terdapat situs laiinya yang dapat dipakai untuk rujukan. Ada tiga website yang menjadi situs tersering yang sering saya kunjungi untuk mengakses informasi matematika secara cepat dan akurat. </span></span></p>
<p lang="es-ES"><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Masih banyak situs-situs internet lainnya yang bisa membantu kita entah dalam perkuliahan, penelitian ataupun menyiapkan kuliah. Keenam situs internet diatas hanyalah sebagai contoh bahwa banyak yang dapat kita temukan dan manfaatkan dalam jendela dalam komputer kita.</span></span></p>
<p><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Sekali lagi saya mohon maaf jika ada kesalahan dalam penulisan artikel ini. Ucapan terima kasih sebanyak-banyaknya jika ada komentar dan masukannya, atau jika anda dapat menambah situs-situs yang lain yang akan tentunya sangat berguna. </span></span></p>
<p><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">Rujukan</span></span></p>
<ol>
<li><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;"><a href="http://www.apple.com/education/itunes-u/">http://www.apple.com/education/itunes-u/</a></span></span></li>
<li><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;"><a href="http://www.khanacademy.org/">http://www.khanacademy.org/</a></span></span></li>
<li><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;"><a href="http://library.nu/">http://library.nu/</a></span></span></li>
<li><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;"><a href="http://www.physicsforums.com/">http://www.physicsforums.com/</a></span></span></li>
<li><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;"><a href="http://mathworld.wolfram.com/">http://mathworld.wolfram.com/</a></span></span></li>
<li><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;"><a href="http://planetmath.org/">http://planetmath.org/</a></span></span></li>
<li><span style="font-family:Verdana,sans-serif;"><span style="font-size:x-small;">http://www.scholarpedia.org/</span></span></li>
</ol>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/673/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/673/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/673/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/673/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/673/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/673/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/673/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/673/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/673/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/673/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/673/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/673/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/673/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/673/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=673&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2011/04/14/matematika-lewat-jendela/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>
	</item>
		<item>
		<title>Mixture problem in Calculus</title>
		<link>http://ivanky.wordpress.com/2010/04/29/mixture-problem-in-calculus/</link>
		<comments>http://ivanky.wordpress.com/2010/04/29/mixture-problem-in-calculus/#comments</comments>
		<pubDate>Thu, 29 Apr 2010 01:41:35 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[Justincase]]></category>
		<category><![CDATA[Teachings]]></category>
		<category><![CDATA[Calculus]]></category>
		<category><![CDATA[first order ode]]></category>
		<category><![CDATA[maple]]></category>
		<category><![CDATA[teaching]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=475</guid>
		<description><![CDATA[I keep forgetting the way to solve this problem. So, when I in future have no clue I know where to look. The problem A 200-galon tank is half full of distilled water. At time , a solution containing 0.5 pound/galon of salt enters the tank at the rate of 5 gal/minutes, and the well-stirred [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=475&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>I keep forgetting the way to solve this problem. So, when I in future have no clue I know where to look.</p>
<p><strong>The problem</strong><br />
A 200-galon tank is half full of distilled water. At time <img src='http://s0.wp.com/latex.php?latex=t%3D0&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='t=0' title='t=0' class='latex' />, a solution containing 0.5 pound/galon of salt enters the tank at the rate of 5 gal/minutes, and the well-stirred mixture is withdrawn at the rate of 3 gal/minutes.<br />
a. Give a mathematical model representation of the above problem.<br />
b. At what time, will the tank be full?<br />
c. At the time the tank is full, how many pounds of salt will it contain?</p>
<p><strong>The mathematical model</strong><br />
The model describing the above process is based on the following formula:</p>
<p>rate of change of the amount of salt  = (rate of salt arrived) &#8211; (rate of salt departed)</p>
<p>Suppose <img src='http://s0.wp.com/latex.php?latex=V%28t%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V(t)' title='V(t)' class='latex' /> is the volume of the liquid in the tank at time <img src='http://s0.wp.com/latex.php?latex=t&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='t' title='t' class='latex' />. The volume of liquid inside the tank will increase as the inflow (5 gal/minutes) is bigger than the outflow (3 galon/minutes).  Thus, we have</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=V%28t%29%3D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V(t)=' title='V(t)=' class='latex' /> 100 galon + (5 gal/min &#8211; 3 gal/min) <img src='http://s0.wp.com/latex.php?latex=%5Ctimes+t&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;times t' title='&#92;times t' class='latex' /> min,<br />
<img src='http://s0.wp.com/latex.php?latex=V%28t%29%3D%28100+%2B+2t%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V(t)=(100 + 2t)' title='V(t)=(100 + 2t)' class='latex' /> gal,</p>
<p>as we know that initially the tank is half full (100 gal).</p>
<p>Suppose <img src='http://s0.wp.com/latex.php?latex=y%28t%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='y(t)' title='y(t)' class='latex' /> is the amount of salt inside the tank at time <img src='http://s0.wp.com/latex.php?latex=t&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='t' title='t' class='latex' />. The rate in of salt is as follows,</p>
<p>rate in (pound/min) <img src='http://s0.wp.com/latex.php?latex=%3D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='=' title='=' class='latex' /> (0.5 pound/gal) <img src='http://s0.wp.com/latex.php?latex=%5Ctimes&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;times' title='&#92;times' class='latex' /> (5 gal/min) <img src='http://s0.wp.com/latex.php?latex=%3D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='=' title='=' class='latex' /> 2.5 pound/min,</p>
<p>while the rate out is<br />
rate out (pound/min) <img src='http://s0.wp.com/latex.php?latex=%3D+%5Cfrac%7By%28t%29%7D%7BV%28t%29%7D+%5Ctimes+%28pound%2Fgal%29+&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='= &#92;frac{y(t)}{V(t)} &#92;times (pound/gal) ' title='= &#92;frac{y(t)}{V(t)} &#92;times (pound/gal) ' class='latex' /> outflow (gal/min)<br />
<img src='http://s0.wp.com/latex.php?latex=%3D+%5Cfrac%7By%7D%7B100%2B2t%7D+%5Ctimes+3&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='= &#92;frac{y}{100+2t} &#92;times 3' title='= &#92;frac{y}{100+2t} &#92;times 3' class='latex' /> (pound/min)<br />
<img src='http://s0.wp.com/latex.php?latex=%3D+%5Cfrac%7B3y%7D%7B100%2B2t%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='= &#92;frac{3y}{100+2t}' title='= &#92;frac{3y}{100+2t}' class='latex' /> (pound/min).</p>
<p>Therefore, the mathematica model is given by,</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cfrac%7Bdy%7D%7Bdt%7D%3D2.5+-+%5Cfrac%7B3y%7D%7B100%2B2t%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;frac{dy}{dt}=2.5 - &#92;frac{3y}{100+2t}' title='&#92;frac{dy}{dt}=2.5 - &#92;frac{3y}{100+2t}' class='latex' />.          (1)</p>
<p><strong>The solution</strong><br />
First we determine time <img src='http://s0.wp.com/latex.php?latex=t&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='t' title='t' class='latex' /> at which the tank will be full. We use the following equation,</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=V%28t%29%3D%28100+%2B+2t%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V(t)=(100 + 2t)' title='V(t)=(100 + 2t)' class='latex' />,</p>
<p>We solve for <img src='http://s0.wp.com/latex.php?latex=t&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='t' title='t' class='latex' /> when the volume <img src='http://s0.wp.com/latex.php?latex=V%28t%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='V(t)' title='V(t)' class='latex' /> is 200 galon,  then we obtain <img src='http://s0.wp.com/latex.php?latex=t%3D50&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='t=50' title='t=50' class='latex' />.</p>
<p>To solve the differential equation (1) we need the initial condition<br />
as follow,</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=y%280%29%3D0&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='y(0)=0' title='y(0)=0' class='latex' />.</p>
<p>We are going to use Maple to solve the problem</p>
<p><span style="color:red;"><code> &gt; model := diff(y(t),t) = 2.5 - (3*y(t))/(100+2*t); </code></span><br />
<span style="color:red;"><code> &gt; init := y(0)=0; </code></span><br />
<span style="color:red;"><code> &gt; dsolve({model,init}); </code></span></p>
<p>We obtain the solution that is given by</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=y%28t%29+%3D+50%2Bt-%5Cfrac%7B2500+%5Csqrt%7B50%7D%7D%7B%2850%2Bt%29%5E%7B3%2F2%7D%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='y(t) = 50+t-&#92;frac{2500 &#92;sqrt{50}}{(50+t)^{3/2}}' title='y(t) = 50+t-&#92;frac{2500 &#92;sqrt{50}}{(50+t)^{3/2}}' class='latex' /></p>
<p>When <img src='http://s0.wp.com/latex.php?latex=t%3D50&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='t=50' title='t=50' class='latex' />, the amount of salt inside the tank will be</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=y%2850%29+%3D+82.32233047&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='y(50) = 82.32233047' title='y(50) = 82.32233047' class='latex' />.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/475/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/475/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/475/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/475/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/475/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/475/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/475/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/475/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/475/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/475/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/475/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/475/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/475/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/475/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=475&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2010/04/29/mixture-problem-in-calculus/feed/</wfw:commentRss>
		<slash:comments>7</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>
	</item>
		<item>
		<title>The solvability condition of A x = b when A is not a square matrix</title>
		<link>http://ivanky.wordpress.com/2010/03/19/the-solvability-condition/</link>
		<comments>http://ivanky.wordpress.com/2010/03/19/the-solvability-condition/#comments</comments>
		<pubDate>Fri, 19 Mar 2010 06:53:31 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[Justincase]]></category>
		<category><![CDATA[Latex]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[teaching]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=427</guid>
		<description><![CDATA[In an elementary linear algebra course, we learned the solvability condition of the linear system where is an matrix and are vectors. To mention a few, the followings are the solvability conditions (equivalent conditions) such that the linear system above has a solution: determinant of is not zero rank of is full all eigenvalues of [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=427&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>In an elementary linear algebra course, we learned the solvability condition of the linear system</p>
<p><img src='http://s0.wp.com/latex.php?latex=A+%5Cmathbf%7Bx%7D+%3D%5Cmathbf%7B+b%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A &#92;mathbf{x} =&#92;mathbf{ b}' title='A &#92;mathbf{x} =&#92;mathbf{ b}' class='latex' /></p>
<p>where <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is an <img src='http://s0.wp.com/latex.php?latex=n+%5Ctimes+n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n &#92;times n' title='n &#92;times n' class='latex' /> matrix and <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bx%7D%2C+%5Cmathbf%7Bb%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{x}, &#92;mathbf{b}' title='&#92;mathbf{x}, &#92;mathbf{b}' class='latex' /> are <img src='http://s0.wp.com/latex.php?latex=n+%5Ctimes+1&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='n &#92;times 1' title='n &#92;times 1' class='latex' /> vectors.</p>
<p>To mention a few, the followings are the solvability conditions (equivalent conditions) such that the linear system above has a solution:</p>
<ol>
<li>determinant of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is not zero</li>
<li>rank of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is full</li>
<li>all eigenvalues of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> are non zero</li>
<li>the vector columns (also rows) are independent</li>
<li><img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> has an inverse</li>
<li>et cetera</li>
</ol>
<p>However, I would like to discuss the case when either (#) <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is not a square matrix or<br />
(##) the rank of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is not full (&lt; $latex  n$).</p>
<p>There is actually a condition such that the linear system <img src='http://s0.wp.com/latex.php?latex=A+%5Cmathbf%7Bx%7D+%3D+%5Cmathbf%7Bb%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A &#92;mathbf{x} = &#92;mathbf{b}' title='A &#92;mathbf{x} = &#92;mathbf{b}' class='latex' /> has a solution whenever we have either (#) or (##). The solvability condition is</p>
<p style="text-align:center;"><img src='http://s0.wp.com/latex.php?latex=%5Cmathbf+%7Bb%7D+%5Cin+Col%28A%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf {b} &#92;in Col(A)' title='&#92;mathbf {b} &#92;in Col(A)' class='latex' />.</p>
<p>The thing is this condition is not applicable to most problems I have ever had. For instances, I bumped into the following problem.</p>
<p>Let <img src='http://s0.wp.com/latex.php?latex=A%2C+%5Cmathbf%7Bx%7D%2C+%5Cmathbf%7Bb%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A, &#92;mathbf{x}, &#92;mathbf{b}' title='A, &#92;mathbf{x}, &#92;mathbf{b}' class='latex' /> be the following</p>
<p><img src='http://s0.wp.com/latex.php?latex=A%3D%5Cleft%28%5Cbegin%7Barray%7D%7Bcc%7Da_%7B11%7D+%26+a_%7B21%7D+%5C%5Ca_%7B12%7D+%26+a_%7B22%7D+%5C%5Cb_%7B1%7D+%26b_%7B2%7D+%5C%5C%5Cend%7Barray%7D%5Cright%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A=&#92;left(&#92;begin{array}{cc}a_{11} &amp; a_{21} &#92;&#92;a_{12} &amp; a_{22} &#92;&#92;b_{1} &amp;b_{2} &#92;&#92;&#92;end{array}&#92;right)' title='A=&#92;left(&#92;begin{array}{cc}a_{11} &amp; a_{21} &#92;&#92;a_{12} &amp; a_{22} &#92;&#92;b_{1} &amp;b_{2} &#92;&#92;&#92;end{array}&#92;right)' class='latex' />,  <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bx%7D+%3D+%28l_1%2C+l_2%29%5ET&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{x} = (l_1, l_2)^T' title='&#92;mathbf{x} = (l_1, l_2)^T' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bb%7D%3D%28-a_%7B11%7D%2C-a_%7B22%7D%2C0%29%5ET&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{b}=(-a_{11},-a_{22},0)^T' title='&#92;mathbf{b}=(-a_{11},-a_{22},0)^T' class='latex' />. I want to seek a condition such that the linear system <img src='http://s0.wp.com/latex.php?latex=A+%5Cmathbf%7Bx%7D%3D%5Cmathbf%7Bb%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A &#92;mathbf{x}=&#92;mathbf{b}' title='A &#92;mathbf{x}=&#92;mathbf{b}' class='latex' /> is solvable for <img src='http://s0.wp.com/latex.php?latex=l_1%2Cl_2&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='l_1,l_2' title='l_1,l_2' class='latex' />. I want to find a condition for <img src='http://s0.wp.com/latex.php?latex=a_%7Bij%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='a_{ij}' title='a_{ij}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=b_i&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='b_i' title='b_i' class='latex' /> such that there is a solution of <img src='http://s0.wp.com/latex.php?latex=l_1%2C+l_2&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='l_1, l_2' title='l_1, l_2' class='latex' />.</p>
<p>The statement <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bb%7D+%5Cin+Col%28A%29&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{b} &#92;in Col(A)' title='&#92;mathbf{b} &#92;in Col(A)' class='latex' /> did not help me at that time and I look for another implication for this statement that is applicable enough to my problem.</p>
<p><strong>Fundamental Theorem of Orthogonality </strong>(see [1])<strong><br />
Let <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> be any <img src='http://s0.wp.com/latex.php?latex=m+%5Ctimes+n&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='m &#92;times n' title='m &#92;times n' class='latex' /> matrices.  The row space of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is orthogonal to the null space of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' />.</strong></p>
<p>Proof: Suppose <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bx%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{x}' title='&#92;mathbf{x}' class='latex' /> is a vector in the nullspace. Then <img src='http://s0.wp.com/latex.php?latex=A+%5Cmathbf%7Bx%7D+%3D+0&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A &#92;mathbf{x} = 0' title='A &#92;mathbf{x} = 0' class='latex' />. This equation can be considered as rows of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> multiplying <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bx%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{x}' title='&#92;mathbf{x}' class='latex' />:</p>
<p><img src='http://s0.wp.com/latex.php?latex=A%5Cmathbf%7Bx%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A&#92;mathbf{x}' title='A&#92;mathbf{x}' class='latex' /> = <img src='http://s0.wp.com/latex.php?latex=%5Cleft%5B%5Cbegin%7Barray%7D%7Bccc%7D%5Ccdots+%26+row_1+%26+%5Ccdots+%5C%5C%5Ccdots+%26+row_2+%26+%5Ccdots+%5C%5C+%5Cphantom%7Ba%7D++%26+%5Cphantom%7Ba%7D+%26+%5Cphantom%7Ba%7D+%5C%5C+%5Ccdots+%26+row_m+%26+%5Ccdots+%5C%5C+%5Cend%7Barray%7D%5Cright%5D%5Cleft%5B%5Cbegin%7Barray%7D%7Bc%7D+x_1+%5C%5C+x_2+%5C%5C+%5Cvdots+%5C%5C+x_n+%5C%5C+%5Cend%7Barray%7D+%5Cright%5D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;left[&#92;begin{array}{ccc}&#92;cdots &amp; row_1 &amp; &#92;cdots &#92;&#92;&#92;cdots &amp; row_2 &amp; &#92;cdots &#92;&#92; &#92;phantom{a}  &amp; &#92;phantom{a} &amp; &#92;phantom{a} &#92;&#92; &#92;cdots &amp; row_m &amp; &#92;cdots &#92;&#92; &#92;end{array}&#92;right]&#92;left[&#92;begin{array}{c} x_1 &#92;&#92; x_2 &#92;&#92; &#92;vdots &#92;&#92; x_n &#92;&#92; &#92;end{array} &#92;right]' title='&#92;left[&#92;begin{array}{ccc}&#92;cdots &amp; row_1 &amp; &#92;cdots &#92;&#92;&#92;cdots &amp; row_2 &amp; &#92;cdots &#92;&#92; &#92;phantom{a}  &amp; &#92;phantom{a} &amp; &#92;phantom{a} &#92;&#92; &#92;cdots &amp; row_m &amp; &#92;cdots &#92;&#92; &#92;end{array}&#92;right]&#92;left[&#92;begin{array}{c} x_1 &#92;&#92; x_2 &#92;&#92; &#92;vdots &#92;&#92; x_n &#92;&#92; &#92;end{array} &#92;right]' class='latex' /> = <img src='http://s0.wp.com/latex.php?latex=%5Cleft%5B%5Cbegin%7Barray%7D%7Bc%7D+0+%5C%5C+0+%5C%5C+%5Cvdots+%5C%5C+0+%5C%5C+%5Cend%7Barray%7D++%5Cright%5D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;left[&#92;begin{array}{c} 0 &#92;&#92; 0 &#92;&#92; &#92;vdots &#92;&#92; 0 &#92;&#92; &#92;end{array}  &#92;right]' title='&#92;left[&#92;begin{array}{c} 0 &#92;&#92; 0 &#92;&#92; &#92;vdots &#92;&#92; 0 &#92;&#92; &#92;end{array}  &#92;right]' class='latex' />.</p>
<p>We can clearly see that a dot product of row 1 and <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bx%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{x}' title='&#92;mathbf{x}' class='latex' /> is zero, a dot product of row 2 and <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bx%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{x}' title='&#92;mathbf{x}' class='latex' /> is zero, and so on. This means that the dot product of every row of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bx%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{x}' title='&#92;mathbf{x}' class='latex' /> is zero, which means every row of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is orthogonal to <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bx%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{x}' title='&#92;mathbf{x}' class='latex' />, which completes the proof.</p>
<p><strong>Corrolary 1</strong><br />
<strong>The column space of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /> is orthogonal to the left null space of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' />.</strong></p>
<p>Proof: The proof is easy, we just need to consider the transpose of the matrix <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' />.</p>
<p>Going back to our original problem, when the vector <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bb%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{b}' title='&#92;mathbf{b}' class='latex' /> is in the column space of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' />, the vector will be orthogonal to any vector in the left null space of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' />.</p>
<p>Thus, we have the following solvability condition:</p>
<p><strong>Solvability condition of <img src='http://s0.wp.com/latex.php?latex=A+%5Cmathbf%7Bx%7D+%3D+%5Cmathbf%7Bb%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A &#92;mathbf{x} = &#92;mathbf{b}' title='A &#92;mathbf{x} = &#92;mathbf{b}' class='latex' /> for any matrices <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' /><br />
</strong>The linear system <img src='http://s0.wp.com/latex.php?latex=A%5Cmathbf%7Bx%7D%3D%5Cmathbf%7Bb%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A&#92;mathbf{x}=&#92;mathbf{b}' title='A&#92;mathbf{x}=&#92;mathbf{b}' class='latex' /> has a solution if the dot product of <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7Bb%7D&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{b}' title='&#92;mathbf{b}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7By%7D_i&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{y}_i' title='&#92;mathbf{y}_i' class='latex' /> is zero, where <img src='http://s0.wp.com/latex.php?latex=%5Cmathbf%7By%7D_i&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='&#92;mathbf{y}_i' title='&#92;mathbf{y}_i' class='latex' /> is the base vector of the left null space of <img src='http://s0.wp.com/latex.php?latex=A&amp;bg=ffffff&amp;fg=555555&amp;s=0' alt='A' title='A' class='latex' />.</p>
<p>Remark, the above solvability condition is closely related to the linear version of Fredholm solvability condition.</p>
<p>Reference<br />
[1] Strang, G., &#8220;Linear Algebra and Its Applications,&#8221; Thomson Brooks/Cole</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/427/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/427/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/427/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/427/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/427/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/427/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/427/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/427/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/427/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/427/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/427/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/427/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/427/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/427/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=427&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2010/03/19/the-solvability-condition/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>
	</item>
		<item>
		<title>Installing/Adding new latex packages in ubuntu environment</title>
		<link>http://ivanky.wordpress.com/2010/02/05/installinglatexpackages/</link>
		<comments>http://ivanky.wordpress.com/2010/02/05/installinglatexpackages/#comments</comments>
		<pubDate>Fri, 05 Feb 2010 04:46:45 +0000</pubDate>
		<dc:creator>ivanky</dc:creator>
				<category><![CDATA[Justincase]]></category>
		<category><![CDATA[Latex]]></category>
		<category><![CDATA[linux]]></category>
		<category><![CDATA[ubuntu]]></category>

		<guid isPermaLink="false">http://ivanky.wordpress.com/?p=420</guid>
		<description><![CDATA[Been using ubuntu for a while, here I made some notes on how to add/install new latex packages.. A. If the package in the sty format 1. create a new directory under tex tree &#8211;&#62; sudo mkdir /usr/share/texmf-texlive/tex/latex/&#60;packagename&#62; 2. copy the package inside the new directory 3, run the following command &#8211;&#62; sudo mktexlsr B. [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=420&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Been using ubuntu for a while, here I made some notes on how to add/install new latex packages..</p>
<p>A. If the package in the sty format</p>
<p>1. create a new directory under tex tree</p>
<p>&#8211;&gt; sudo mkdir /usr/share/texmf-texlive/tex/latex/<em>&lt;packagename&gt;</em></p>
<p>2. copy the package inside the new directory</p>
<p>3, run the following command</p>
<p>&#8211;&gt; sudo mktexlsr</p>
<p>B. if the package is not the sty format</p>
<p>1. Download <em>&lt;packagename&gt;</em>.ins and <em>&lt;packagename&gt;</em>.dtx (you need both)</p>
<p>2. Run the following command</p>
<p>&#8211;&gt; latex  <em>&lt;packagename&gt;</em>.ins</p>
<p>3. You will get the package in the sty format and you can follow instructions in A.</p>
<p>I hope this helps. Thanks to this <a href="http://blog.irrepupavel.com/2007/02/installing-latex-style-files-sty-on.html" target="_blank">page</a>.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/ivanky.wordpress.com/420/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/ivanky.wordpress.com/420/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/ivanky.wordpress.com/420/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/ivanky.wordpress.com/420/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/ivanky.wordpress.com/420/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/ivanky.wordpress.com/420/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/ivanky.wordpress.com/420/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/ivanky.wordpress.com/420/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/ivanky.wordpress.com/420/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/ivanky.wordpress.com/420/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/ivanky.wordpress.com/420/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/ivanky.wordpress.com/420/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/ivanky.wordpress.com/420/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/ivanky.wordpress.com/420/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=ivanky.wordpress.com&amp;blog=6642780&amp;post=420&amp;subd=ivanky&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://ivanky.wordpress.com/2010/02/05/installinglatexpackages/feed/</wfw:commentRss>
		<slash:comments>8</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/5ba018b518399e894dad8243417ee1d6?s=96&#38;d=monsterid" medium="image">
			<media:title type="html">ivanky</media:title>
		</media:content>
	</item>
	</channel>
</rss>
