Cтраница 4
Тогда объединение этих функций h U f x0 есть биекция из А в В. [46]
Поэтому условие ( 1) означает, что имеется биекция honiQop ( Lp, q) homp ( p Rq); эта биекция естественна, поскольку каждое horn - множество содержит не более одного элемента. [47]
Такнм образом, vi: F - F есть биекция. [48]
Из конечности следует тогда, что они являются даже биекциями. D имеет обратный, так что D является полем. [49]
Если f - биекция, то f 1 - также биекция, поэтому графы G и / ( G) так же, как графы Я и / ( Я), изоморфны. [50]
Тогда построенная нами в первой главе при доказательстве счетности Б биекция /: X - Y является вычислимой функцией. [51]