Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
A fixed-point theorem is a result saying that a function $F$ will have at least one fixed point (a point $x$ for which $F(x) = x$), under some conditions on $F$ that can be stated in general terms.
1
vote
The Tarski-Lindenbaum theorem of the middle value
Not a very satisfactory answer, but some considerations to the proof of the MV theorem:
One might think that analogously to the proof of CBS (see e.g. Joel David Hamkins answer how to use KT for that …
1
vote
Accepted
Continuity of Kakutani fixed points
I assume that you mean that $F$ is upper semicontinuous on the product space. Then in particular (since $X$ is compact, Hausdorff and $F$ has closed values), $F$ has a closed graph. This implies that …
1
vote
How do I apply Brouwer fixed-point theorem in this claim?
Only now I realize the condition that $\zeta$ is nonnegative. (Was it really there in the first formulation of the question?)
With this condition, it is possible to get the required a-priori bound req …
1
vote
How do I apply Brouwer fixed-point theorem in this claim?
What is needed is an a-priori $L_\infty$ bound for the solution $v_k$. If you know such an a-priori bound, you can modify $\zeta$ outside of this bound, and you can assume without of generality that $ …