Собственное отображение

Cтраница 3

Далее, используя тот факт, что пространство, получаемое из одноточечного пополнения пространства Е выкидыванием В, стягиваемо, мы можем отправить М на бесконечность посредством Собственного отображения М У. [31]

Будем использовать это утверждение в качестве аксиомы 3 при рассмотрении гомологии Я и когомологий Н с в категории si - локально компактных пространств со второй аксиомой счетности и их собственных отображений, а также в ее полной подкатегории s & o, состоящей из локально конечных полиэдров. [32]

Если р: - Р-v Q - функция и 1 ( р) ( как определено выше) - гомоморфизм из I ( Q) в ( Р), то р - собственное отображение. [33]

Предположим, что ( X, А) и ( У, В) - хаусдор-фовы пары с замкнутыми подмножествами А и В и f: ( X, A) - - - ( Y, В) - собственное отображение, взаимно однозначно отображающее множество Х А на Y B. Тогда индуцированный гомоморфизм /: Hcq ( X, A) - Hcq ( Y, В) является изоморфизмом. [34]

Если X компактно, а G - кольцо с единицей, то Н ( Х; G) - кольцо с единицей. Гомоморфизмы, индуцированные собственными отображениями пространств или включениями открытых подмножеств, являются гомоморфизмами колец. Такая точка зрения очень полезна. [35]

Пусть А вложено в иеособое алгебраич. Z; существует ли собственное отображение /: Z - Z с неособым Z такое, что а) / индуцирует изоморфизм Z / - ( А) на 2 X, б) / - 1 ( X) является дивизором с нормальными пересечениями. [36]

Собственное отображение f: M - E можно сделать трансверсальным к В, сделав график отображения f трансверсальиым к Af X В. При этом мы получим собственное отображение V - В. [37]

Ясно, что тождественная функция на любом частично упорядоченном множестве есть собственное отображение, и нетрудно проверить, что композиция собственных отображений является собственным отображением. Таким образом, упорядоченные множества вместе с собственными отображениями образуют категорию. Пусть si - подкатегория локально конечных упорядоченных множеств вместе с собственными отображениями. [38]

Но по определению Fk есть отображение, для которого максимум количества времени, которое М должна потратить на первом хвостовом блоке, наименьший. Таким образом, если машина М использует свое собственное отображение, чтобы подготовиться для проверки хвостовых блоков, то она в самом худшем случае не может иметь на первом хвостовом блоке меньше времени вычисления, чем в случае с Fk - Другими словами, должна существовать входная последовательность в множестве Ak, на которой машина М потратит по крайней мере wk единиц времени на первом хвостовом блоке. [39]

Одно адресное пространство ( а. отдельные I и D пространства ( б. [40]

В компьютере, устроенном таким образом, оба адресных пространства могут иметь страничную организацию независимо друг от друга. Каждое из них обладает своей собственной таблицей страниц и собственным отображением виртуальных страниц на физические страничные блоки. Когда аппаратура хочет выбрать команду, она знает, что должна использовать I-пространство и таблицу страниц I-пространства. Аналогично, обращения к данным должно происходить через таблицу страниц D-пространства. Кроме этого различия, поддержка отдельных I - и D-пространств не вносит каких-либо специальных осложнений и удваивает доступное адресное пространство. [41]

Одно адресное пространство ( а. отдельные I и D пространства ( б. [42]

В компьютере, устроенном таким образом, оба адресных пространства могут иметь страничную организацию независимо друг от друга. Каждое из них обладает своей собственной таблицей страниц и собственным отображением виртуальных страниц на физические страничные блоки. Когда аппаратура хочет выбрать команду, она знает, что должна использовать I-пространство и таблицу страниц I-пространства. Аналогично, обращения к данным должно происходить через таблицу страниц В-пространства / Кроме этого различия, поддержка отдельных I - и D-пространств не вносит каких-либо специальных осложнений и удваивает доступное адресное пространство. [43]

Эти теории определены на категории локально компактных хаусдор-фовых пространств и их собственных отображений. [44]

Итак, / - прообраз всякого бикомпактного подмножества бикомпактен, следовательно, f - собственное отображение. [45]

Страницы: 1 2 3 4