TIFR 2015 Problem 7 Solution is a part of TIFR entrance preparation series. The Tata Institute of Fundamental Research is India’s premier institution for advanced research in Mathematics. The Institute runs a graduate programme leading to the award of Ph.D., Integrated M.Sc.-Ph.D. as well as M.Sc. degree in certain subjects.
The image is a front cover of a book named Introduction to Real Analysis by R.G. Bartle, D.R. Sherbert. This book is very useful for the preparation of TIFR Entrance.

Also Visit: College Mathematics Program of Cheenta


Problem:


Let \(f:\mathbb{R}^2 \to \mathbb{R} \) be a continuous map such that \(f(x)=0 \) for only finitely many values of \(x\). Which of the following is true?

A. either \(f(x) \le 0 \)for all \(x\) or \(f(x) \ge 0 \) for all \(x\).

B. the map \(f\) is onto

C. the map \(f\) is one-to-one

D. none of the above


Discussion:


Let \(f\) be the map \(f(x_1,x_2)=x_1^2 +x_2^2 \). Then \(f\) is zero at only (0,0). \(f\) is continuous because \(x=(x_1,x_2) \to x_1 \to x_1^2 \) is continuous from \(\mathbb{R}^2 \to \mathbb{R} \to \mathbb{R} \). i.e, each arrow is continuous. The first arrow is the projection map, and such maps are always continuous, and the second arrow is just squaring, which is continuous. And composition of continuous functions are continuous, so \(x \to x_1^2 \) is continuous function from \(\mathbb{R}^2 \to \mathbb{R}\). Where here and henceforth \(x=(x_1,x_2)\in \mathbb{R}^2 \).

Similar reasoning will show that \(x \to x_2^2 \) is continuous function from \(\mathbb{R}^2 \to \mathbb{R}\).

Sum of continuous functions is continuous, so the map \(x \to x_1^2+ x_2^2 \) is continuous function from \(\mathbb{R}^2 \to \mathbb{R}\).

This function \(f\) is not one-one since \(f(1,0)=f(0,1)=1\) and it is not onto since it only takes values in \([0,\infty ) \).

So we now are sure that B,C are false options.

We will prove A now.

Let \(x=(x_1,x_2)\) and \(y=(y_1,y_2)\) be two points in \(\mathbb{R}^2\) such that \(f(x)>0\) and \(f(y)<0\).

We will prove that this will imply infinitely many zeros in between \(x\) and \(y\). But wait a second… what does between mean in this context? For that we consider the paths between \(x\) and \(y\). Note that there are infinitely many paths between any two points in \(\mathbb{R}^2\). Further, we can in fact have infinitely many paths completely disjoint except for the initial and final points. We show that corresponding to each path \(\alpha: [0,1] \to \mathbb{R}^2\) which connects \(x\) and \(y\) we have a zero in the path. Since there are infinitely many disjoint paths, we get infinitely many distinct zeros for \(f\).

Now, \(\alpha: [0,1] \to \mathbb{R}^2\) is a continuous function , \( \alpha(0)=x \), \(\alpha(1)=y\).

Consider the composition \(g=f o \alpha : [0,1] \to \mathbb{R}\). \(g\) is continuous. g(0)=f(x)>0 and g(1)=f(y)<0.

Therefore by the intermediate value theorem, \(g(c)=0\) for some \(c\in [0,1]\).

That means, \(f(\alpha(c))=0\). And using the discussion above we get a contradiction.

This proved the option A.


Chatuspathi

  • What is this topic: Real Analysis
  • What are some of the associated concept: Continuity,Intermediate Value Theorem
  • Book Suggestions: Introduction to Real Analysis by R.G. Bartle, D.R. Sherbert