Iteration Fixed Point Exercises

Scott Garrabrant; SamEisenstat

Fixed Points

10 Iteration Fixed Point Exercises

by Scott Garrabrant, Sam Eisenstat

22nd Nov 2018

3 min read

10

This is the third of three sets of fixed point exercises. The first post in this sequence is here, giving context.

Note: Questions 1-5 form a coherent sequence and questions 6-10 form a separate coherent sequence. You can jump between the sequences.

Let $(X, d)$ be a complete metric space. A function $f : X \to X$ is called a contraction if there exists a $q < 1$ such that for all $x, y \in X$ , $d (f (x), f (y)) \leq q \cdot d (x, y)$ . Show that if $f$ is a contraction, then for any $x$ , the sequence ${x_{n} = f^{n} (x_{0})}$ converges. Show further that it converges exponentially quickly (i.e. the distance between the $n$ th term and the limit point is bounded above by $c \cdot a^{n}$ for some $a < 1$ )
(Banach contraction mapping theorem) Show that if $(X, d)$ is a complete metric space and $f$ is a contraction, then $f$ has a unique fixed point.
If we only require that $d (f (x), f (y)) < d (x, y)$ for all $x \neq y$ , then we say $f$ is a weak contraction. Find a complete metric space $(X, d)$ and a weak contraction $f : X \to X$ with no fixed points.
A function $f : R^{n} \to R$ is convex if $f (t x + (1 - t) y) \leq t f (x) + (1 - t) f (y)$ , for all $t \in [0, 1]$ and $x, y \in R^{n}$ . A function $f$ is strongly convex if you can subtract a positive parabaloid from it and it is still convex. (i.e. $f$ is strongly convex if $x \mapsto f (x) - ε | | x | |^{2}$ is convex for some $ε > 0$ .) Let $f$ be a strongly convex smooth function from $R^{n}$ to $R$ , and suppose that the magnitude of the second derivative $∥ \nabla^{2} f ∥$ is bounded. Show that there exists an $ε > 0$ such that the function $g : R^{n} \to R^{n}$ given by $x \mapsto x - ε (\nabla f) (x)$ is a contraction. Conclude that gradient descent with a sufficiently small constant step size converges exponentially quickly on a strongly convex smooth function.
A finite stationary Markov chain is a finite set $S$ of states, along with probabilistic rule $A : S \to Δ S$ for transitioning between the states, where $Δ S$ represents the space of probability distributions on $S$ . Note that the transition rule has no memory, and depends only on the previous state. If for any pair of states $s, t \in Δ S$ , the probability of passing from $s$ to $t$ in one step is positive, then the Markov chain $(S, A)$ is ergodic. Given an ergodic finite stationary Markov chain, use the Banach contraction mapping theorem to show that there is a unique distribution over states which is fixed under application of transition rule. Show that, starting from any state $s$ , the limit distribution ${lim}_{n \to \infty} A^{n} (s)$ exists and is equal to the stationary distribution.
A function $f$ from a partially ordered set to another partially ordered set is called monotonic if $x \leq y$ implies that $f (x) \leq f (y)$ . Given a partially ordered set $(P, \leq)$ with finitely many elements, and a monotonic function from $P$ to itself, show that if $f (x) \geq x$ or $f (x) \leq x$ , then $f^{n} (x)$ is a fixed point of $f$ for all $n > | P |$ .
A complete lattice $(L, \leq)$ is a partially ordered set in which each subset of elements has a least upper bound and greatest lower bound. Under the same hypotheses as the previous exercise, extend the notion of $f^{n} (x)$ for natural numbers $n$ to $f^{α} (x)$ for ordinals $α$ , and show that $f^{α} (x)$ is a fixed point of $f$ for all $x \in X$ with $f (x) \leq x$ or $f (x) \geq x$ and all $| α | > | L |$ ( $| A | \leq | B |$ means there is an injection from $A$ to $B$ , and $| A | > | B |$ means there is no such injection).
(Knaster-Tarski fixed point theorem) Show that the set of fixed points of a monotonic function on a complete lattice themselves form a complete lattice. (Note that since the empty set is always a subset, a complete lattice must be nonempty.)
Show that for any set $A$ , $(P (A), \subseteq)$ forms a complete lattice, and that any injective function from $A$ to $B$ defines a monotonic function from $(P (A), \subseteq)$ to $(P (B), \subseteq)$ . Given injections $f : A \to B$ and $g : B \to A$ , construct a subset $A^{'}$ of $A$ and a subset of $B^{'}$ of $B$ such that $B^{'} = f (A^{'})$ and $A - A^{'} = g (B - B^{'})$ .
(Cantor–Schröder–Bernstein theorem) Given sets $A$ and $B$ , show that if $| A | \leq | B |$ and $| A | \geq | B |$ , then $| A | = | B |$ . ( $| A | \leq | B |$ means there is an injection from $A$ to $B$ , and $| A | = | B |$ means there is a bijection)

