Nekonečný systém lineárních algebraických rovnic je zobecněním konceptu systému lineárních algebraických rovnic na případ nekonečné množiny neznámých, definovaných metodami funkční analýzy . Dává to smysl ne nad jakýmkoli polem , ale například nad reálnými a komplexními čísly. Je také možné mít přímočaré zobecnění metodami správné lineární algebry , které se liší od toho, co je popsáno v článku.
Nekonečný systém lineárních algebraických rovnic se často objevuje v procesu řešení různých úloh ve fyzice a technice pomocí metody neurčitých koeficientů , například v úlohách vedení tepla, určování perihélia pohybu Měsíce v astronomii, v problematice stanovení statického průhybu obdélníkového tělesa s pevnými konci. [jeden]
Nekonečný systém lineárních algebraických rovnic je nekonečná množina algebraických rovnic prvního stupně s ohledem na nekonečnou množinu neznámých: , . Řešením nekonečného systému lineárních algebraických rovnic je jakákoli posloupnost čísel taková, že všechny řady konvergují k . Řešení nekonečné soustavy lineárních algebraických rovnic se nazývá omezené, pokud čísla tvoří omezenou posloupnost.
Je vhodné uvažovat nekonečné soustavy lineárních algebraických rovnic ve tvaru: , , . Nekonečný systém lineárních algebraických rovnic se nazývá zcela regulární, pokud existuje kladná konstanta taková, že .
Zcela pravidelný nekonečný systém lineárních algebraických rovnic má jedinečné omezené řešení pro jakoukoli omezenou sbírku volných členů . Navíc, když pro všechny , tak . [2]
V matici koeficientů nekonečné lineární soustavy rovnic můžete ponechat pouze první řádky a sloupce a sestavit z nich čtvercovou matici velikosti :
Označme determinant této matice jako .
Pokud existuje limita: , pak se nazývá nekonečný determinant odpovídající matici [3] .
Představme si matici v novém tvaru extrahováním sčítance rovné jedné ze všech jejích diagonálních členů:
Aby existoval nekonečný maticový determinant a měl vlastnosti podobné vlastnostem běžného determinantu, stačí, aby nekonečná dvojitá řada konvergovala . [3]
Pokud má matice nekonečné soustavy lineárních algebraických rovnic nekonečný determinant a není rovna nule a všechny její volné členy jsou omezeny absolutní hodnotou (tj. existuje kladné číslo takové, že ), pak má tato soustava jednoznačnou omezené řešení (to znamená, že existuje kladné číslo takové, že , že ) určené Cramerovými vzorci :
,kde je determinant , který se získá z determinantu nahrazením prvků k-tého sloupce volnými členy. [čtyři]