Скаляр ҡабатландыҡ

(Скалярное произведение битенән йүнәлтелде)

Скаляр ҡабатландыҡ (ҡайһы берҙә эске ҡабатландыҡ) — һөҙөмтәһе координаталар системаһына бәйле булмаған, ҡабатлашыусы векторҙарҙың оҙонлоғон һәм улар араһындағы мөйөштө характерлаусы һан булған, ике вектор өҫтөндәге ғәмәл (векторҙарҙы ҡарағанда, һандарҙы йыш ҡына скалярҙар тип атайҙар). Был ғәмәлгә x векторының оҙонлоғон y векторының x векторына проекцияһына ҡабатландығы ярашлы. Был ғәмәл ғәҙәттә һәр ҡабатлашыусы буйынса коммутатив һәм һыҙыҡлы тип ҡарала.

Ғәҙәттә түбәндәге тамғалауҙарҙың береһе ҡулланыла:

,
,
,

йәки (квант механикаһында векторҙар өсөн йыш ҡулланылған Дирак тамғалауы):

.

Ғәҙәттә скаляр ҡабатландыҡ ыңғай тип уйланыла, йәғни

теләһә ниндәй өсөн .

Әгәр бындай фаразлау булмаһа, ҡабатландыҡ индефинит йәки асыҡланмаған тип атала.

Билдәләмә үҙгәртергә

  векторлы арауығында   комплекслы (йәки   ысын) һандар яланы өҫтөндә скаляр ҡабатландыҡ тип,   элементтары өсөн, һәр элементтар пары өсөн   (йәки  ) ҡиммәттәре ҡабул иткән һәм түбәндәге шарттарҙы ҡәнәғәтләндергән   функцияһы атала:

  1.   арауығының теләһә ниндәй өс   һәм   элементтары өсөн һәм   (йәки  ) күмәклегенән   өсөн   тигеҙлеге дөрөҫ (скаляр ҡабатландыҡтың беренсе аргумент буйынса һыҙыҡлы булыуы);
  2. теләһә ниндәй   һәм   өсөн   тигеҙлеге дөрөҫ, бында һыҙыҡ комплекслы эйәртеүсәнлекте аңлата (эрмит симметриялылыҡ);
  3. теләһә ниндәй   өсөн  , шуның менән бергә тик   булғанда ғына   (скаляр ҡабатландыҡтың ыңғайлығы билдәләнеүе).

Билдәләмәнең 2п.   булыуы килеп сыға. Шуға күрә, скаляр ҡабатландыҡтың комплекслы (дөйөм осраҡта) ҡиммәттәр ҡабул итеүенә ҡарамаҫтан, п.3 мәғәнәһе бар.

Алгебраик билдәләмә үҙгәртергә

n-үлсәмле ысын арауыҡта ике a = [a1, a2, ..., an] һәм b = [b1, b2, ..., bn] векторҙары өсөн скаляр ҡабатландыҡ ошолай билдәләнә:[1]

 .

Мәҫәлән, өс үлсәмле арауыҡта [1, 3, −5] һәм [4, −2, −1] векторҙарының ҡабатландығы ошолай иҫәпләнә:

 

a = [a1, a2, ..., an] һәм b = [b1, b2, ..., bn] комплекслы векторҙары өсөн скаляр ҡабатландыҡ ошолай билдәләнә:

 .

Мәҫәлән,  

Геометрик билдәләмә үҙгәртергә

 
AB = |A| |B| cos(θ)

Әгәр векторҙың оҙонлоғо һәм векторҙар араһындағы мөйөш төшөнсәләренә билдәләмә, бәйһеҙ рәүештә скаляр ҡабатландыҡ төшөнсәһен индергәнгә тиклем бирелһә (классик геометрияла, ҡағиҙә булараҡ, шулай итәләр ҙә инде), ул саҡта скаляр ҡабатландыҡҡа билдәләмә ҡабатлашыусыларҙың оҙонлоғо һәм улар араһындағы мөйөш төшөнсәләре аша бирелә:

 

Хәҙерге аксиоматика ғәҙәттә скаляр ҡабатландыҡтан башлап төҙөлә, ул саҡта векторҙың оҙонлоғо һәм векторҙар араһындағы мөйөш төшөнсәләре скаляр ҡабатландыҡ аша бирелә (түбәндәрәк ҡарағыҙ).

Бәйле билдәләмәләр үҙгәртергә

  • Скаляр ҡабатландыҡ менән ысын сикле үлсәмле һыҙыҡлы арауыҡ Евклид арауығы тип атала, комплекслы — унитар тип.