Please use the spoilers feature - the symbol '>' followed by '!' followed by space -in your comments to hide all solutions, partial solutions, and other discussions of the math. The comments will be moderated strictly to hide spoilers!

I recommend putting all the object level points in spoilers and including metadata outside of the spoilers, like so: "I think I've solved problem #5, here's my solution <spoilers>" or "I'd like help with problem #3, here's what I understand <spoilers>" so that people can choose what to read.

Tomorrow's AI Alignment Forum Sequences post will be "Approval-directed agents: overview" by Paul Christiano in the sequence Iterated Amplification.

The next post in this sequence will be released on Saturday 24th November, and will be 'Fixed Point Discussion'.

Fixed Point Theorems

Frontpage

Diagonalization Fixed Point Exercises

13 comments40 karma

Fixed Point Discussion

No comments45 karma

Mentioned in

13Fixed Point Discussion

Iteration Fixed Point Exercises

New Comment

7 comments, sorted by

top scoring

Click to highlight new comments since: Today at 5:38 AM

[-]Gurkenglas6y30

#3:

$x \to \frac{x + 1}{x}$ on $x \geq 1$ shortens all distances but is strictly monotonic.

#6: (the "show that if" condition follows from the property, the question is likely misstated)

The iteration is so long that it must visit an element twice. We can't have a cycle in the order so the repetition must be immediate.

[-]Scott Garrabrant6y30

Thanks, I actually wanted to get rid of the earlier condition that $f (x) \geq x$ for all $x$ , and I did that.

[-]Adele Lopez6y30

Ex 6:

If at any point $f^{n} (b) = f^{n - 1} (x)$ , then we're done. So assume that we get a strict increase each time up to $n = | P |$ . Since there are only $| P |$ elements in the entire poset, and $f$ is monotone, $f^{n + 1} (x)$ has to equal $f^{n} (x)$ .

Ex 7:

For a limit ordinal $α$ , define $f^{α} (x)$ as the least upper bound of $f^{n} (x)$ for all $n < α$ . If $α > | L |$ , then the set $f^{n} (x)$ for $n < α$ is a set of size $α$ that maps into a set of size $L$ by taking the value of the element. Since there are no injections between these sets, there must be two ordinals $n < m$ such that $f^{n} (x) = f^{m} (x)$ . Since $f$ is monotone, that implies that for every ordinal $l > n$ , $f^{l} (x) = f^{n} (x)$ and thus is a fixed point. Since $n < α$ this proves the exercise.

Ex 8:

Starting from $x$ , we can create a fixed point via iteration by taking $α > | L |$ , and iterating $α$ times as demonstrated in Ex 7. Call this fixed point $f_{x}$ . Suppose there was a fixed point $k$ such that $x \leq k$ and $k \leq f_{x}$ . Then at some point $f^{n} (x) \leq f^{n} (k) = k$ , but $f^{n + 1} (x) \geq f^{n + 1} (k) = k$ , which breaks the monotonicity of $f$ unless $k = f_{x}$ . So $f_{x}$ generated this way is always the smallest fixed point greater than $x$ .

