Иоахимсталя Поверхность

- такой объект I абелевой категории С, что для каждого мономорфизма а . Отображение является сюръективным. Всякий инъективный подобъект I объекта А. Выделяется прямым слагаемым. Произведение И. О. - всегда И. О. В случае, когда каждый объект в Сизоморфен подобъекту нек-рого И. О. Категории С, говорят, что С- категория с достаточно многими инъективными объектами (такова, напр., категория Гротендика). В этих категориях объект инъективен тогда и только тогда, когда он выделяется прямым слага..

инъективное отображение, множества Ав множество В- отображение f :при к-ром различные элементы из Аимеют различные образы в В. И. Наз. Также взаимно однозначным отображением множества Ав множество В, или вложением. О. А. Иванова.. ..

- число, не являющееся рациональным (т. Е . Целым или дробным) числом. Геометрически И. Ч. Выражает собой длину отрезка, несоизмеримого с отрезком единичной длины. О существовании несоизмеримых отрезков знали уже древние математики. Им была известна, напр., несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа Всякое действительное число может быть записано бесконечной десятичной дробью, при этом И. Ч. И только они записываются непериодическими десятичными дробям..

действительного числа x - функция где минимум берется по всевозможным парам h0, h1 целых рациональных чисел таких, что Понятие И. М. Является частным случаем понятий линейной независимости меры и трансцендентности меры. И. М. Показывает, насколько "хорошо" может число x быть приближено рациональными дробями. Для всех действительных иррациональных чисел x выполняется неравенство но при любом e>0 для почти всех (в смысле меры Лебега) действительных x где С=С(e, x)>0. Однако для лю..