Лінійна залежність n–мірних векторів. Програма

Базис векторного простору. Програма визначення лінійної залежності або незалежності векторів, написана на мові програмування Turbo Pascal. Головна процедура системи - Procedure Lineq. Виконання перевірки умови залежності з масиву знайдених розв’язків.

Рубрика Программирование, компьютеры и кибернетика
Вид курсовая работа
Язык украинский
Дата добавления 28.03.2009
Размер файла 34,1 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

12

Міністерство освіти і науки України

ФАКУЛЬТЕТ ІНФОРМАТИКИ

КАФЕДРА ФІЗИКО-МАТЕМАТИЧНИХ ДИСЦИПЛІН

Реєстраційний №________

Дата ___________________

КУРСОВА РОБОТА

з математичних методів дослідження операцій

Тема: Лінійна залежність -мірних векторів. Програма.

Рекомендована до захисту

“____” __________ 2007р.

Робота захищена

“____” __________ 2007р.

з оцінкою

_____________________

Підписи членів комісії

Зміст

Вступ

Теорія

Опис програми

Текст програми

Контрольні приклади

Висновки

Література

Вступ

Дана робота присвячена введенню, одного з найважливіших понять, яке використовується не тільки в алгебрі, але й в багатьох інших розділах математики. Дамо просте визначенню лінійної залежності системи векторів в мірному просторі.

Визначення (*) Система векторів називається лінійно залежної, якщо існує такий набір коефіцієнтів , з яких хоча б один відмінний від нуля, що .

Система векторів, що не є лінійно залежної, називається лінійно незалежної. Але останнє визначення краще сформулювати по іншому.

Визначення (**) Система векторів називається лінійно незалежної, якщо рівність можлива тільки при .

Теорія

Припущення 1 Система векторів лінійно залежний тоді і тільки тоді, коли один з векторів системи є лінійною комбінацією інших векторів цієї системи.

Доведення.

Нехай система векторів лінійно залежна. Тоді існує такий набір коефіцієнтів , що , причому хоча б один коефіцієнт відмінний від нуля. Припустимо, що . Тоді:

,

тобто є лінійною комбінацією інших векторів системи.

Нехай один з векторів системи є лінійною комбінацією інших векторів. Припустимо, що це вектор , тобто . Очевидно, що . Одержали, що лінійна комбінація векторів системи дорівнює нулю, причому один з коефіцієнтів відмінний від нуля (дорівнює ).

Припущення 2 Якщо система векторів містить лінійно залежну підсистему, те вся система лінійно залежна.

Доведення.

Нехай у системі векторів підсистема , , є лінійно залежної, тобто ,, і хоча б один коефіцієнт відмінний від нуля. Тоді складемо лінійну комбінацію ,. Очевидно, що ця лінійна комбінація дорівнює нулю, і що серед коефіцієнтів є ненульовий.

Припущення 3  Система, що складається з одного вектора, лінійно залежна тоді і тільки тоді, коли цей вектор нульової.

Доведення.

Нехай система складається з вектора . Лінійна комбінація має вид . Якщо , то , тобто система лінійно залежна. Якщо і , то .     

Припущення 4 Система, що складається з двох векторів, лінійно залежна тоді і тільки тоді, коли ці вектори колінеарні.    

Доведення цієї пропозиції тривіальне - воно аналогічно доказу наступного припущення.

Припущення 5   Система з трьох векторів лінійно залежна тоді і тільки тоді, коли ці вектори компланарні.

Доведення.

Нехай вектори - компланарні. Якщо - колінеарні, то в силу попереднього пропозиції вони утворять лінійно залежну підсистему системи . За припущенням 2 система  - лінійно залежна. Якщо вектори - не колінеарні, то є лінійною комбінацією векторів і за припущенням 1 система векторів - лінійно залежна.

Нехай система векторів лінійно залежна. За  припущенням 1 один вектор, скажемо , є лінійною комбінацією інших векторів, і , . Права частина останньої рівності лежить у площині, у якій лежать вектори . Тому вектор лежить в одній площині з векторами , тобто вектори - компланарні.     

Припущення 7 Чотири вектори завжди утворять лінійно залежну систему.

Доведення. Якщо перші три вектори є компланарними, то вони утворять лінійно залежну підсистему (припущення 5). Отже, уся система лінійно залежна (припущення 2). Якщо перші три вектори - не компланарні, то четвертий є їхньою лінійною комбінацією. За  припущенням 1 система є лінійно залежної.

Фактично ми маємо справу з лінійною однорідною системою рівнянь відносно невідомих коефіцієнтів. Якщо дана система має нульовий розв`язок, то вектори будуть лінійно незалежними, Якщо ж крім нульового система має ще й ненульовий розв`язок, то дані вектори лінійно залежні.

