
#1
Jan1613, 07:18 AM

P: 91

If you have a surjective function from the unit square, [0,1] X [0,1] onto a bigger square, such as [0,3] X [0,3], will there always be a fixed point under any injection of the unit square into the big square (i.e. will there always be [itex]x[/itex] s.t. [itex]f(x)=i(x)[/itex], where [itex]i[/itex] is an injection?)
It seems to me that there will, because the same idea that holds in proving that a continuous function from a disk to a disk seems to hold here, although somewhat different. Include the unit square into the bigger square (however you want), and then, assuming there exist no fixed points, draw a line starting at [itex]f(x)[/itex] (of the image of the unit square) through [itex]x[/itex] onto the boundary of the smaller included square. Then, for all points, [itex]x[/itex], not in the image of the smaller square, let [itex]F(x)[/itex]=[itex]x[/itex]. Then let [itex]F(x)[/itex] be defined on the entire large square by the two conditions I just outlined. I *think* this is continuous by the pasting lemma, but I'm not completely sure. Then, if it is, we've defined a retraction of the large square onto the square annulus. So, this implies that the homomorphism induced by inclusion of the square annulus in the square is injective, but we know this cannot be the case, as the square has trivial fundamental group and the square annulus does not. Does this make sense? My main concerns are the continuity of the function defined above and whether or not any injection of the smaller square into the bigger square will allow me to create this "squareannulus type" object. If not, are there other conditions I can impose to make it true. Would this be true if I simply let the injection be the inclusion mapping? 



#2
Jan1613, 07:55 AM

Sci Advisor
HW Helper
PF Gold
P: 4,768

It seems to me like the map F need not be the identity on the boundary of the smaller square, and so defining it to be F(x) = x outside will not result in a continuous map.




#3
Jan1613, 07:58 AM

P: 91





#4
Jan1613, 08:05 AM

Sci Advisor
HW Helper
PF Gold
P: 4,768

Fixed Point Theorems
Do you mean we use the same line but make x run in the opposite direction instead?




#5
Jan1613, 08:09 AM

P: 91

Then, if there is an [itex]x[/itex] on the interior and [itex]f(x)[/itex] outside the unit square, then we let the line run through [itex]f(x)[/itex], across one boundary line, through [itex]x[/itex], and onto the next boundary line, and call that final intersection [itex]F(x)[/itex]. 



#6
Jan1613, 08:35 AM

Sci Advisor
HW Helper
PF Gold
P: 4,768

Clearly if we just let x slide in the opposite direction this doesn't work either for the same reason as before.




#7
Jan1613, 08:40 AM

P: 91





#8
Jan1613, 08:46 AM

Sci Advisor
HW Helper
PF Gold
P: 4,768

Ex: Assume for simplicity that the big square is [3,3] x [3,3] and the small one inside is [1,1] x [1,1]. If x= (1,1) f(x) = (3,3), then F(1,1)=(1,1), ok. But if f(x) = (3,3), then F(1,1) = (1,1).




#9
Jan1613, 08:50 AM

P: 91





#10
Jan1613, 08:51 AM

Sci Advisor
HW Helper
PF Gold
P: 4,768

Reread post #8, I edited it (twice) since.




#11
Jan1613, 08:58 AM

P: 91

Why is that true? In both situations, if we push through f(x) and x in the direction of x, we land on the (1,1). The rule is that we run through f(x) then x and stop once we've hit a boundary point as long as both x and f(x) are on the line (so that if a boundary point lies between f(x) and x we don't choose that boundary point, but the one after we run through both f(x) and x).
In the case f(x)=(3,3) to x=(1,1) we run the line from (3,3) to (1,1) and stop there because the line has hit both x and f(x) and we have hit a boundary point. Let me know if I'm confusing myself. 



#12
Jan1613, 10:24 AM

Sci Advisor
HW Helper
PF Gold
P: 4,768

Ok I see what you're suggesting now. This is not continuous. For instance, if x = (1,1), f(1,1) = (3,3), then by your rule, F(1,1) = (1,1) because (1,1) is already a boundary point. But every other point inside [1,1] x [1,1] along the line passing through (3,3) and (1,1) is going to be sent to (1,1) according to your rule, correct?




#13
Jan1613, 10:46 AM

P: 91

I'm a bit confused now, though. I know the point of the proof of Brouwer's fixed point theorem (at least for D^{2}) is that by assuming for contradiction there is no fixed point, then we CAN define this weird "ripping" continuous function (i.e. the retraction). 


Register to reply 
Related Discussions  
Stability of fixed point  Differential Equations  10  
Fixed Point Problems  Precalculus Mathematics Homework  3  
Fixed point charges.  Introductory Physics Homework  1  
Fixed Point Numbers  Programming & Computer Science  6 