Skip to main content
http -> https (the question was bumped anyway)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

One of the most awesome fixed-point theorems I know of is due to PataraiaPataraia:

  • If $L$ is a poset with a bottom element and with joins of directed subsets, then every monotone function $f: L \to L$ has a (least) fixed point.

It is a strengthening of the Knaster-Tarski theorem, and is somewhat reminiscent of the Bourbaki-Witt theoremBourbaki-Witt theorem, but is entirely constructive. Related discussion at the n-Category Café herehere.

One of the most awesome fixed-point theorems I know of is due to Pataraia:

  • If $L$ is a poset with a bottom element and with joins of directed subsets, then every monotone function $f: L \to L$ has a (least) fixed point.

It is a strengthening of the Knaster-Tarski theorem, and is somewhat reminiscent of the Bourbaki-Witt theorem, but is entirely constructive. Related discussion at the n-Category Café here.

One of the most awesome fixed-point theorems I know of is due to Pataraia:

  • If $L$ is a poset with a bottom element and with joins of directed subsets, then every monotone function $f: L \to L$ has a (least) fixed point.

It is a strengthening of the Knaster-Tarski theorem, and is somewhat reminiscent of the Bourbaki-Witt theorem, but is entirely constructive. Related discussion at the n-Category Café here.

Post Made Community Wiki
Source Link
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322

One of the most awesome fixed-point theorems I know of is due to Pataraia:

  • If $L$ is a poset with a bottom element and with joins of directed subsets, then every monotone function $f: L \to L$ has a (least) fixed point.

It is a strengthening of the Knaster-Tarski theorem, and is somewhat reminiscent of the Bourbaki-Witt theorem, but is entirely constructive. Related discussion at the n-Category Café here.