Лемма о фиксированной точке для нормальных функций

От / / Оставьте комментарий

Лемма о фиксированной точке для нормальных функций Лемма о неподвижной точке утверждает, что класс неподвижных точек нормальной функции непустой и […]

Fixed-point theorems, Lemmas in set theory, Ordinal numbers, Леммы теории множеств, Порядковые числа, Теоремы о неподвижной точке

Лемма о фиксированной точке для нормальных функций

  • Лемма о неподвижной точке утверждает, что класс неподвижных точек нормальной функции непустой и неограниченный. 
  • Фиксированная точка нормальной функции — это порядковый номер, для которого функция имеет значение, равное этому порядковому номеру. 
  • Лемма о неподвижной точке эквивалентна утверждению о том, что неподвижные точки нормальной функции образуют замкнутый и неограниченный класс. 
  • Пример применения: функция f : Ord → Ord, f(α) = ωα является нормальной, и существует замкнутый, неограниченный класс порядковых чисел θ, таких, что θ = ωθ. 

Полный текст статьи:

Лемма о фиксированной точке для нормальных функций — Википедия, бесплатная энциклопедия

Похожие статьи:

  1. Категория предзаказанных наборов Категория предварительно заказанных наборов Категория Ord имеет предопределенные множества и функции, сохраняющие порядок.  Мономорфизмы в Ord...
  2. Теорема о неподвижной точке Теорема о неподвижной точке Основы теоремы о фиксированной точке Функция F имеет по крайней мере одну...
  3. Комбинатор с фиксированной точкой Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой —...
  4. Итерация с фиксированной точкой Итерация с фиксированной точкой Определение итерации с фиксированной точкой Итерация с фиксированной точкой — это последовательность,...
  5. Теорема Клини о неподвижной точке Теорема Клини о неподвижной точке Теорема Клини о неподвижной точке Теорема утверждает существование восходящей цепочки Клини...
  6. Теорема Брауэра о неподвижной точке Теорема Брауэра о неподвижной точке Основные достижения Брауэра Брауэр доказал теорему о неподвижной точке для непрерывных...
  7. Арифметика с фиксированной запятой Арифметика с фиксированной запятой Арифметика с фиксированной точкой используется для точного представления чисел с фиксированной точностью. ...
  8. Теорема Лефшеца о неподвижной точке Теорема Лефшеца о неподвижной точке Определение и свойства числа Лефшеца Число Лефшеца — это число, которое...
  9. Фиксированная точка (математика) Неподвижная точка (математика) Фиксированная точка в математике — величина, которая не изменяется при заданном преобразовании.  В...
  10. Теорема Банаха о неподвижной точке Теорема Банаха о неподвижной точке Теорема Банаха о неподвижной точке позволяет доказать существование и единственность решений...
  11. Лемма Цорна Лемма Цорна Лемма Цорна — фундаментальный результат в теории множеств, утверждающий существование максимального элемента в частично...
  12. Обычный режим Обычный режим Основы теории нормальных колебаний Нормальные колебания — это колебания, которые происходят в системе с...
  13. Лемма о расщеплении Лемма о расщеплении Лемма о расщеплении Лемма утверждает, что если последовательность групп является точной, то она...
  14. Лемма Йонеды Лемма Йонеды Определение и значение леммы Йонеды Лемма Йонеды утверждает, что для любой категории C существует...
  15. Лемма о зигзаге Лемма о зигзаге Лемма о зигзаге — утверждение о существовании точной последовательности в группах гомологий цепных...
  16. Теорема о замкнутом графике Теорема о замкнутом графе Определение и свойства замкнутого графика Замкнутый график функции — это множество точек,...

Оставьте комментарий

Прокрутить вверх