Mybrary.info
mybrary.info » Книги » Справочная литература » Энциклопедии » Большая Советская Энциклопедия (МО) - Большая Советская Энциклопедия "БСЭ" (книги регистрация онлайн бесплатно TXT) 📗

Большая Советская Энциклопедия (МО) - Большая Советская Энциклопедия "БСЭ" (книги регистрация онлайн бесплатно TXT) 📗

Тут можно читать бесплатно Большая Советская Энциклопедия (МО) - Большая Советская Энциклопедия "БСЭ" (книги регистрация онлайн бесплатно TXT) 📗. Жанр: Энциклопедии. Так же Вы можете читать полную версию (весь текст) онлайн без регистрации и SMS на сайте mybrary.info (MYBRARY) или прочесть краткое содержание, предисловие (аннотацию), описание и ознакомиться с отзывами (комментариями) о произведении.
Перейти на страницу:

  В общем случае под алгебраической системой понимается непустое множество вместе с заданными на этом множестве совокупностями отношений и операций от конечного числа аргументов. Эти операции и отношения называются основными в алгебраической системе. Каждой такой операции и каждому такому отношению ставится в соответствие определённый символ. Набор W этих символов называется сигнатурой алгебраической системы. Обычно изучаются классы алгебраических систем одной сигнатуры.

  Важнейшим из формализованных языков является язык 1-й ступени. Алфавит этого языка состоит из набора W символов отношений и операций; знаков &, V, ®, ù, ", $, обозначающих пропозициональные связки и кванторы (см. ниже); набора символов, называемых предметными переменными, а также скобок и запятой. При этом каждому символу отношения или операции приписывается натуральное число, называемое местностью этого символа; оно равно числу аргументов той операции или того отношения, которым соответствует рассматриваемый символ. В число символов отношений включается специальный символ = для отношения равенства. Индуктивно определяются понятия терма и формулы. Предметные переменные являются термами. Если f — символ n -местной операции, а про g1, ..., gn уже известно, что они термы, то f (g1, ..., gn ) есть тоже терм. Простейшие формулы — выражения вида P (g1, ... , gn ), где Р есть n -местный символ отношения, а g1, ..., gn — термы. Более сложные формулы получаются из простейших с помощью конечного числа связываний их знаками кванторов и пропозициональных связок. Символы предметных переменных, встречающиеся в формуле, разделяются на свободные и связанные. Связанные те, которые находятся в области действия квантора по этому переменному, а остальные свободные. Например, в формуле

