Show that there exist [a,b]⊂[0,1][a,b]\subset [0,1], such that ∫baf(x)dx\int_{a}^{b}f(x)dx = ∫bag(x)dx\int_{a}^{b}g(x)dx = 12\frac{1}{2}

Let f(x) and g(x) be two continuous functions on [0,1] and

Show that there exist [a,b][0,1], such that

The question can be solved by considering the fundamental group of S1, now I am wondering if we can solve it by real-analysis.

Here is the topological solution:

Assume that for any [a,b][0,1], we always have
Consider mapping
where D={(x,y)|0xy1}.

Let a be path from (0,0) to (0,1)in D and b be path from (0,1) to (1,1)in D, then ab is a path from (0,0) to (1,1)in D and
Notice that

so ϕ(ab) is a loop based on (0,0) in E2{(12,12)}.

For any t[0,12], it’s not hard to get that
is equivalent to

Define retraction
r:E2{(12,12)}S1,(x,y) (x,y)(12,12)||(x,y)(12,12)||

Then rϕ(ab) is a loop on S1, such that

So <rϕ(ab)> is not trivial in π1(S1).

However, ab is path homotopic to c in D, where c is the path between (0,0) and (1,1) in D. In this case, rϕ(ab) is a point-path in S1 by

which leads to contradiction.


Consider the following proposition.

Proposition 1: Let T:={(a,b)[0,1]2:ab} and let f:TR2 be continuous. Assume that f(0,r)+f(r,1)=(1,1) holds for all r[0,1] and that f is (0,0) on the edge E:={(a,b)T:a=b}. Then there exists vT such that f(v)=(12,12).

In can easily be seen that your statement follows from Proposition 1 by considering F(a,b)=(baf(x)dx,bag(x)dx). I think it is unlikely that you can prove your statement with a proof that can not be manipulated to also prove Proposition 1. However, Proposition 1 can be shown equivalent to a version of the Borsuk Ulam theorem, only using arguments from real analysis. Since I don’t think anyone ever came up with a proof of the Borsuk Ulam theorem only using arguments from real analysis, I think it is unlikely that you can prove your statement only using arguments from real analysis. The version of the Borsuk Ulam theorem I am talking about is the following.

Borsuk Ulam theorem: Let f:D2R2 be continuous such that f(v)=f(v) for vS1. Then there exists vD2 such that f(v)=(0,0).

Remarks: Here D2={vR2:v1} and S^1=\{v\in\mathbb{R}^2:\|v\|=1\}. A generalized form of this theorem is mentioned equivalent to the Borsuk Ulam theorem in the second bullet point of the first paragraph of the Wikipedia page. However, from now on, I will refer to this as the Borsuk Ulam theorem.

I think it is worth mentioning that, even though the Borsuk Ulam theorem is usually proven with algebraic topology, you can also prove the Borsuk Ulam theorem with just combinatorics and real analysis. At the end of this post, I give a direct proof of the Borsuk Ulam theorem, only using Tucker’s lemma from combinatorics and the Bolzano Weierstrass theorem from real analysis.

The rest of this post will be showing the equivalence of Proposition 1 and the Borsuk Ulam theorem. The following proposition will be used in the proof of both implications.

Proposition 2: There exists a homeomorphism \phi:T\setminus E\to D^2\setminus\{(1,0)\} such that \phi(0,r)=e^{ri\pi} for all r\in(0,1] and \phi(r,1)=-e^{ri\pi} for all r\in[0,1).

Remark: For the definitions of T, E and D^2, refer to Proposition 1 and the Borsuk Ulam theorem.

If you want, you can ask in the comments for an explicit proof of this proposition. However, the proof will be very tedious and not very enlightening at all. The reader is advised to draw pictures of the situation and convince themselves that such a homeomorphism really exists.

Borsuk Ulam \implies Proposition 1

Let f be given as in Proposition 1. Let \phi be as in Proposition 2. We can define g:D^2\to\mathbb{R}^2 by
(0,0) & \mbox{if $v=(1,0)$} \\
f(\phi^{-1}(v)) & \mbox{otherwise}

Combining the properties of f and \phi, we know that g is continuous, and g(v)+g(-v)=(1,1) holds for all v\in S^1. We find that g-(\frac12,\frac12) obeys all conditions of the Borsuk Ulam theorem. Hence, there exists v\in D^2 such that g(v)=f(\phi^{-1}(v))=(\frac12,\frac12).

Proposition 1 \implies Borsuk Ulam

Let f:D^2\to\mathbb{R}^2 be as in the Borsuk Ulam theorem. The goal is to find v\in D^2 such that f(v)=(0,0). It is a simple application of the intermediate value theorem to show there exists v\in S^1 such that f(v) has the same x and y coordinate. Note that this means either f(v)=(0,0), or one of f(v) and f(-v) has equal negative coordinates. In the first case, we are done. In the second case, we can assume without loss of generality (by scaling and rotating) that f(1,0)=(-\frac12,-\frac12).

We can define g:T\to\mathbb{R}^2 by
(0,0) & \mbox{if $v\in E$} \\
f(\phi(v))+(\frac12,\frac12) & \mbox{otherwise}

Combining the properties of f and \phi, we know that g obeys all conditions of Proposition 1. Hence, there exists v\in T such that g(v)=(\frac12,\frac12), so f(\phi(v))=(0,0).

Combinatorial proof of the Borsuk Ulam theorem

Since D^2 is compact, f is uniformly continuous. So for all \varepsilon>0 there exists \delta>0 such that for all v,w\in D^2 with \|v-w\|<\delta we have \|f(v)-f(w)\|<\varepsilon.

Let T be a triangulation of D^2 such that all edges have length smaller than \delta. We then give every vertex a color from the set \{1,-1,2,-2\}. The color of vertex v is purely based on f(v). If f(v) has an absolutely larger first coordinate than second coordinate, v gets color 1 or -1, depending on the sign of the first coordinate of f(v). Otherwise, v gets color 2 or -2, depending on the sign of the second coordinate of f(v).

By the given properties of f we can apply Tucker's lemma. We find adjacent vertices v,w\in D^2 with opposite colors. Because of our choice in triangulation, we find \|f(v)-f(w)\|<\varepsilon. Then because of our way of coloring the vertices, we see that both coordinates of both f(v) and f(w) must be absolutely smaller than \varepsilon, so in particular \|f(v)\|<2\varepsilon.

We find for each \varepsilon>0 some v\in D^2 such that \|f(v)\|<2\varepsilon. Hence, we can find a sequence \{v_i\} in D^2 such that f(v_i)\to(0,0). Because D^2 is compact, by the Bolzano Weierstrass theorem there is a convergent subsequence of \{v_i\} with limit v\in D^2. By the continuity of f, we find f(v)=(0,0).

Source : Link , Question Author : Community , Answer Author : SmileyCraft

Leave a Comment