fixfix
2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4  След.
 
 Re: Как набрать символ "пусть"?
Сообщение27.01.2014, 15:33 
Заслуженный участник


20/12/10
9179
Понятно. Меня приучили в университете в качестве сокращения использовать $\exists !$ (существует и единствен), других подобных сокращений что-то не припомню. Видимо, дело в традициях и привычках.

 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение04.02.2014, 16:24 


08/09/13
9
nnosipov в сообщении #819599 писал(а):
Зачем он вообще нужен --- вот что непонятно.

Используется в качестве замены слова "Пусть" ("Let"). Часто в доказательствах от противного. Часто вместе с квантором существования, поэтому предлагается изображать его совпадающим по размеру c $\exists$.

Никто не запрещает вообще без значков обходиться, всё словами записывать. Но это неудобно.

 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение10.02.2014, 11:41 
Экс-модератор
Аватара пользователя


23/12/05
12068

(Оффтоп)


 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение10.02.2014, 11:46 
Заслуженный участник
Аватара пользователя


23/11/06
4171

(Оффтоп)


 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение13.02.2014, 02:28 
Заслуженный участник
Аватара пользователя


31/01/14
11472
Hogtown
Есть такой The Comprehensive LATEX Symbol List. В TEXLive вызывается
Код:
texdoc comprehensive

в терминале. Там похожий значок (но явно ниже) \sqsupset в некоторых пакетах

Т.е. значок совершенно левый и практически нигде не встречается. Если уж очень хочется употреблять (охота пуще неволи), то ничего кроме Бердниковского hack нет, и кстати, он у меня получается одного размера с $\exists$

 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение16.02.2014, 13:36 


08/09/13
9
Red_Herring в сообщении #825784 писал(а):
кстати, он у меня получается одного размера с $\exists$


Так задумано изначально. Значок употребляется чаще всего с кванторами, и потому повторяет их по форме и размеру.

(Оффтоп)


 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение16.02.2014, 13:59 
Заслуженный участник
Аватара пользователя


30/01/06
72407

(Оффтоп)


 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение16.02.2014, 14:47 
Заслуженный участник
Аватара пользователя


31/01/14
11472
Hogtown
Basil Peace в сообщении #827142 писал(а):
Red_Herring в сообщении #825784 писал(а):
кстати, он у меня получается одного размера с $\exists$


Так задумано изначально. Значок употребляется чаще всего с кванторами, и потому повторяет их по форме и размеру.


Лично мне за последние несколько десятилетий не попадалось "пусть" или "предположим" внутри формул и, кстати, оно употребляется гораздо реже чем "для всех" или "существует". Использование значков в тексте (исключая знак конца док-ва или конца определения или замечания) считается очень дурным тоном. Любой редактор придет в состояние легкого бешенства от такого вот:

Цитата:
$\forall$ точки $\exists$ окрестность такая что для любого ее $\in$"


А при конспектировании пользуются стенографией (если знают) , а отнюдь не $\LaTeX$. Кроме того, если мы делаем како-то предположение (даже в док-ве от противного) мы должны это очень четко указать, а не вводить читателя в заблуждение.

Более того, что такое отрицание "существует" или "для всех"--понятно. А что такое отрицание "пусть" или "предположим"? "непусть" или "не предположим" обозначаемое следующим образом $
    \def\letus{%
    \mathord{\setbox0=\hbox{$\exists$}%
             \hbox{\kern 0.125\wd0%
                   \vbox to \ht0{%
                      \hrule width 0.75\wd0%
                      \vfill%
                      \hrule width 0.75\wd0}%
                   \vrule height \ht0%
                   \kern 0.125\wd0}%
           }%
} {\not\letus} \text{.  И как понять такое выражение которое для кваноров имело бы смысл   } {\not\letus} \letus $?

 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение16.02.2014, 16:19 
Заслуженный участник
Аватара пользователя


23/11/06
4171

(Оффтоп)


 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение16.02.2014, 16:41 
Заслуженный участник
Аватара пользователя


31/01/14
11472
Hogtown

(Оффтоп)


 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение20.05.2015, 21:25 


10/11/13
54
provincialka в сообщении #811744 писал(а):
tonyk_av, судя по апломбу, вы, видимо, не преподаватель вуза.
1. Сомневаюсь, что "пусть" можно назвать квантором.
2. Есть кванторы "существует" и "для каждого". А значки $\exists,\forall$ - это только их обозначения. Стенография, так сказать. Еще я видела, как "единственность" обозначают знаком восклицания: $\exists !$ - существует единственный.



Когда я учился в школе, попадалась брошюрка с рекомендациями о том, как без стенографии быстро записывать лекции и тексты. Не помню ни автора, ни названия. Вот случайно увидел http://allk.ru/book/627/6331.html. Текст тот же, а вот кванторы и прочая графика искажена. Сам я активно пользовался цветом, кванторами, обёртками, подчёркиваниями, апострофами и сокращениями из ГОСТ.

 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение21.05.2015, 12:03 


12/11/08
81
На этом форуме в "Кратком FAQе по тегу [math]"http://dxdy.ru/topic183.html в последнем сообщении пример как такой символ получить используя повороты-отражения буквы "L"...

 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение21.05.2015, 13:38 


17/10/08

1313
С математической точки зрения «пусть» что-нибудь обозначает?
Первое что приходит в голову - с «пусть» связаны определения и описания задач.

В задачах, с которыми мне приходится работать, такой символ не нужен.

С «пусть» некоторые задачи формулируются так:
Пусть $A1, A2, …$ тогда $B1, B2, …$
Т.е. $A1, A2, … ==> B1, B2, …$
«Пусть» здесь вроде как это импликация.

Еще задачи формулируются так:
Пусть $A1, A2, …$
Найти $f^*$( или минимум, максимум f), где выполняются условия $C1,C2, …$
Математическая запись вроде как такая:
$f^*=\{f|A1, A2, … C1,C2,…\}$

 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение21.05.2015, 19:34 
Заслуженный участник


27/04/09
28128
mserg в сообщении #1018158 писал(а):
С математической точки зрения «пусть» что-нибудь обозначает?
Можно сказать, это просто введение гипотезы в вывод. Совершенно аналогично в вывод вводятся аксиомы и доказанные раньше теоремы, хотя и другими словами.

 Профиль  
                  
 
 Re: Как набрать символ "пусть"?
Сообщение14.06.2015, 01:04 
Заслуженный участник


27/04/09
28128
Короче, то, что пусть — не квантор и что его сокращать очень нехорошо, тут и так большинство было согласно. :-) Посочувствуем в меру, т. к. не разбираться же в точном положении вещей (вот это уже будет занудство занудств) для более аккуратного определения, насколько сочувствовать и насколько обратное.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 56 ]  На страницу Пред.  1, 2, 3, 4  След.

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group