Читать «Математический аппарат инженера» онлайн - страница 3

Виталий Петрович Сигорский

Так, трехмерное геометрическое пространство обобщается на любое число измерений, и в этом многомерном пространстве изучаются пространственно подобные отношения (длина, расстояние, ортогональность). Алгебраические операции абстрагируются и распространяются на объекты любой природы, которые образуют различные структуры в зависимости от приписываемых им свойств (группа, кольцо, тело, поле). Под переменными понимаются не только обычные величины, но и функции, которые рассматриваются как объекты функциональных пространств. Изучаемые математикой объекты объединяют совокупности величин, для представления которых используются такие понятия как множества, матрицы, графы.

- 7 -

Математика развивается как единая наука с присущими ей методами. Но в зависимости от точки зрения на ее предмет математику подразделяют на содержательную математику, формальную математику, метаматематику и прикладную математику.

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

Формальная математика отвлекается от конкретной природы объектов и сосредотачивает свое внимание на отношениях в чистом виде (например, отношение параллельности не связывается с понятием линии). Первоначально вводится совокупность символов (алфавит), которые различаются только по форме, а также задаются правила построения из этих символов терминов и предложений. Исходные положения формальной теории (аксиомы) принимаются в виде предложений, в которые входят определяемые термины. Из этих предложений на основе установленных правил преобразования выводятся другие предложения (теоремы) данной теории.

Метаматематика изучает формализованные теории как системы терминов и предложений. Объектами исследования метаматематики являются конечные последовательности (строчки) символов с операциями, которые представляют термины и предложения (в том числе аксиомы и теоремы). Метаматематику можно считать содержательной наукой, если системы символов рассматривать как материальные объекты.

Прикладная математика включает математические теории, проблемно-ориентированные на изучение явлений природы и общества. Такая ориентация осуществляется путем истолкования объектов формальных и содержательных теорий в категориях реального мира (эмпирическая интерпретация). Например, связывая понятия точки, линии, параллельности (или соответствующие им символы и термины) с объектами и отношениями физического пространства, приходим к прикладной (эмпирической) теории, которая обслуживает проблематику соответствующей области. Одна и та же математическая теория, получая различные интерпретации, может явиться основой для построения многих прикладных теорий.