Существование как соотношение двух элементов в движении .
Два определения , основные для интуитивного обсуждения движения , которые интерпретируем из книги H. БУРБАКИ , “ТЕОРИЯ МНОЖЕСТВ “, изд .”МИР “,Москва 1965., Сводка результатов :
1.)* Если f _ взаимно однозначное отображение множества Е на F , соотношение
y = f (x ) не только функционально по y , но также функционально по x . Как функциональное по х соотношение, оно определяет взаимно однозначное отображение множества F на Е , назõваемое отображением , обратнõм к f .
Заметим, šто распространение отображения, обратного к f , совпадает c обратнõм распространением отображения f .
Пусть g - отображение, обратное к f ; соотношения “у =f (x )” и “x =g (y )” эквивалентно; отображение, обратное к g , есть f . )* (Стр. 362.)*
2.)* Пусть R {x, y } _ соотношение между обстсим элементом с множества E и обстсим элементом y множества F . Имеет место эквивалентность между следующими двумя предложениями :
“каково бõ ни бõло x , существует такое y , что R {x, y }”
и
“существует такое отображение f множества E в F ,
цто для всякого x R {x, f (x )}”.
Утверждение об этой эквивалентности назõвается аксиомой вõбора (или аксиомой Цермело ).
)* (Стр. 377.)
Два определения , основные для интуитивного обсуждения движения , которые интерпретируем из книги H. БУРБАКИ , “ТЕОРИЯ МНОЖЕСТВ “, изд .”МИР “,Москва 1965., Сводка результатов :
1.)* Если f _ взаимно однозначное отображение множества Е на F , соотношение
y = f (x ) не только функционально по y , но также функционально по x . Как функциональное по х соотношение, оно определяет взаимно однозначное отображение множества F на Е , назõваемое отображением , обратнõм к f .
Заметим, šто распространение отображения, обратного к f , совпадает c обратнõм распространением отображения f .
Пусть g - отображение, обратное к f ; соотношения “у =f (x )” и “x =g (y )” эквивалентно; отображение, обратное к g , есть f . )* (Стр. 362.)*
2.)* Пусть R {x, y } _ соотношение между обстсим элементом с множества E и обстсим элементом y множества F . Имеет место эквивалентность между следующими двумя предложениями :
“каково бõ ни бõло x , существует такое y , что R {x, y }”
и
“существует такое отображение f множества E в F ,
цто для всякого x R {x, f (x )}”.
Утверждение об этой эквивалентности назõвается аксиомой вõбора (или аксиомой Цермело ).
)* (Стр. 377.)