2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу 1, 2  След.
 
 Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 21:02 
Задача: Докажите, что дробно - линейные функции вида $f(x)=\frac{ax+b}{cx+d}$, где $a,b,c,d \in F, ad \ne bc$ (F - поле), образуют группу относительно композиции.
Пробовал решать:
1) Проверил замкнутость. Пусть $z(x)=\frac{ax+b}{cx+d}, w(x)=\frac{nx+m}{kx+l}$, тогда $z(w(x))=\frac{a(\frac{nx+m}{kx+l})+b}{c(\frac{nx+m}{kx+l})+d}=\frac{\frac{anx+am}{kx+l}+b}{\frac{cnx+cm}{kx+l}+d}=\frac{(an)x+(am+b)}{(cn)x+(cm+d)} $
2) Решил найти нейтральный элемент, вроде нашел $f(x)=x$, но встала проблема это не дробно - линейная функция(( Пробовал представить $f(x)=x$ как дробную функцию (опять же с линейностью проблемы $f(x)=\frac{x}{x^0}$).
3) Ну и обратный элемент, не зная нейтрального найти не смог(
Помогите разобраться пожалуйста.

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 21:08 
defolt87 в сообщении #666353 писал(а):
... нашел $f(x)=x$, но встала проблема это не дробно - линейная функция((
А почему Вы так считаете?

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 21:11 
В знаменателе нет линейной функции.

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 21:13 
А функция $0 \cdot x+1$ является линейной?

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 21:17 
Аватара пользователя
В пункте 1) у вас самое последнее равенство неверно. Когда домножаете числитель и знаменатель на $k x+l$, то почему-то не умножаете на него же свободные члены $b$ и $d$.

По пункту 2) : $x = \frac {1 x +0} {0 x + 1}$. $ad-bc = 1 \ne 0$, так что это самое настоящее дробно-линейное и есть.

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 21:20 
Спасибо понял, ну раз написал пусть будет как есть)

-- 02.01.2013, 21:23 --

Значит линейные функции это функции с натуральной степенью при неизвестной не превосходящий 1?

-- 02.01.2013, 21:26 --

опять глупость написал. Если f(x)=kx+b, k - может принимать значения нуль, вот что хотел спросить.

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 21:30 
Разумеется. Никаких ограничений на $k$ и $b$ в определении линейной функции не накладывается.

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 21:31 
Мне стыдно перед вами многоуважаемые математики за глупые вопросы, но как говорится из песни слов не выкинешь(

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение02.01.2013, 22:01 
Аватара пользователя
Эту задачку лучше решать не "в лоб", имхо. Разбиваем множество всех пар элементов поля на непересекающиеся подмножества условием, что отношение элементов каждой пары одинаково. Тогда действие невырожденной $2\times2$ матрицы на этих подмножествах (точнее, на представителях) эквивалентно действию дробно-линейной функции на "отношениях элементов". Из этой картинки групповые законы вылезают автоматически.

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение03.01.2013, 15:26 
Ух как оно все повернулось, спасибо попробую.

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение03.01.2013, 23:54 
1) А этих подмножеств будет не столько сколько элементов в поле? (ведь каждый элемент поля можно выразить в виде отношения двух других)
2) что такое действие невырожденной матрицы посвятите пожалуйста :cry:
3) элементами этих множеств будут пары?
4) если пары то элементы матрицы тоже будут парами?

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение04.01.2013, 04:51 
Аватара пользователя
lek в сообщении #666393 писал(а):
Эту задачку лучше решать не "в лоб", имхо

Эка закрутили. А чем в лоб не нравится?
1) сразу было, 2) разъяснилось, осталось 3)

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение04.01.2013, 10:54 
Аватара пользователя
1) Столько, если добавить условие $y\ne0$ для $(x,y)$.
2) Записываете пару элементов (представитель выбранного подмножества) в виде столбца и действуете на него слева невырожденной $2\times2$ матрицей:
$$
\begin{pmatrix}a&b\\c&d\end{pmatrix}\begin{pmatrix}x\\y\end{pmatrix}
=\begin{pmatrix}ax+by\\cx+dy\end{pmatrix}
$$
Получаете пару элементов $(ax+by,cx+dy)$ из (вообще говоря) другого подмножества. Этому преобразованию однозначно (взаимно-однозначно, если определитель матрицы =1) соответствует дробно-линейное преобразование вида
$$
z\to f(z)=\frac{ax+by}{cx+dy},\quad\text{где}\quad z=\frac{x}{y}.
$$
(Чтобы это доказать достаточно заметить, что преобразование подмножеств не зависит от выбора представителей в них. Но это почти очевидно...)
3) Да.
4) Нет (см. выше).

Поскольку матрица невырожденная $ad\ne bc$, то множество всех таких преобразований (а значит и множество всех дробно-линейных преобразований) образует группу. (Очевидно, единица - единичная матрица, а обратный элемент - обратная матрица.)

bot в сообщении #666878 писал(а):
А чем в лоб не нравится?

Можно и в лоб, но пользы меньше...

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение04.01.2013, 12:36 
bot в сообщении #666878 писал(а):
Эка закрутили.
Думается, здесь сама постановка задачи уже нуждается в комментариях. Если "дробно-линейная функция", то какова область определения такой функции? Как понимать композицию таких "функций"? Я бы стал говорить об элементах поля рациональных дробей $F(z)$ специального вида, на множестве которых введена операция композиции явной формулой. Но нужно осознавать, что такое рациональная дробь, и здесь от соответствующего отношения эквивалентности никуда не деться.

 
 
 
 Re: Теория групп задача, дробно - линейные функции.
Сообщение04.01.2013, 15:02 
Аватара пользователя
Почему не деться? Смотрим на дробно линейное преобразование как на функцию на рсширенной плоскости, а формально-алгебраический подход со своей эквивалентностью пусть пока в сторонке покурит.

 
 
 [ Сообщений: 20 ]  На страницу 1, 2  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group