Перерахуємо наступні властивості:

Якщо система векторів містить нульовий вектор, то вона лінійно залежна

Якщо система векторів містить лінійно-залежну підсистему векторів, то вона буде лінійно - залежною.

Якщо система векторів лінійно-незалежна, то і будь-якій її підсистемі буде лінійно незалежною.

Якщо система векторів містить хоча б один вектор, що є лінійною комбінацією інших векторів, то ця система векторів буде лінійно залежною.

Поняття лінійної залежності має досить глибокий зміст і широко використовується в математиці. Не вдаючись в подробиці наведемо наступні застосування цього поняття.

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

Максимальне число лінійно незалежних векторів деякого простору називається його розмірністю. Розмірність простору дорівнює числу базисних векторів цього простору.

Максимальне число лінійно незалежних стовпчиків матриці дорівнює максимальному числу її лінійно незалежних рядків , і це число дорівнює рангу матриці.

Отже зважаючи на все вище сказане дамо загальне визначення базису:

Визначення 1 Базисом векторного простору називається така упорядкована лінійно незалежна система векторів, що будь-який вектор простору розкладається по векторах цієї системи.

Опис програми

Програма визначення лінійної залежності або незалежності векторів написана на мові програмування Turbo Pascal та працює за відносно простим алгоритмом роботи - розв`язком системи лінійних рівнянь та подальшої її перевірки на умову незалежності векторів.

Головна процедура системи - Procedure Lineq - відповідає за розв`язок системи рівнянь та знаходження коефіцієнтів. Початкові дані (вектори) вводяться стандартним способом з клавіатури в базовій частині програми у вигляді матриці дійсних чисел. В останньому боці програми після виклику Procedure Lineq - виконується перевірка умови залежності з масиву знайдених розв'язків - Ex . В результаті роботи програми на екран буде виведене остаточне повідомлення стосовно лілейної залежності або не залежності представлених векторів.

Текст програми

Program Linijna_Zaleshnist_Nezaleshnist;

Const Dim1 = 20

Dim2 = 21;

{dim2=dim1+1}

Type Ar1 = Array[1..Dim1,1..Dim2] of Real;

Ar2 = Array[1..Dim1] of Real;

Var n:Integer; {Rozmirnist}

i,j:Integer; {Dodatkovi zmini}

S:Ar1 {Golovna matrica};

Ex:Ar2 {Vihidnij razvjazok}

Cod:Byte;

e:Real;

Procedure Lineq(a:Ar1;

n:Integer;

e:Real;

Var x:Ar2);

Var i,j,k:Integer;

y,w:Real;

Begin

For i:=1 to n do

Begin

k:=i;

y:=a[i,i];

{------------------------------------------}

For j:=i+1 to n do

Begin

If(abs(w)>abs(y)) Then Begin k:=j;y:=w;End;

End;

{------------------------------------------}

If(abs(y)<e)Then Begin Write('ЌҐ ‚Ё§­ зҐ­®');Halt(0);End;

{------------------------------------------}

For j:=i to n+1 do

Begin

w:=a[k,j];a[k,j]:=a[i,j];a[i,j]:=w/y;

End;

{------------------------------------------}

For k:=i+1 to n do

Begin

For j:=n+1 Downto i+1 DO a[k,j]:=a[k,j]-a[i,j]*a[k,i];

End;

{------------------------------------------}

End;

For i:=n Downto i DO

Begin

w:=0;

For j:=i+1 to n Dod w:=w+a[i,j]*x[j];

x[i]:=a[i,n+1]-w;

End;

{-----------------------------}

Begin {Golovna programa upravliinja}

ReadLn('Vvedit rozmirnist - N ?',n);

Cod:=0;e:=0;

{---------------}

For i:=1 to n do

Begin

For j:=1 to n do

Begin

Write('Input a[',i,',',j,']');ReadLn(S[i,j]);

End;

End;

{---------------}

Procedure Lineq(S,n,e,Ex); {Viklik golovnogo modulja!}

{---------------}

For i:=1 to n do

Begin

If(Ex[i]<>0)Then Begin Cod:=1;End; {Perevirka umovi}

End;

{---------------}

If(Cod=1)Then Begin WriteLn('Вектори залежні');End

Else Begin WriteLn('Вектори не залежні ');End;

End;

Контрольні приклади

Приклад 1.

Вхідні дані:

A=(1;2;3) B=(0;1;2) С=(1;3;-1)

Вихідні дані: - Задані вектори лінійно незалежні.

Приклад 2.

Вхідні дані:

A=(1;-1;2) B=(10;1;1) С=(2;-1;6)

Вихідні дані: - Задані вектори лінійно незалежні.

Приклад 3.

Вхідні дані:

