Referat.me

Название: Эквивалентность элементарных функций

Вид работы: доклад

Рубрика: Математика

Размер файла: 45.21 Kb

Скачать файл: referat.me-215564.docx

Краткое описание работы: Доказательство эквивалентности пяти классов функций элементарных по Кальмару.

Эквивалентность элементарных функций

Реферат

Эквивалентность пяти классов функций элементарных по Кальмару

студента группы ТК

четвертого курса

Польщи М.В.

Научный руководитель: профессор Лисовик Леонид Петрович


Определение. Функция называется элементарной по Кальмару, если ее можно получить й из функций s1 , In m ,x+y,x-y,S, а также конечного применения операцийсуммирования и мультиплицирования.

Определим пять классов функций, элементарных по Кальмару.

L1 ­ Класс функций, получаемый из функций s1 , In m ,x+y,x-y,S, а также конечного применения операцийсуммирования и мультиплицирования.

L 2 ­ Класс функций, получаемый из функций s1 , In m ,x-y, 2x ,S, а также конечного применения операции суммирования.

L 3 ­ Класс функций, получаемый из функций s1 , In m ,x-y,x*y, 2x ,S, а также конечного применения операции ограниченной минимизации.

L 4 ­ Класс функций, получаемый из функций s1 , In m ,x-y,x+y 2x ,S, а также конечного применения операции ограниченной рекурсии.

L 5 ­ Класс функций, получаемый из функций s1 , In m ,x-y,x*y, S, а также конечного применения операции мультиплицирования.

Доказательство будем проводить по следующей схеме:

1. L 1 L 2 L 3 L 4 L 1

2. L 1 L 5

3. L 5 L 3

Докажем, что L 1 L 2 (для этого выразим 2x через функции L 1 )

Докажем, что L 2 L 3 (для этого выразим x*y и операцию ограниченной минимизации через функции L 2 )

Пусть

тогда

Докажем, что L3 L4 (для этого выразим x+y и операцию ограниченной рекурсии через функции L 3 )

Выразим операцию ограниченной рекурсии на основании следующего свойства функции Геделя.

Пусть

тогда

Отношение, примененное в операция конечной минимизации, является элементарным по Кальмару.

Докажем, что L 4 L 1 (для этого выразим операции суммирования и мультиплицирования через функции L 4 )

Выразим м3ультиплицирование через ограниченную рекурсию.

Где (x,y)-к-ступенчатая функция.

Выразим суммирование через ограниченную рекурсию.

Докажем, что L 1 L 5 (для этого выразим x*y через функции L 5 )

Докажем, что L 5 L 3 (для этого выразим 2x и операцию ограниченной минимизации выразим через функции L 5 )

Пусть

тогда

Эквивалентность классов доказана.

Похожие работы

  • Доказательство теоремы о представлении дзета-функции Дедекинда

    Теорема о представлении дзета-функции Дедекинда произведением L-рядов Дирихле, ее доказательство в виде произведения L-функций в разветвленном и неразветвленном случаях. Приложение теоремы: выведение функционального уравнения дзета-функции Дедекинда.

  • Таблица производных Дифференцирование сложных функций

    Контрольная работа Дисциплина: Высшая математика Тема: Таблица производных. Дифференцирование сложных функций 1. Таблица производных Как известно, большинство функций можно представить в виде какой-то комбинации элементарных функций. Зная, как дифференцируются элементарные функции, можно продифференцировать и их различные комбинации.

  • Преобразование графиков функции

    Тема: « Преобразование графиков функции Цели: 1) Систематизировать приемы построения графиков. 2) Показать их применение при построении: а) графиков сложных функций;

  • Основные правила дифференцирования

    Производные основных элементарных функций. Логарифмическое дифференцирование. Показательно-степенная функция и ее дифференцирование. Производная обратных функций. Связь между дифференциалом и производной. Теорема об инвариантности дифференциала.

  • Решение матриц

    Правила произведения матрицы и вектора, нахождения обратной матрицы и ее определителя. Элементарные преобразования матрицы: умножение на число, прибавление, перестановка и удаление строк, транспонирование. Решение системы уравнений методом Гаусса.

  • Билеты по математике для устного экзамена и задачи по теме

    Вопросы по алгебре (устный экзамен) Тригонометрия: основные тригонометрические тождества; доказательство формул; мнемоническое правило. Свойства тригонометрических функций:

  • Системы эквивалентные системам с известным типом точек покоя

    Министерство образования Республики Беларусь Учреждение образования Гомельский государственный университет имени Франциска Скорины Математический факультет

  • Контрольные билеты по алгебре

    Алгебра и начала анализа. 11 класс. Билет №1. Функция y = sin x, ее свойства и график. Показательная функция, ее свойства для случая, когда основание больше единицы (доказательство одного из свойств по желанию ученика).

  • Степенные ряды

    Определение степенного ряда. Теорема Абеля как определение структуры области сходимости степенного ряда. Свойства степенных рядов. Ряды Тейлора, Маклорена для функций. Разложение некоторых элементарных функций в ряд Маклорена. Приложения степенных рядов.

  • Элементарные частицы

    Элементарные частицы, в точном значении этого термина, - это первичные, далее неразложимые частицы, из которых, по предположению, состоит вся материя.