На каждой прямой $%l$% из $%{R}^n$%, $%n \geq 2$%, проходящей через начало координат выбрана точка $%a(l)$% таким образом, что $%a(l)$% непрерывно зависит от $%l$%. Требуется доказать, что хотя бы на одной прямой выбрано начало координат. Как понять что точка непрерывно зависит от прямой? точки на близких прямых близки? задан 11 Янв 16:10 Fedotovvv
показано 5 из 12
показать еще 7
|
Это должно объясняться там, откуда задача. Т.е. это либо часть постановки задачи, либо контекст, известный откуда-то заранее.
Задача сама по себе. Из задач для подготовки к гос экзамену.
Да, на прямых задаётся топология, и точки на близких прямых выбираются близко. То есть формализация тут легко осуществляется. Мне непонятно другое: начало координат можно переместить, то есть получается, что все точки из R^n должны быть выбраны?
@falcao мне думается начало координат зафиксировано
@Fedotovvv: предположим, что утверждение верно. Тогда при выборе точек согласно условию, точка (0,0) будет выбрана. Чем она отличается от любой другой точки? Систему координат можно разместить где угодно.
@falcao, все прямые по условию проходят через начало координат
@spades: я этого момента не заметил, и поэтому показалось странно. Тогда задача намного проще (включая даже способ формализации).
@Fedotovvv: тут обратили внимание на то, что прямые берутся не все, а только проходящие через начало координат. Тогда решение такое: для каждого луча имеем координату точки, выбранной на прямой, содержащей этот луч. Когда луч меняет направление, координата меняет знак. Если прохождения через 0 нет, то знак нигде не должен меняться. Но он меняется.
@falcao: а что значит направление луча? У нас же только 1 точка берется на прямой. Причем тут луч?
@Fedotovvv: прямая, проходящая через O, состоит из двух лучей. На ней выбрана одна точка. Если положительным направлением был один луч, и точка имела на нём координату a, то при смене направления она же будет иметь координату -a. Такое число непрерывно зависит от луча, который постепенно поворачивается, и величина при этом меняет знак. Поэтому она проходит через 0.
@falcao разобрался, спасибо. Тут действительно с этой "близкостью" прямых как-то туманно сформулировано
@Fedotovvv: формулировка здесь строгая вполне. Прямые, проходящие через O, образуют топологическое пространство RP^n. Степень близости прямых можно определить через угол между ними.
Здесь надо было только заметить, что задачу достаточно решить для R^2 (что было сделано), а в R^n проводим любую плоскость через O, и уже в её пределах будет прохождение через начало координат.
Чуть сложнее было бы задать близость всех прямых пространства, но и это в принципе не так сложно.