Say we have fixed points $x_{i}$ . Then let $x$ be the least upper bound of $x_{i}$ , and generate a fixed point from $f_{x}$ . So $f_{x}$ will be greater than each element of $x_{i}$ since $f$ is monotone, and is the smallest such fixed point as shown in the above paragraph. So the poset of fixed points is semi-complete with upper bounds.

Now take our fixed points $x_{i}$ again. Now let $x$ be the greatest lower bound of $x_{i}$ , and generate a fixed point $f_{x}$ . Since $x \leq x_{i}$ and $f$ is monotonic, $f^{α} (x) \leq f^{α} (x_{i}) = x_{i}$ , and so $f_{x}$ is a lower bound of $x_{i}$ . It has to be the greatest such bound because $x$ itself is already the greatest such bound in our poset, and $f$ is monotonic.

Thus the lattice of fixed points has all least upper bounds and all greatest lower bounds, and is thus complete!

[-]Czynski6y20

We wish to show that the terms of $x_{n}$ form a Cauchy sequence, which suffices to demonstrate they converge in a complete space. Take $m, n \in N^{+}$ , and WLOG $m < n$ . Then we know from the definition of contraction that $d (x_{m}, x_{n}) \leq q^{m} \cdot d (x_{0}, x_{n - m})$ . This converges to 0 as m increases, so the sequence is Cauchy.

It's easy to see that this makes the rate of convergence between terms of the Cauchy sequence exponentially quick. Intuitively that seems like it ought to make the sequence converge to its limit with the same speed, but I don't think that can be made rigorous without more steps.

Take a sequence ${x_{n} = f^{n} (x_{0})}$ . This converges to some $L$ . Suppose $L$ was not a fixed point. Then choose an $ϵ = (L - f (L)) / 10$ . A sequence ${x_{n}}$ which converges to a limit has, for every $ϵ$ , some $N$ such that $\forall n >= N : | x_{n} - L | < ϵ$ . Then we know that $d (x_{N}, L) < ϵ$ but $d (f (x_{N}), f (L)) > ϵ$ , contradicting the contraction condition. So there is at least one fixed point, $L$ .

Suppose there are two fixed points, $f (x) = x$ , $f (y) = y$ for distinct $x$ and $y$ . If so, $d (f (x), f (y)) = d (x, y)$ , which again contradicts the contraction condition. So there is at most one fixed point.

Take as the space ${n \in R^{+} : n \geq 1}$ , with the usual metric. Define $f (x) = \frac{x^{2} + 1}{x}$ . This is a weak contraction (toward infinity) and has no fixed points within this space.

[-]Donald Hobson6y20

Answer to question 1.

Let $x_{i + 1} = f (x_{i})$ for arbitrary $x_{0}$ . Call $c = d (x_{0}, x_{1})$ . Then by induction ( $i < j$ ) $d (x_{i}, x_{j}) \leq \sum_{k = i}^{k = j - 1} d (x_{k}, x_{k + 1}) \leq \sum_{k = i}^{k = j - 1} c q^{k} \leq \frac{c q^{i}}{1 - q}$ (power series simplification)

Therefore $\forall δ > 0 : \exists n \in N \forall i > n, j > i : d (i, j) < \frac{c q^{n}}{1 - q} < δ$ ie $x_{i}$ is a cauchy sequence. However $(X, d)$ is said to be complete, which by definition means any cauchy sequence is convergent. So $x_{n} \to y$ and $d (x_{i}, y) \leq {sup}_{j = i}^{\infty} d (x_{i}, x_{j}) \leq \frac{c q^{i}}{1 - q}$ So $x_{n}$ converges exponentially quickly

Answer to question 2.

From part 1, as $f$ is continuous, $y = {lim}_{n \to \infty} (f (x_{n + 1})) = {lim}_{n \to \infty} (f (x_{n})) = f ({lim}_{n \to \infty} (x_{n})) = f (y)$ So $y$ is a fixed point. Suppose $x$ and $y$ are both fixed points of $f (x)$ a contraction map. Then $f (x) = x$ and $f (y) = y$ so $d (f (x), f (y)) \leq q d (x, y) = q d (f (x), f (y))$ therefore $d (x, y) = 0$ so $x = y$ . Thus $f$ has a unique fixed point.