A=(3;-2;1) B=(-1;1;-2) С=(2;1;-3) D=(11;-6;5)

Вихідні дані: - Задані вектори лінійно залежні.

Висновки

В даній курсовій роботі була розглянута важлива проблема визначення лінійної залежності та незалежності систем мірних векторів в просторі та запропонований програмний код на мові програмування Turbo Pascal для її розв'язку. Дана детальна теоретична характеристика цього питання та запропоновано ряд припущень та тверджень. Результатом роботи є автономний програмний модуль, який дозволяє в автоматичному режимі на основі попередніх даних дати відповідь на головне питання роботи - лінійну залежність чи незалежність тої чи іншої системи векторів в просторі.

На основі сконструйованої в цій роботі програми, було розв`язано декілька практичних - тестових задач, лістинг (вхідні та вихідні дані) яких приведений у відповідному розділі роботи. Текст програми та коментарі відносно її структури також знаходять і основній частині курсової роботи.

Література

1. А. Б. Баратків “ Turbo Pascal - алгоритми і програми”, Київ, “Вища школа”, 1992.

2. С. Т. Завало, В. М. Костарчук, Б. И. Хацет «Алгебра и теория чисел», Том 2,«Высшая школа», Киев 1976

3. В. П. Дубовик, І.І. Юрик “Вища математика”, Університетська бібліотека, Київ 2001

4. А. Г. Курош «Курс высшей алгебры», «Наука», Москва 1975

5. С. Т. Завало, В. М. Костарчук, Б. И. Хацет «Алгебра и теория чисел», Том 1,«Высшая школа», Киев 1974


Подобные документы

  • Значення функції, типи елементів масиву та їх кількість. Побудова інтерполяційного багаточлена Лагранжа. Апроксимування залежності багаточленом другого ступеня і обчислення коефіцієнту варіації. Обчислення рівняння за методом Рунге-Кути, лістинг програми.

    контрольная работа [222,4 K], добавлен 17.02.2011

  • Розробка програми перевірки логічного мислення людини на мові програмування С++, результатом якої є моделювання координатного переміщення. Визначення структури вхідних та вихідних даних, вибір мови програмування. Розгляд алгоритму рішення задачі.

    курсовая работа [55,8 K], добавлен 28.04.2015

  • Розробка програмного забезпечення для розв’язування задачі обчислювального характеру у середовищі Turbo Pascal 7.0. Розгляд систем числення. Практична реалізація задачі переводу чисел з однієї системи числення у іншу. Процедура зворотного переводу.

    курсовая работа [112,2 K], добавлен 23.04.2010

  • Правильний оператор присвоювання. Доведення тотожності від зворотного, припускаючи протилежний результат. Пояснення існування залежності (тотожності). Пошук помилок у програмі шляхом написання та перевірки її допомогою мови програмування Pascal.

    контрольная работа [655,5 K], добавлен 04.11.2013

  • Розробка і описання програми перевірки гіпотези про розподіл Пуассона емпіричного ряду за допомогою критерію Пірсона. Розробка програми мовою Паскаль (середовище Turbo Pascal 6.0.). Програма розроблена із застосуванням методики процедурного програмування.

    курсовая работа [51,0 K], добавлен 23.04.2010

  • Розробка програми для розв’язування економічних задач. Описання програми для отримання відомості відвантаження готової продукції. Вибір алгоритмічної мови Turbo Pascal 6.0. Програма розроблена із застосуванням методики процедурного програмування.

    курсовая работа [38,2 K], добавлен 23.04.2010

  • Створення програми в середовищі програмування TURBO PASCAL 7.0, за допомогою якої можливо здійснювати шифровку та розшифровку інформації у файлах з розширенням doc, txt. Програма працює з машинописом англійського тексту, який відповідає стандартам ASCII.

    курсовая работа [304,6 K], добавлен 23.12.2008

  • Формування квадратної транспонованої матриці, отримання з неї компонентів вектора та обчислення значення функції в мові Pascal. Базова програма реалізації алгоритму. Сервісний модуль обслуговування матриці. Головна програма та результати її роботи.

    курсовая работа [40,2 K], добавлен 10.03.2011

  • Програма на мові програмування С++. Аналіз стану технологій програмування та обґрунтування теми. Розробка програми виконання завдання, методу вирішення задачі. Робота з файлами, обробка числової інформації і робота з графікою. Розробка програми меню.

    курсовая работа [41,0 K], добавлен 17.02.2009

  • Поняття та види векторів. Прості математичні операції над ними. Векторний добуток, його геометричні та алгебраїчні властивості. Визначення та реалізація програмного класу багатовимірних векторів. Перевантажені оператори та дружні оператор-функції.

    курсовая работа [110,1 K], добавлен 15.01.2012

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.