Матмех СПбГУ - Студенческий сайт
МАТ-МЕХ.РУ: Форум студентов Мат-меха
    Неделя Мат-Меха  |   Фотографии  |   Новости  |   История  |   Полезное  |   Юмор  |   События  |   Интервью  |   Гостевая книга  


Страницы: (4) [1] 2 3 ... Последняя »  ( Перейти к первому непрочитанному сообщению ) Reply to this topicStart new topicStart Poll

> Доказательство: Ln(y1, Y2, ... , Ym) есть L-клас, Алгебраическая теория полугрупп
MARK
Отправлено: Понедельник, 29 Октября 2007, 15:38
Quote Post


Новичок


Группа: Участники
Сообщений: 5
Специальность: не указана
Год поступления:
Этап обучения: не указан
Имя:
Регистрация: Понедельник, 29 Октября 2007

Репутация: 1


Доброго времени суток, уважаемые участники форума!
Tn - полная полугруппа преобразований множества первых n натуральных чисел.
OTn - подполугруппа Tn.
Элементы OTn определены следующим образом. a из OTn.
Вводится понятие ранга a rang(a)=dim({a(1), a(2), a(3), ... , a(n)})
и максимума a max(a)=max({a(1), a(2), a(3), ... , a(n)}).
Для элемента a должно иметь место соотношение rang(a)=max(a) (первое условие).
Для любого образа a(i), i=1, 2, ... , n,
выполнется второе условие a(i)<=i.
И третье последнее условие
Пусть max(a)=a(m), a1<=a(m)<=a(n), тогда dim({a(1), a(2), a(3), ... , a(n)})=a(m).
Или приведенные три условия можно записать короче, а именно
a(1)=1,
a(k)<=max(a(1),...,a(k-1))+1 при 1<k<=n.
Подмножество Ln(y1, y2, ... , ym) множества OTn, где y из OTn,
ym=max{y1, y2, ym}, y(1)=y1, y(2)=y2, ... , y(m)=ym.
Например., для OT3.
L3(1)={Transformation(1, 1, 1)},
L3(1, 1, 2) ={Transformation(1, 1, 2)},
L3(1, 2)={Transformation(1, 2, 1), Transformation(1, 2, 2)}
L3(1, 2, 3)={Transformation(1, 2, 3)}.
Нужно подтвердить, что Ln(y1, y2, ... , ym) есть L-классом Грина.
То есть возникла необходимость обосновать справедливость следующего утверждения.
Для любых двух элементов a и b произвольного класса Грина
Ln(y1, y2, ... , ym), m<=n полугруппы OTn,
где
y(1)=1, yk<=max(y(1),...,y(k-1))+1, 1<k<=m.
множества OTn найдутся такие элементы x и y из множества OTn такие, что
a = x*b и
b = y*a

Элементы множества OTn перемножаются следующим образом. Для перемножения элементы множества OTn записывают в виде перестановок с повторениями и умножаются точно также как перестановки.
Например, Transformation(1, 2, 3, 4, 4)*Transformation(1, 2, 2, 1, 1)=Transformation(1, 2, 2, 1, 1).
Или
Transformation(1, 1, 2)*Transformation(1, 1, 2)=Transformation(1, 1, 1).
Если у кого есть какие-то мысли, то, пожалуйста, поделитесь.

Это сообщение отредактировал MARK - Понедельник, 29 Октября 2007, 15:46
PMEmail Poster
Top
Брадипус
Отправлено: Понедельник, 29 Октября 2007, 16:32
Quote Post


Флудер стопиццот
***************

Группа: Почётные участники
Сообщений: 8 689
Специальность: Мат-Обес
Год поступления: 2005
Этап обучения: Выпускник
Имя: Graph Di5
Регистрация: Пятница, 21 Апреля 2006

Репутация: 11