Хәҙерге аксиоматик ҡарашта векторҙарҙың скаляр ҡабатландығы төшөнсәһе нигеҙендә түбәндәге сығарылма төшөнсәләр индерелә:

  • Векторҙың оҙонлоғо , был төшөнсә аҫтында ғәҙәттә уның Евклид нормаһын аңлайбыҙ:   ('оҙонлоҡ' термины ғәҙәттә сикле үлсәмле векторҙарға ҡулланыла, әммә кәкере һыҙыҡлы юлдың оҙонлоғон иҫәпләү осрағында йыш ҡына сикһеҙ үлсәмле арауыҡ осрағында ла ҡулланыла).
  • Евклид арауығының (айырым осраҡта, Евклид яҫылығының) нулдән айырмалы векторҙары араһындағы мөйөш тип, косинусы был векторҙарҙың скаляр ҡабатландығының уларҙың оҙонлоҡтарының (нормаларының) ҡабатландығына сағыштырмаһына тигеҙ булған һан атала:  
    Арауыҡ уйланма Евклид арауығы булһа, мөйөш төшөнсәһе векторҙар төҙөгән сектор эсендә изотроп тура һыҙыҡтары булмаған векторҙар өсөн генә билдәләнә. Мөйөш төшөнсәһе үҙе был осраҡта, гиперболик косинусы был векторҙарҙың скаляр ҡабатландығының уларҙың оҙонлоҡтары (нормалары) ҡабатландығына сағыштырмаһына тигеҙ булған һан булараҡ индерелә:  
  • Скаляр ҡабатландыҡтары нулгә тигеҙ булған векторҙар ортогональ (перпендикуляр) векторҙар тип аталалар. Был билдәләмә скаляр ҡабатландыҡ ыңғай билдәләнгән теләһә ниндәй арауыҡҡа ҡулланыла. Мәҫәлән, ортогональ күпбыуындар ниндәйҙер Гильберт арауығында ысынында бер-береһенә ортогональ (был билдәләмә мәғәнәһендә).
  • Скаляр ҡабатландыҡ ыңғай билдәләнгән арауыҡ (ысын йәки комплекслы) Гильберт алды арауығы тип атала.
    • Шуның менән бергә скаляр ҡабатландыҡ ыңғай билдәләнгән сикле үлсәмле арауыҡ шулай уҡ Евклид арауығы тип атала, ә комплекслыһы — Эрмит йәки унитар арауыҡ тип атала.
  • Скаляр ҡабатландыҡтың тамғаһы билдәләнмәгән осраҡта индефинитлы метрикалы арауыҡ тип атала. Бындай арауыҡтарҙа скаляр ҡабатландыҡ норманы килтереп сығармай (һәм ул ғәҙәттә өҫтәлмә индерелә). Сикле үлсәмле индефинитлы метрикалы ысын арауыҡ Уйҙырма Евклид арауығы тип атала (бындай арауыҡтың мөһим айырым осрағы булып Минковский арауығы тора). Сикһеҙ үлсәмле индефинитлы метрикалы арауыҡтар араһында Понтрягин арауығы һәм Крейн арауығы мөһим роль уйнайҙар.

Миҫалдар үҙгәртергә

  •   векторҙарының өс үлсәмле ысын векторлы арауығында скаляр ҡабатландыҡты   формулаһы буйынса индереү был арауыҡты Евклид арауығына әйләндерә. Ошоға оҡшаш раҫлау теләһә ниндәй үлсәмле Евклид арауығы өсөн дөрөҫ (ул саҡта суммаға арауыҡтың үлсәменә тигеҙ булған һанда быуындар инә).
вектоҙарҙы был базис буйынса тарҡатҡанда:
 ,
  һ. б. ш.,
скаляр ҡабатландыҡ түбәндәге формула менән күрһәтелә:
 .
  • Шундай уҡ, ләкин комплекслы, арауыҡта, скаляр ҡабатландыҡ икенсерәк формула буйынса индерелә:  . Бында   аша  -ға комплекслы бәйле һан тамғаланған. Был билдәләмәгә ярашлы скаляр ҡабатландыҡ ыңғай билдәләнгән була. Комплекслы бәйле булмағанда скаляр ҡабатландыҡтың эрмитовлыҡ аксиомаһы боҙолор ине, тимәк, вектор нормаһының уның аша билдәләнгән ысын булыуына өлгәшеп булмаҫ ине, йәғни ғәҙәти мәғәнәлә норма килеп сыҡмаҫ ине.
  • Ниндәйҙер Ω өлкәһендә үлсәнмәле квадраттар менән интеграцияланыусы ысын функциялар арауығында ыңғай билдәләнгән скаляр ҡабатландыҡ билдәләмәһе индерергә мөмкин:
 
  • Комплекслы функциялар өсөн шундай осраҡта, әгәр скаляр ҡабатландыҡтың эрмитовлығы (һәм ыңғай билдәләнгән булыуы) талап ителһә, f-ҡа йәки g-ға интеграл аҫтында комплекслы бәйле өҫтәргә кәрәк.
  • Ортонормалаштырылмаған базистар ҡулланғанда скаляр ҡабатландыҡ векторҙарҙың компоненттары аша метрик тензор   ҡатнашлығында күрһәтелә:
 