("x ) ($y) (f (x , у ) = z V f (x, у ) = u )

свободными являются z и u , а х и у связаны кванторами. Формулы без свободных переменных называются высказываниями. Каждая формула со свободными переменными x1, ..., xn на каждой алгебраической системе А сигнатуры W определяет n -местное отношение. Например, формула, записывающая утверждение, что числа u и v взаимно простые, определяет на натуральных числах отношение взаимной простоты, которое для пары (3, 5) истинно, а для пары (2, 4) ложно. Для простейших формул соответствующее отношение фактически задаётся самой системой А . Для более сложных формул соответствующее отношение определяется путём интерпретации кванторов и пропозициональных связок: (Ф1 & Ф2 ) интерпретируется как «Ф1 и Ф2 », (Ф1 V Ф2 ) — как «Ф1 или Ф2 », (Ф1 ® Ф2 ) — как «если Ф1 , то Ф2 », ùФ — как «неверно, что Ф», ($x )Ф — как «для всех х Ф», ($х )Ф — как «существует х , для которого Ф». Согласно этому определению, каждое высказывание в каждой алгебраической системе соответствующей сигнатуры либо ложно, либо истинно. Например, если символу f ставится в соответствие операция сложения на натуральных числах, то формула ("x ) f (x, х ) = f (f (x, х ), х ), утверждающая, что 2x = 3х для всех х , ложна на натуральных числах, а формула ("x (f (x , x ) = x ® f (x, х ) = f (f (x, х ), х )), утверждающая, что если 2x = х , то 2x = 3х , истинна. Алгебраическая система А называется моделью данного множества S высказываний, если каждое высказывание из S истинно в А . Класс К алгебраических систем называется аксиоматизируемым, если К есть совокупность всех моделей некоторого множества высказываний. Многие важные классы алгебраических систем, например классы групп, колец, полей, аксиоматизируемы.

  Изучение общих свойств аксиоматизируемых классов — важная часть М. т. Во многих случаях по форме высказываний из S удаётся судить о некоторых алгебраических свойствах класса всех моделей S. Например, тот факт, что гомоморфные образы и прямые произведения групп снова оказываются группами, есть следствие того, что класс групп может быть определён как совокупность всех моделей такой совокупности высказываний S, что каждое высказывание из S имеет вид ("x1 )... ... ("xn )f = g , где f, g — термы.

  Фундаментальный результат М. т. — локальная теорема Мальцева (1936), согласно которой если каждая конечная подсовокупность совокупности S высказываний имеет модель, то и S имеет модель. А. И. Мальцев нашёл многочисленные применения своей теоремы для доказательства т. н. локальных теорем алгебры.

  Важным фактом в теории аксиоматизируемых классов является теорема Лёвенхейма — Сколема: всякий аксиоматизируемый класс конечной или счетной сигнатуры, содержащий бесконечные системы, содержит и счётную систему. В частности, нельзя написать такую совокупность высказываний, все модели которой были бы изоморфны одной бесконечной алгебраической системе, например полю комплексных чисел или кольцу целых чисел. Но тем не менее существуют аксиоматизируемые классы, все системы которых данной бесконечной мощности изоморфны.

  Одной из важных конкретных совокупностей высказываний является совокупность, определяющая понятие множества. Это понятие описывается на языке 1-й ступени, сигнатура которого состоит из одного символа — символа бинарного отношения, интерпретируемого как «х есть элемент y ». Существует несколько вариантов таких описаний, каждый из которых осуществляется при помощи своей совокупности высказываний. Эти совокупности называются системами аксиом для теории множеств. Развитие М. т. показало, что нельзя выбрать такую систему аксиом для теории множеств, которая удовлетворила бы все потребности математики (см. также Аксиоматическая теория множеств ).

  Центральная часть современной М. т. — это изучение элементарных теорий, т. е. теорий, описываемых на языке 1-й ступени. Однако постепенно всё возрастающее место отводится и изучению теорий, описываемых при помощи более богатых языков.

  Историческая справка. Основные понятия М. т. возникли в математике в 19 в., главным образом в работах по основаниям геометрии. К понятию модели данного множества высказываний вплотную подошёл Н. И. Лобачевский в работах по геометрии. В полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна , построивших модели геометрии Лобачевского. Современной формулировки основных понятий М. т. сложились в работах школ Д. Гильберта и А. Тарского . М. т. возникла в начале 30-х гг. 20 в. в результате применения методов математической логики в алгебре, одним из инициаторов которого был А. И. Мальцев.

  Лит.: Мальцев А. И., Алгебраические системы, М., 1970; Робинсон А., Введение в теорию моделей и метаматематику алгебры, пер. с англ., М., 1967.

  А. Д. Тайманов, М. А. Тайцлин.

Модели (в биологии)

Моде'ли в биологии применяются для моделирования биологических структур, функций и процессов на разных уровнях организации живого: молекулярном, субклеточном, клеточном, органно-системном, организменном и популяционно-биоценотическом. Возможно также моделирование различных биологических феноменов, а также условий жизнедеятельности отдельных особей, популяций и экосистем.

  В биологии применяются в основном три вида М.: биологические, физико-химические и математические (логико-математические). Биологические М. воспроизводят на лабораторных животных определённые состояния или заболевания, встречающиеся у человека или животных. Это позволяет изучать в эксперименте механизмы возникновения данного состояния или заболевания, его течение и исход, воздействовать на его протекание. Примеры таких М. — искусственно вызванные генетические нарушения, инфекционные процессы, интоксикации, воспроизведение гипертонического и гипоксического состоянии, злокачественных новообразований, гиперфункции или гипофункции некоторых органов, а также неврозов и эмоциональных состояний. Для создания биологической М. применяют различные способы воздействия на генетический аппарат, заражение микробами, введение токсинов, удаление отдельных органов или введение продуктов их жизнедеятельности (например, гормонов), различные воздействия на центральную и периферическую нервную систему, исключение из пищи тех или иных веществ, помещение в искусственно создаваемую среду обитания и многие другие способы. Биологические М. широко используются в генетике, физиологии, фармакологии.

Перейти на страницу:

Большая Советская Энциклопедия "БСЭ" читать все книги автора по порядку

Большая Советская Энциклопедия "БСЭ" - все книги автора в одном месте читать по порядку полные версии на сайте онлайн библиотеки mybrary.info.


Большая Советская Энциклопедия (МО) отзывы

Отзывы читателей о книге Большая Советская Энциклопедия (МО), автор: Большая Советская Энциклопедия "БСЭ". Читайте комментарии и мнения людей о произведении.


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

  • 1. Просьба отказаться от дискриминационных высказываний. Мы защищаем право наших читателей свободно выражать свою точку зрения. Вместе с тем мы не терпим агрессии. На сайте запрещено оставлять комментарий, который содержит унизительные высказывания или призывы к насилию по отношению к отдельным лицам или группам людей на основании их расы, этнического происхождения, вероисповедания, недееспособности, пола, возраста, статуса ветерана, касты или сексуальной ориентации.
  • 2. Просьба отказаться от оскорблений, угроз и запугиваний.
  • 3. Просьба отказаться от нецензурной лексики.
  • 4. Просьба вести себя максимально корректно как по отношению к авторам, так и по отношению к другим читателям и их комментариям.

Надеемся на Ваше понимание и благоразумие. С уважением, администратор mybrary.info.


Прокомментировать
Подтвердите что вы не робот:*