мысль тока одна (((
пи***ц


--------------------
FAQ по темам форума:
http://mat-mex.ru/forum/index.php?showtopic=1987&view=findpost&p=62303

АЧАСЛОЛ - автоматизированные четвероногие афроамериканские серебристые летающие огнедышашие люди

стопиццот - физическая бесконечность
стопицот - 99499.(499)
PMEmail PosterICQ
Top
langri
Отправлено: Понедельник, 29 Октября 2007, 18:30
Quote Post


Гигант
*********

Группа: Почётные участники
Сообщений: 2 228
Специальность: Чистая математика
Год поступления: 2004
Этап обучения: Отчислен
Имя: Ксюша Кузнецова
Регистрация: Среда, 30 Марта 2005

Репутация: 13


Попробуйте написать каким-нибудь алгебраистам.
Или, например, поискать на вконтакте.ру соответствующие группы - мне кажется, должно быть довольно много групп, посвященных доказательству... разнообразных загадочных утверждений.


--------------------
in the kernel of a rank-one map.
PMEmail Poster
Top
Брадипус
Отправлено: Вторник, 30 Октября 2007, 11:08
Quote Post


Флудер стопиццот
***************

Группа: Почётные участники
Сообщений: 8 689
Специальность: Мат-Обес
Год поступления: 2005
Этап обучения: Выпускник
Имя: Graph Di5
Регистрация: Пятница, 21 Апреля 2006

Репутация: 11


а еще можно позвать саус-паркеров
http://mat-mex.ru/forum/index.php?showtopic=1576


--------------------
FAQ по темам форума:
http://mat-mex.ru/forum/index.php?showtopic=1987&view=findpost&p=62303

АЧАСЛОЛ - автоматизированные четвероногие афроамериканские серебристые летающие огнедышашие люди

стопиццот - физическая бесконечность
стопицот - 99499.(499)
PMEmail PosterICQ
Top
Muzzy
Отправлено: Вторник, 30 Октября 2007, 17:39
Quote Post


Участник
***

Группа: Участники
Сообщений: 274
Специальность: Чистая математика
Год поступления: 2005
Этап обучения: Выпускник
Имя:
Регистрация: Воскресенье, 28 Августа 2005

Репутация: 3


Боюсь, что мои познания в алгебре-логике до таких высот не доходят. Так что не надо нас звать.


--------------------
А сейчас я объединю вместе теорию полец и колей...
---------------------------------------------------
And when she cries diva, she's an angel,
When she laughs, she's a devil.
PM
Top
Брадипус
Отправлено: Вторник, 30 Октября 2007, 17:51
Quote Post


Флудер стопиццот
***************

Группа: Почётные участники
Сообщений: 8 689
Специальность: Мат-Обес
Год поступления: 2005
Этап обучения: Выпускник
Имя: Graph Di5
Регистрация: Пятница, 21 Апреля 2006

Репутация: 11


Вас надо было позвать хотябы для того, чтоб Вы сказали: "мои познания в алгебре-логике до таких высот не доходят"


--------------------
FAQ по темам форума:
http://mat-mex.ru/forum/index.php?showtopic=1987&view=findpost&p=62303

АЧАСЛОЛ - автоматизированные четвероногие афроамериканские серебристые летающие огнедышашие люди

стопиццот - физическая бесконечность
стопицот - 99499.(499)
PMEmail PosterICQ
Top
Anik
Отправлено: Среда, 31 Октября 2007, 1:43
Quote Post


АНЕГ
**********

Группа: Администратор
Сообщений: 2 937
Специальность: Мат-Обес
Год поступления: 2005
Этап обучения: Выпускник
Имя: Аня
Регистрация: Понедельник, 24 Октября 2005

Репутация: 35


я не поняла, это интеллектуальный спамер?


--------------------
Agile development is like teenage sex.
Everyone says they’re doing it, but only 10% are.
And those who are — ARE DOING IT WRONG
PMEmail Poster
Top
MARK
Отправлено: Среда, 31 Октября 2007, 12:04
Quote Post


Новичок


Группа: Участники
Сообщений: 5
Специальность: не указана
Год поступления:
Этап обучения: не указан
Имя:
Регистрация: Понедельник, 29 Октября 2007

Репутация: 1


QUOTE (langri @ Понедельник, 29 Октября 2007, 18:30)
Попробуйте написать каким-нибудь алгебраистам.
Или, например, поискать на вконтакте.ру соответствующие группы - мне кажется, должно быть довольно много групп, посвященных доказательству... разнообразных загадочных утверждений.

По всей видимости флудовски-флеймовские группы, а там (на ресурсе Вконтакте.ру) таких большинство, по интересам под названием "Я НЕНАВИЖУ АЛГЕБРУ!!!!!!!!!!!!Убей свою училку по алгебре утюгом и выиграй поход в макдональдс!! ", "Я НЕ УМЕЮ СЧИТАТЬ! (Или у меня в школе было 2 по математике, или я стал гуманитарием во избежание алгебры...) ", "Алгебра - ЖОПА! ", "Для тех, у кого стоит..................5 по алгебре..........и не только)))))) " мне мало чем помогут. А люди-"алгебраисты" там какие-то сомнительные. Так у одних указана такая информация как или Стойфак, илит Институт иняз, или Электросваркафак, а в интересах написано, что они "с любопытством относятся к алгебре". Было бы не удивительно, если бы среди прочей когорты особей из Вконтакте.ру нашолся бы прапорщик с ефрейтором, которые на "экспертном уровне" владеют алгеброй и притом не школьной, а высшей.Было также вульгарное предложение от одного учёного(! хотя и это можно не ставить под сомнение) человека: "забить ху* на всу эту ***йню и пойти замолаживать тёлок (Примечание, молодым женщинам и девушкам читать "флиртовать с прекрасным полом"), все равно же от того, что проблема не решится крупномасштабной катастрофы не случится"

QUOTE
я не поняла, это интеллектуальный спамер?

А говорите не блондинка(сорри, если оскорбил).
Спамер-интелектуалл, это что-то из рязряда нигер-альбинос

QUOTE
мысль тока одна (((
пи***ц

После рекомендаций этого типа учёного, возникла мысль, что Полный Пэ.

Так что коль вдруг будут кое-какие соображения на даную тематику (кроме предложений сообразить на несколько челов, укурится и забыться, или послать все просто в жо**) буду рад их прочитать

Это сообщение отредактировал MARK - Среда, 31 Октября 2007, 12:13
PMEmail Poster
Top
Anik
  Отправлено: Среда, 31 Октября 2007, 12:47
Quote Post


АНЕГ
**********

Группа: Администратор
Сообщений: 2 937
Специальность: Мат-Обес
Год поступления: 2005
Этап обучения: Выпускник
Имя: Аня
Регистрация: Понедельник, 24 Октября 2005

Репутация: 35


во-первых, йа НЕДОблондинко. и с чего бы вас молодой человек , если вы не учитесь на матспециальности, заинтересовал этот вопрос? а если учитесь, то почему решить сами не можете?


--------------------
Agile development is like teenage sex.
Everyone says they’re doing it, but only 10% are.
And those who are — ARE DOING IT WRONG
PMEmail Poster
Top
MARK
Отправлено: Среда, 31 Октября 2007, 14:11
Quote Post


Новичок


Группа: Участники
Сообщений: 5
Специальность: не указана
Год поступления:
Этап обучения: не указан
Имя:
Регистрация: Понедельник, 29 Октября 2007

Репутация: 1


QUOTE (Anik @ Среда, 31 Октября 2007, 12:47)
во-первых, йа НЕДОблондинко. и с чего бы вас молодой человек , если вы не учитесь на матспециальности,  заинтересовал этот вопрос? а если учитесь, то почему решить сами не можете?

Ну, может Вы(прошу обратить внимание на то, как я пишу букву "в" в этом слове и как Вы) , уважаемая молодая госпожа, не в курсе дела: так я Вам поясню одной строкой, что есть такие задачи которые решаются, но решения их еще никто не нашёл, только проблема в том, что любой чел сам определить не может толь это задача из категории вековых проблем или просто-напросто обычно у него нехватает познаний в той или иной области знаний. Проблемы подобного рода возникают при прямом доказательстве доказательства сомнительных формулировок утверждений, то есть, говоря на научно-пулярном языке, обоснование гипотезы приводит к постановке новой более очевидной гипотезы, но в тоже время более сложностного характера. В большинстве случаев, чтобы дать внятную аргументацию словесных формулировок (тех же теоремных гипотез) уходит намного больше времени, чем
на подтверждение гипотез-формул. Бывает так, что доказывают теореми годами, а в конечном итоге доказательство на тисячу страниц выделяется в отдельную теорию, в которой через несколько лет находят ошибку и аргументатора лишают учёной степени. Ведь нужно понимать, что у любого человека и даже у группы людей возможности не безграничны.
Или может быть мадам-математик считает, что после окончания вуза и получения диплома(возможно даже с отличием) она сможет доказать то, что никто не смог доказать или опровергнуть на протяжении 5-7 лет или вобще веков, как например, гипотезное утверждение, что между произвольным натуральным числом и вдвое большим натуральным числом всегда лежит простое число.
Если некоректно выразился по отношению к кому-то, то, звиняйте.
Я не хочу никого учить\наставлять,или декларировать (тем паче, что это не мои открытия). я, просто, высказываю свою точку зрения, которая совпадает с точкой зрения многих людей.
Хочется также заметить то, а почему мол много конкретно нерешонных вопросов. Да все по той причине, что люди которые столкнулись с подобными проблемами не выносят их во многих случаев на обозрение широкой специализированной общественности, которую эти проблемы могут заинтересовать, а варятся, как говоря, в собственном соку.

Это сообщение отредактировал MARK - Среда, 31 Октября 2007, 14:15
PMEmail Poster
Top
langri
Отправлено: Среда, 31 Октября 2007, 14:23
Quote Post


Гигант
*********

Группа: Почётные участники
Сообщений: 2 228
Специальность: Чистая математика
Год поступления: 2004
Этап обучения: Отчислен
Имя: Ксюша Кузнецова
Регистрация: Среда, 30 Марта 2005

Репутация: 13


Давайте не будем переходить на взаимные оскорбления.
Марк, я имела в виду, что есть некоторые контактовские группы, где действительно можно попробовать задать вопрос.
Ну, например, вот эта
http://vkontakte.ru/club338191

Кроме того, можно таки попробовать написать алгебраистам, например, матмеховским.


--------------------
in the kernel of a rank-one map.
PMEmail Poster
Top
Anik
Отправлено: Среда, 31 Октября 2007, 15:43
Quote Post


АНЕГ
**********

Группа: Администратор
Сообщений: 2 937
Специальность: Мат-Обес
Год поступления: 2005
Этап обучения: Выпускник
Имя: Аня
Регистрация: Понедельник, 24 Октября 2005

Репутация: 35


1)мне стало интересно с чего Вас заинтересовал данный вопрос, чисто женское любопытсво, обижать никого не собиралась
2) не мадам , мадемуазель
3) спорить и обижать модератора, по меньшей мере, глупо

Это сообщение отредактировал Anik - Среда, 31 Октября 2007, 15:46


--------------------
Agile development is like teenage sex.
Everyone says they’re doing it, but only 10% are.
And those who are — ARE DOING IT WRONG
PMEmail Poster
Top
Rand
Отправлено: Среда, 31 Октября 2007, 16:16
Quote Post


Кабан
*********

Группа: Почётные участники
Сообщений: 2 063
Специальность: Механика
Год поступления: 2001
Этап обучения: Выпускник
Имя: Иванов Леонид
Регистрация: Пятница, 01 Апреля 2005

Репутация: 21


С пунктом 3 особо не поспоришь...
Остальное обсуждаемо rofl.gif


--------------------
Литрбол. 2 взрослый разряд.


Сегодня с нами не флудишь, а завтра форуму изменишь!
PMEmail PosterICQ
Top
Anik
Отправлено: Среда, 31 Октября 2007, 16:16
Quote Post


АНЕГ
**********

Группа: Администратор
Сообщений: 2 937
Специальность: Мат-Обес
Год поступления: 2005
Этап обучения: Выпускник
Имя: Аня
Регистрация: Понедельник, 24 Октября 2005

Репутация: 35


QUOTE (Rand @ Среда, 31 Октября 2007, 17:16)
С пунктом 3 особо не поспоришь...
Остальное обсуждаемо rofl.gif

rolleyes.gif


--------------------
Agile development is like teenage sex.
Everyone says they’re doing it, but only 10% are.
And those who are — ARE DOING IT WRONG
PMEmail Poster
Top
MARK
Отправлено: Среда, 31 Октября 2007, 16:21
Quote Post


Новичок


Группа: Участники
Сообщений: 5
Специальность: не указана
Год поступления:
Этап обучения: не указан
Имя:
Регистрация: Понедельник, 29 Октября 2007

Репутация: 1


QUOTE (Anik @ Среда, 31 Октября 2007, 15:43)
1)мне стало интересно с чего Вас заинтересовал данный вопрос, чисто женское любопытсво, обижать никого не собиралась
2) не мадам , мадемуазель
3) спорить и обижать модератора, по меньшей мере, глупо