был саҡта метрика үҙе (дөрөҫөрәге, уның был базис аша күренеше) базис векторҙарҙың скаляр ҡабатландығы   менән ошолай бәйләнгән:
 
  • Скаляр ҡабатландыҡтың шундай конструкцияларын сикһеҙ үлсәмле арауыҡтарҙа ла индерергә мөмкин, мәҫәлән, функциялар арауыҡтарында:
 
 
бында К — ыңғай билдәләнгән, беренсе осраҡта аргументтарҙың урынын алмаштырыуға ҡарата симметрик (комплекслы x өсөн — эрмитов) функция.

Үҙсәнлектәре үҙгәртергә

  • косинустар теоремаһы скаляр ҡабатландыҡ ҡулланып бик еңел индерелә:
     
  • Векторҙар араһындағы мөйөш:
     
  • Векторҙар араһындағы мөйөшкә баһа:
      формулаһында тамға тик мөйөш косинусы аша билдәләнә (векторҙарҙың нормаһы һәр саҡ ыңғай). Шуға күрә скаляр ҡабатландыҡ > 0, әгәр векторҙар араһындағы мөйөш ҡыҫынҡы булһа, һәм < 0, әгәр векторҙар араһындағы мөйөш йәйенке булһа.
  • Берәмек вектор   менән билдәләнгән йүнәлешкә   векторының проекцияһы:
     , так как  
  •   һәм   векторҙарының ортогоналлек[3] (перпендикуляр булыу) шарты:
 
  • Ике   һәм   векторҙарында төҙөлгән параллелограмм майҙаны
  тигеҙ.

Коши — Буняковский тигеҙһеҙлеге үҙгәртергә

Скаляр ҡабатландыҡлы һыҙыҡлы арауыҡтың теләһә ниндәй   һәм   элементтары өсөн [1] 2009 йыл 27 февраль архивланған.

  тигеҙһеҙлеге үтәлә

Тарихы үҙгәртергә

Скаляр ҡабатландыҡ У. Гамильтон тарафынан 1846 йылда, кватерниондар менән бәйле векторлы ҡабатландыҡ менән бер үк ваҡытта индерелә[4] — ярашлы рәүештә, скаляр өлөшө нулгә тигеҙ булған ике кватернион ҡабатландығының скаляр һәм вектор өлөшө кеүек[5].

Вариациялар һәм дөйөмләштереү үҙгәртергә

Тензорлы алгебрала сикле үлсәмле скаляр ҡабатландыҡтың иң ябай дөйөмләштереүе булып ҡабатланыусы индекстар буйынса төргәк тора. Шундай уҡ дөйөмләштереүҙе сикһеҙ үлсәмле осраҡта ла эшләргә мөмкин (Функцияларҙың сикһеҙ үлсәмле арауыҡтары өсөн — миҫалдарҙы ҡарағыҙ (юғарыла)).

Шулай уҡ ҡарағыҙ үҙгәртергә

Иҫкәрмәләр үҙгәртергә

  1. S. Lipschutz, M. Lipson. Linear Algebra (Schaum’s Outlines). — 4th. — McGraw Hill, 2009. — ISBN 978-0-07-154352-1.
  2. Ортонормированность базиса определяется условием
     
    заключающемся в равенстве нулю скалярных произведений разных базисных векторов, например, первого и второго, первого и третьего, итд (ортогональность), и равенстве единице — скалярного произведения каждого базисного вектора с самим собой (нормированность). Упоминаемые в основном тексте формулы получаются прямым перемножением векторов, разложенных по такому базису, учитывая свойства скалярного произведения, особенно его билинейность, позволяющую раскрывать скобки итп как при вычислениях с обычными числами.
  3. Абстрактлы формулировкала был шарт   — бары тик ортогоналлек билдәләмәһе. Оҡшаш рәүештә, ике формула юғарылағы абстрактлы формулировкала шулай уҡ ярашлы төшөнсәләрҙең бары тик скаляр ҡабатландыҡ аша билдәләмәләре булып торалар, ләкин улар бөтәһе лә конкрет иҫәпләүҙәрҙә уңышлы файҙалана алалар, мәҫәлән, ниндәй билдәләмәләр системаһы ҡулланылған булыуына ҡарамай, хәҙерге абстрактла йәки традицион элементар, элементар геометрияла.
  4. Crowe M. J. A History of Vector Analysis – The Evolution of the Idea of a Vectorial System. — Courier Dover Publications, 1994. — С. 32. — 270 с. — ISBN 0486679101.
  5. Hamilton W. R. On Quaternions; or on a New System of Imaginaries in Algebra // Philosophical Magazine. 3rd Series. — London, 1846. — Т. 29. — С. 30.

Һылтанмалар үҙгәртергә

Ҡалып:Вектора и матрицы