One of these things exists if the alternating sum of matrix traces induced by a map is non-zero. One of these things given by Lawvere’s (“law-VEER’s”) theorem is used in generalizations of diagonal arguments. The existence of these things on certain triangulable spaces is guaranteed by a non-zero value of Lefschetz’s number. Functions on complete metric spaces with Lipschitz constants strictly less than one all have one of these things, a fact usually used to prove Picard’s theorem for the well-posedness of ODEs (“O-D-E’s”). A theorem named for Stefan Banach gives conditions for contractions to have one of these things. For a one-variable function “y equals g-of-x,” these things are found at the intersection of the function g with the line y equals x. For 10 points, a theorem named after Brouwer (“BRAO-wer”) gives the existence of what kind of point satisfying f-of-x equals x? ■END■
ANSWER: fixed points [accept Lefschetz’s fixed point theorem or Lawvere’s fixed point theorem or Banach’s fixed point theorem or Brouwer’s fixed point theorem; reject “solutions to differential equations”]
<Other Science>
= Average correct buzz position