Answer to question 3.

$(R, d (x, y) = | x - y |)$ is a metric space. Its the real line with normal distance. Let $f (x) = \sqrt{1 + x^{2}}$ . Then $f$ is a contraction map because $f$ is differentiable and $f^{'} (x) = \frac{x}{\sqrt{1 + x^{2}}}$ has the property $\forall x : | f^{'} (x) | < 1$ . However no fixed point exists as $\forall x : f (x) > x$ . This works because the sequence $x_{i}$ generated from repeated applications of $f$ will tend to infinity, despite successive terms becoming ever closer.

[-]Czynski6y20

For Q2, I believe you aren't done:

You have established that there is at most one fixed point, but not that a fixed point exists.

[-]SatvikBeri6y10

#6:

Assume WLOG $f (x) >= x$ Then by monotonicity, we have $x <= f (x) <= f^{2} (x) <= . . . <= f^{| P |} (x)$ If this chain were all strictly greater, than we would have $| P | + 1$ istinct elements. Thus there must be some $k$ uch that $f^{k} (x) = f^{k + 1} (x)$ By induction, $f^{n + 1} (x) = f^{n} (x) = f^{k} (x)$ or all $n > k$

#7:

Assume $f (x) >= x$ nd construct a chain similarly to (6), indexed by elements of $α$ If all inequalities were strict, we would have an injection from $α$ o L.

#8:

Let F be the set of fixed points. Any subset S of F must have a least upper bound $x$ n L. If x is a fixed point, done. Otherwise, consider $f^{α} (x)$ which must be a fixed point by (7). For any q in S, we have $f (q) \leq x \Rightarrow f^{α} (q) \leq f^{α} (x) \Rightarrow q \leq f^{α} (x)$ Thus $f^{α} (x)$ s an upper bound of S in F. To see that it is the least upper bound, assume we have some other upper bound b of S in F. Then $x <= b \Rightarrow f^{α} (x) <= f^{α} (b) = b$

To get the lower bound, note that we can flip the inequalities in L and still have a complete lattice.

#9:

P(A) clearly forms a lattice where the upper bound of any set of subsets is their union, and the lower bound is the intersection.

To see that injections are monotonic, assume $A_{0} \subseteq A_{1}$ nd $f$ s an injection. For any function, $f (A_{0}) \subseteq f (A_{1})$ If $a \notin A_{0}$ nd $f (a) \in f (A_{0})$ that implies $f (a) = f (a^{'})$ or some $a^{'} \in A_{0}$ which is impossible since $f$ s injective. Thus $f$ s (strictly) monotonic.

Now $h := g \circ f$ s an injection $A \to A$ Let $X$ e the set of all points not in the image of $g$ and let $A^{'} = X \cup h (X) \cup h^{2} (X) \cup . . .$ ote that $h (A^{'}) = h (X) \cup h^{2} (X) \cup h^{3} (X) \cup . . . = A^{'} - X$ since no element of $X$ s in the image of $h$ Then $g (B - f (A^{'})) = g (B) - h (A^{'}) = g (B) - (A^{'} - X) = g (B) - A^{'} + g (B) \cap X = g (B) - A^{'}$ On one hand, every element of A not contained in $g (B)$ s in $A^{'}$ y construction, so $A - A^{'} \subseteq g (B)$ On the other, clearly $g (B) \subseteq A$ so $g (B) - A^{'} \subseteq A - A^{'}$ QED.

#10:

We form two bijections using the sets from (9), one between A' and B', the other between A - A' and B - B'.

Any injection is a bijection between its domain and image. Since $B^{'} = f (A^{'})$ nd $f$ s an injection, $f$ s a bijection where we can assign each element $b^{'} \in B^{'}$ o the $a^{'} \in A^{'}$ uch that $f (a^{'}) = b^{'}$ Similarly, $g$ s a bijection between $B - B^{'}$ nd $A - A^{'}$ Combining them, we get a bijection on the full sets.

Moderation Log