1)Я удовлетворю Ваше любопытство, пани модератор.
Ясное дело, что подобным почти бредом люди от нечего делать не интересуются, и те, кто учится на кинолога уж точно не будет в качестве хобби изучать на досуге теорию моноидов или в общем теорию полугрупп.
Расскажу вкратце и с подробностью с чего это меня вдруг заинтересовал подобный вопрос. Дело в том, что была обнаружена одна гипотеза-формула
касающая свойства левых классов Грина этой самой полугруппы ордерных трансформаций(тоесть OTn). Один человек предложил доказательство гипотезы на основе того, что образ трансформации рассматривается как
множество, что согласуется с некоторыми наработками вобще неразвитой теории ордерных трансформаций, там образ полагается обычным множеством.
Я же предложил индукционное построение всех левых классов Грина для вывода формулы, рассматривая при этом образ как упорядоченный набор чисел, как кортежи. Подобное не очень согласовалось с общей теорией. И возникла необходимость доказать приведенное в первом месседже утверждение.


2) Позвольте к Вам обращаться не мадемуазель и не госпожа, а через обращение, которое не характерно для восточных славян( русских в том числе), но очень характерно для западных славян, а именно пани.

3)Я не собирался и не собираюсь спорить, тем более с модератор, тем более,
что зачастую юные барышни воспринимают спор как попытку их оскорбить
PMEmail Poster
Top
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:

Topic Options Страницы: (4) [1] 2 3 ... Последняя » Reply to this topicStart new topicStart Poll

 

Матмех СПбГУ - Студенческий сайт © 2004-2016.