You are currently browsing the monthly archive for March 2008.
[Update: Firefox 3 Beta 5 is out - the last beta version! And it is supposedly the fastest browser out there. So, far it's been using memory not more than 150 200 Mb!]
I have been wanting to respond to some of the comments I’ve received over the past week but haven’t had enough time to do so. I will certainly respond some time soon.
For now, I just wish to point out to folks who use Firefox 2 that Firefox 3 Beta 4 has been released. Well, it is only meant for developers and testers for now, but having installed and used it over the past several days, I can say it’s a much better version of the Firefox browser. The biggest problem (I’ve had) with the current version of Firefox is it uses an enormous amount of memory mostly due to memory leaks. Keep it running for several days – I hardly log off – and the browser takes up as much as 700-800Mb of memory, sometimes even consuming a gigabyte, which is plain insane! Due to this, I had seriolusly considered switching to Flock or IE altogether. But, now I am very satisfied with the new beta version. It mostly uses around 150Mb of memory while never exceeding 200Mb 250Mb, which really shows that the Firefox team has had been working hard on the new version.
Go ahead and download/install the new beta version and test it yourself. I haven’t had any problems thus far. The only downside of using the beta version is your add-ons will not work, but that is hardly an issue, at least to me, for now.
Part 2:
After having understood the inclusion-exclusion principle by working out a few cases and examples in my earlier post, we are now ready to prove the general version of the principle.
As with many things in mathematics, there is a “normal” way of doing proofs and there is the “Polya/Szego” way of doing proofs. (Ok, ok, I admit it’s just a bias I have.) I will stick to the latter. Ok, let’s state the principle first and follow it up with its proof in a step-by-step fashion.
Inclusion-Exclusion Principle: Let there be a set of objects. Suppose out of these
objects, there are
objects of type
,
objects of type
objects of type
and
objects of type
. Also, suppose
denote the number of objects that are simultaneously of type
AND
AND
AND
AND
respectively. Then, the number of objects that are NOT of type
is
.
— Notation —
Let (finite or infinite) be the universe of discourse. Suppose
. Then, the characteristic function
of
is defined as
if
,
and otherwise, for all
.
For example, suppose . Let
(i.e. even integers.) Then,
, and so on.
Note: and
for all
. Here,
denotes the empty set. Due to this, we will use
and
interchangeably from now.
—
Lemma 1: iff
for all
.
Proof: We first prove the “only if”part. So, suppose . Let
. If
, then
. But, we also have
, in which case,
. If, on the other hand,
, then
. Hence, in either case,
for all
.
We now prove the “if” part. So, suppose for all
. Let
. Then,
, which forces
, which implies
. Hence,
, and this completes our proof.
Note: If is finite, then
.
Lemma 2:
and
for all . (Here,
is the complement of
.)
Proof: The proof for each case is elementary.
Lemma 3: Suppose is finite. If
, then the characteristic function of
is
, i.e.
for all
.
Proof: Note the above is an extension of the third part of lemma . A simple induction on the number of subsets of
proves the result.
— Proof of the inclusion-exclusion principle —
Now, suppose are subsets of objects of type
, respectively. Observe that the set of objects that are NOT of type
is simply the region outside of all the oval regions! (Look at the previous post to see what this means.) And this region is simply the subset
. Using the first part of lemma
, we see that the characteristic function of this outside region is
, which from lemma
is the same as
.
Expand the last expression to get
.
Now, sum over all the elements of and use the second part of lemma
to obtain the desired result. And this completes our proof.
Part 1:
A couple of weeks ago, my friend John (from UK) asked me if I could explain the Inclusion-Exclusion Principle to him. Wikipedia contains an article on the same topic but John felt that it wasn’t a very helpful introduction. So, as promised, here is the post on that topic, though I managed to finish it only after some delay. (Sorry, John!)
As the title of this post suggests, the inclusion-exclusion principle can simply be described as counting all the objects outside the oval regions! We will use Venn diagrams to explain what that means.
Note: denotes the greatest integer less than
.
Ok, let’s now “build” the principle step by step.
1. Suppose there are objects out of which there are exactly
objects of type
. How many objects are NOT of type
? The answer is obvious:
. The Venn diagram below depicts the answer pictorially. The rounded rectangular region (with the orange border) is the set of all
objects, and the oval region (with the blue border) is the set of all
objects of type
. Then, the remaining white region that is outside the oval region denotes the set of all objects that are NOT of type
, and clearly, there are
of ‘em.

Indeed, let us take a simple example. Consider the set of first thirty natural numbers: . So,
. Now, out of these thirty integers, let
be the number of integers divisible by
. Then,
. It is easy to see that the number of integers NOT divisible by
equals
, which is what we would expect if we were to list all the integers not divisible by
. Indeed, those integers are
.
2. Now, suppose there are objects out of which there are exactly
objects of type
and
objects of type
. Also, suppose there are exactly
objects that are of both type
AND
. Then, how many objects are NOT of type
OR
? The Venn diagram below illustrates this case.

Again, we are counting the number of objects outside the two oval regions. To answer the above question, we first need to determine the number of objects inside the two oval regions, and then subtract this number from the total, which is . Now, one might be tempted to think that the number of objects inside the two oval regions is simply
. But this is only true if the two oval regions don’t intersect (i.e. they have no objects in common.) In the general case, however, the expression
counts
twice! And so, we must subtract
from the expression to get
as the exact number of objects inside the two oval regions. We can now see that the number of objects outside the two oval regions equals
, and we are done.
Continuing with our example used earlier, let be the number of integers divisible by
. Also, let
be the number of integers divisible by
AND
(i.e. we count multiples of
.) Now, note that
, and
.
Thus, using the formula derived above, the number of integers that are NOT divisible by OR
equals
. In fact, we can list these ten integers:
and
; and this confirms our answer.
3. Now, suppose there are objects out of which there are exactly
objects of type
,
objects of type
and
objects of type
. Also, let
denote the number of objects of type
AND
,
the number of objects of type
AND
,
the number of objects of type
AND
, and
the number of objects of type
AND
. Then, how many objects are NOT of type
OR
? This case is illustrated by the Venn diagram shown below.

Once again, let us ask, what is the number of objects inside the three oval regions. A possible answer is . Now this will only be true if the three oval regions are pairwise disjoint. In the general case, however, we will have to take care of overcounting, just as we did in
earlier. A brief thought will reveal that in the above expression, we have counted each of
and
twice and
thrice! To take care of this overcounting, we subtract each of
and
once from the expression, but in doing so, we also end up subtracting
thrice! We thus need to add
back into the expression to get
, and this expression yields the exact number of objects inside the three oval regions. Therefore, the number of objects outside the three oval regions equals
. And, we are done.
Again, continuing with our earlier example, let denote the number of integers divisible by
. Then,
. Also, let
denote the number of integers divisible by
AND
(i.e. we are counting multiples of
); then,
. Again, let
denote the number of integers divisible by
and
; then
. And, finally, let
denote the number of integers divisible by
and
; then
.
So, the number of integers NOT divisible by OR
equals
. Indeed, those eight integers are
and
.
It isn’t very hard to deduce the formula for the general case when we have a set of objects, out of which there are
objects of type
,
objects of type
, and so on. The proof of the general formula will follow in the next post, which may include a couple of problems/solutions involving this principle.
I attended the CURM Conference & MAA Intermountain Section Meeting yesterday at BYU, Provo, and had the chance to attend quite a few presentations that I found interesting. There were four presentations in particular that were of special interest to me, and though, right now, I don’t have enough material to blog on ‘em, I think I will eventually find the required material to post some stuff here.
These four presentations were titled
1. Exploration of G-graphs of Non-Abelian Groups: Andrea L. DeWitt & Alys M. Rodriguez (Lamar University)
2. Re-invent the Wheel: can it be done?: Christa Bauer & Jillian Hamilton (Lamar University)
3. Proving Integer Sequence Identities with Paths on Graphs: Megan Craven (St. Peters College)
4. Restricted Rado Numbers: Katrina Luckenbach & Matthew Vieira (St. Peters College)
I simply love the sound of the guitar (of all types), and as any amateur guitar player, I have some guitar heroes myself – this has got nothing to do with the popular game Guitar Hero, which I think sucks!
Let me begin by posting several videos of Joe Satriani or “Satch” (as he is popularly known) playing Love Thing, Always with Me Always with You and Starry Night. By the way, Kirk Hammett (Metallica) and Steve Vai were both students of Satch, if you didn’t know.
Enjoy!
Love Thing
Always with Me Always with You
Starry Night
[Update: Thanks to Andreas for pointing out that I may have been a little sloppy in stating the maximum modulus principle! The version below is an updated and correct one. Also, Andreas pointed out an excellent post on "amplification, arbitrage and the tensor power trick" (by Terry Tao) in which the "tricks" discussed are indeed very useful and far more powerful generalizations of the "method" of E. Landau discussed in this post. The Landau method mentioned here, it seems, is just one of the many examples of the "tensor power trick".]
The maximum modulus principle states that if (where
) is a holomorphic function, then
attains its maximal value on any compact
on the boundary
of
. (If
attains its maximal value anywhere in the interior of
, then
is a constant. However, we will not bother about this part of the theorem in this post.)
Problems and Theorems in Analysis II, by Polya and Szego, provides a short proof of the “inequality part” of the principle. The proof by E. Landau employs Cauchy’s integral formula, and the technique is very interesting and useful indeed. The proof is as follows.
From Cauchy’s integral formula, we have
,
for every in the interior of
.
Now, suppose on
. Then,
,
where the constant depends only on the curve
and on the position of
, and is independent of the specific choices of
. Now, this rough estimate can be significantly improved by applying the same argument to
, where
, to obtain
, or
.
By allowing to go to infinity, we get
, which is what we set out to prove.
Polya/Szego mention that the proof shows that a rough estimate may sometimes be transformed into a sharper estimate by making appropriate use of the generality for which the original estimate is valid.
I will follow this up with, maybe, a couple of problems/solutions to demonstrate the effectiveness of this useful technique.
1. Notions of Set Theory
Artin introduces a concept that is referred to as the canonical factoring of a map (function). The basic idea is that any function can be factored into three functions
and
in a somewhat unique way:
, where
is onto,
is a bijection, and
is an injection. The construction of these three functions is done in a canonical, or natural, way that doesn’t require the use of objects outside the domain and/or range of
.
Let be some non-empty set. If
is a function from
into a set
, then we write
.
Suppose and
. Then, we can form a composite function
defined by
for all
. The associative law holds trivially for composition of functions.
Further, if , then the set of all the images of elements of
, denoted by
, is called the image of
. In general,
. We call the function
onto whenever
.
Now, let us partition the set into equivalence classes such that
are in the same equivalence class iff
. This partition is called the quotient set and is denoted by
.
To illustrate, suppose and
. Also, let
such that
and
. Then, the quotient set,
.
We construct now a function that maps each
to its equivalence class. It can be verified that
is onto. So, taking the above example, we have
,
,
and
.
Next, we construct a function where each element (which is an equivalence class) of
is mapped to a
where each
is the image of the members of the equivalence class. Recall that
are in the same equivalence class iff
. Therefore,
is one-to-one and onto. Continuing with our above example, we have
,
and
.
And, finally, we construct a trivial function where
for each
. Note that
is not an identity because it maps a subset,
, into a possibly larger set,
, i.e.
is an identity iff
is onto. In general,
is one-to-one and into (i.e. an injection.)
Thus, if , we note that
for every
.
And, so,
.
Once again, is onto,
is a bijection, and
is an injection.
It looks like it doesn’t make much sense to factor the way we did above, but we will explore more of this with respect to group homomorphisms in my next post.
Ok, I got a copy of Emil Artin‘s Geometric Algebra from the library a couple of days ago, and a careful reading of some of the parts from the first chapter has convinced me even more now that one should indeed learn mathematics from the masters themselves!
The subject employs concepts/theorems/results from set theory, vector spaces, group theory, field theory and so on, and centers around the foundations of affine geometry, the geometry of quadratic forms and the structure of the general linear group. The book also deals with symplectic and orthogonal geometry and also the structure of the symplectic and orthogonal groups.
I intend to blog on this subject for as long as I can, and this will be my first serious project for now. There are some neat things I learned in chapter I which basically deals with preliminary notions. The actual text begins from chapter II, which is titled Affine and Projective Geometry. But, chapter I has some cool techniques too, and I wish to share them in my subsequent posts.
This post is non-mathematical in nature, and yet, I felt I should write about a very important essay written by Kant, for the rational thought expressed in the essay is very close to my heart!
In 1784, Immanuel Kant wrote an essay titled, Answer to the Question: What is Enlightenment?
He answers that question in the first paragraph of his essay:
Enlightenment is man’s emergence from his self-imposed immaturity. Immaturity is the inability to use one’s understanding without guidance from another. This immaturity is self-imposed when its cause lies not in lack of understanding, but in lack of resolve and courage to use it without guidance from another. Sapere Aude! [dare to know] “Have courage to use your own understanding!”–that is the motto of enlightenment.
And, the part that I really like is contained in the second paragraph, and it reads,
If I have a book to serve as my understanding, a pastor to serve as my conscience, a physician to determine my diet for me, and so on, I need not exert myself at all. I need not think, if only I can pay: others will readily undertake the irksome work for me. The guardians who have so benevolently taken over the supervision of men have carefully seen to it that the far greatest part of them (including the entire fair sex) regard taking the step to maturity as very dangerous, not to mention difficult. Having first made their domestic livestock dumb, and having carefully made sure that these docile creatures will not take a single step without the go-cart to which they are harnessed, these guardians then show them the danger that threatens them, should they attempt to walk alone.
Yesterday, I wrote a post on the Mason-Stothers theorem and presented an elementary proof of the theorem given by Noah Snyder. As mentioned in that post, I will present now a problem proposed by Magkos Athanasios (Kozani, Greece) that can be solved almost “effortlessly” using the aforesaid theorem.
Problem: Let
and
be polynomials with complex coefficients and let
be a complex number. Prove that if
for all
, then the polynomials
and
are constants.
(Magkos Athanasios)
Solution: First, note that if is a constant, then this forces
to be a constant, and vice-versa. Now, suppose
and
are not constants. We show that this leads to a contradiction.
Observe that if and
have a common root, say,
, then we have
, which implies
, which implies
, a contradiction. Therefore, we conclude
and
are relatively prime polynomials, and hence,
and
are also relatively prime. Now, let
and
. Then, from the given equation, we conclude
and
for some
.
So,
.
Also,
.
Now, applying the Mason-Stothers theorem, we get
, which implies
, a contradiction! And, we are done.

Recent Comments