Minkovskiy yig‘indisini va ayirmasini hisoblashga doir ba‘zi qonuniyatlar haqida


Download 373.83 Kb.
Sana30.04.2023
Hajmi373.83 Kb.
#1405926
Bog'liq
9140e35afca9a3ea26d3a41ffa205094 64457717c093b


MINKOVSKIY YIG‘INDISINI VA AYIRMASINI HISOBLASHGA DOIR BA‘ZI QONUNIYATLAR HAQIDA


Kirish

Minkovskiy yig‘indisi va geometrik ayirmasi, H. Minkovskiy [1] tomonidan birinchi marta 1903 yilda kiritilgan bo‘lib, bu klassik tushuncha keyinchalik integral geometriya sohasining muhim elementi sifatida keng o‘rganildi [2],[3]. Ular Minkovskiy operatorlari deb ham yuritiladi. Oxirgi paytlarda kompyuter grafikasi, kompyuterli proeksiyalash, kompyuterli ko‘rish, tasvirlarga ishlov berish, joylashtirish masalalari va robototexnika kabi sohalarda foydalanish maqsadida, Minkovskiy yig‘indisi va geometrik ayirmasini baholash uchun algoritmlar ishlab chiqishga qiziqish ortganligi kuzatilmoqda [4]–[7].

Bizni odatdagi Rn fazodagi vektorlar algebrasi bilan tanishishdagi faoliyatimiz ikki vektorni qo‘shishdan boshlansa, keyinchalik bu faoliyat vektorni yoki biror to‘plamga tegishli vektorlarni boshqa to‘plamga tegishli vektorlarga qo‘shishga yetib boradi. Bunda vektorga to‘plamni qo‘shish degani vektorga to‘plamning har bir elementi, ya’ni vektorini qo‘shib hosil bo‘lgan vektorlar birlashmasi ekanligini intuitiv tushunib yetish muhim.




50

Masalan, R2 fazo - tekislikda A to‘plamni B to‘plamga qo‘shish degani A to‘plamni B to‘plamning har bir elementi ustiga ko‘chirib chiqish va birlashmasini olish, yoki aksincha ekanligini, tushunib yetish kerak. Bu jarayonni hatto ixtiyoriy n o‘lchovli fazoda ham tasavvur qilish qiyinchilik tug‘dirmaydi va ko‘rish mumkinki A va B to‘plamlarning geometrik tabiati ularning koordinata boshiga nisbatan joylashishiga bog‘liq emas.


Endi Minkovskiyning geometrik ayirmasi tushunchasiga kelsak u murakkabroq. A va B to‘plamlarning geometrik ayirmasining ma’nosi ularni ikkinchisini birinchisini ichida tashqariga chiqarib yubormasdan qanday to‘plam ustida surib yurish mumkinligini bildiradi, boshqacha qilib aytganda birinchisi ikkinchisiga nisbatan qanchalik kengligini anglatadi. Bu tushunchani differensial o‘yinlarda qo‘llanishi sababi ham shunda, ya’ni bu yerda geometrik ayirma quvuvchi tomonning imkoniyatlari qochuvchi tomon imkoniyatlaridan qanchalik kattaligini bildiradi. Biz quyida ularga batafsil to‘xtalamiz.


Masalaning qo‘yilishi va yordamchi lemmalar


Aytib o‘tilganidek, Minkovskiy yig‘indisi va ayirmasi va ularni hisoblashning algoritmlari amaliy matematikaning hisoblash matematikasi, sonli dasturiy boshqaruv tizimlari, robotlar harakatlarini rejalashtirish, optimal boshqaruv nazariyasi kabi turli bo‘limlarida keng qo‘llaniladi [8]–[11]. Minkovskiy operatori bizga ma’lum bo‘lishicha, birinchi marta L.S.Pontryaginning [12]–[15] ishlarida differensial o‘yinlarni o‘rganishga qo‘llanilgan. Ushbu ishda Minkovskiy operatorining turli xossalari hamda ularning differensial o‘yinlarda alternativ natijalar olishga tatbig‘i ko‘riladi [16],[17].


1-ta’rif. E chiziqli fazoda bo‘sh bo‘lmagan X; Y E to‘plamlar berilgan bo‘lsin. Xva Y to‘plamlarning


Minkovskiy yig‘indisi va geometrik ayirmasi deb mos ravishda quyidagi to‘plamlarga aytiladi:



X+Y =




x + y : x




X; y




Y




;

X Y =




z




E : z + Y




X

:

(1)







f




2




2




g













f




2







g











































2-ta’rif. X to‘plamni songa ko‘paytirish deb quyidagi to‘plamga aytiladi:





X = f x : x 2 Xg:

(2)

3-ta’rif. Ixtiyoriy a 2 E vektor va bo‘sh bo‘lmagan X E to‘plamning Minkovskiy yig‘indisi deganda





a + X = fa + x : x 2 Xg

(3)

to‘plamni tushinamiz.


X Y - Minkovskiyning geometrik ayirmasi bu X to‘plamning d 2 Y vektorga ko‘chishlari kesishmasi ekanligi bevosita ta’rifdan kelib chiqadi, ya’ni


\
X Y = (X + d): (4)

d2 Y

4-ta’rif. X to‘plamning barcha chegaraviy nuqtalar to‘plami uning chegarasi deyiladi va @X ko‘rinishida belgilanadi.
5-ta’rif. E fazoda berilgan X to‘plamning to‘ldiruvchisi Xc deb quyidagi to‘plamga aytiladi



Xc = fx 2 E; x 2= Xg :

(5)

To‘g‘ri chiziqda va tekislikda berilgan ixtiyoriy bo‘sh bo‘lmagan to‘plamlarning Minkovskiy yig‘indisi va geometrik ayirmasini topishning qonuniyatlarini keltiramiz.


1-lemma. R to‘g‘ri chiziqda berilgan X = (a; b) va Y = (a1; b1) intervallarning Minkovskiy yig‘indisi X + Y = (a + a1; b + b1) intervalga teng bo‘ladi.


Isbot. Minkovskiy yig‘indisining aniqlanishiga ko‘ra (a; b) va (a1; b1) intervallarning Minkovskiy yig‘indisi (a; b) intervalning har bir nuqtasiga (a1; b1) intervalning har bir nuqtasini qo‘shish natijasida hosil bo‘ladigan to‘plamdir. Ixtiyoriy x 2 X ya’ni a < x < b nuqtani barcha y 2 Y ya’ni a1 < y < a2 nuqtalarga qoҪshib chiqamiz. U holda tengsizlik xossasiga ko‘ra a + a1 < x + y < b + b1 munosabat o‘rinli bo‘ladi. x va y lar mos ravishda X va Y to‘plamlarning ixtiyoriy elementlari bo‘lganligidan X + Y = (a + a1; b + b1) kelib chiqadi. 2


Xuddi shunday tarzda R to‘g‘ri chiziqda berilgan quyidagi ko‘rinishdagi to‘plamalarning Minkovskiy yig‘indisini topish mumkin:


[a; b] + [a1; b1] = [a + a1; b + b1];

[a; b] + (a1; b1) = (a + a1; b + b1);


Mamatov M. Sh. , Nuritdinov J. T. Minkovskiy yig‘indisini va ayirmasini hisoblashga 51


[a; b) + (a1; b1] = (a + a1; b + b1);


fag + (a1; b1) = (a + a1; a + b1):


Misol: X = ( 1; 2); Y = (3; 4) bo‘lsa, X + Y = (2; 6) bo‘ladi (1-chizma).


2-lemma. R to‘g‘ri chiziqda berilgan X = (a; b) va Y = (a1; b1) intervallarning Minkovskiy ayirmasi uchun quyidagi munosabat o‘rinli bo‘ladi



X Y =

8

fa

a1g

agar a

a1

= b













<

[a

a1; b

b1] agar a

a1

< b













?




agar a

a1

> b




























:



















b1 bo‘lsa;
b1 bo‘lsa; (6)
b1 bo‘lsa:

Isbot. Minkovskiy ayirmasining aniqlanishiga ko‘ra har qanday z 2 X Y uchun z+Y X bo‘ladi. z+Y X munosabatdagi to‘plamlarni mos intervallar bilan almashtiraylik, ya’ni z + (a1; b1) (a; b). 1-lemmaga ko‘ra

(z + a1; z + b1) (a; b) bundan esa z + a1 a;

z + b1 b va a a1 z b

b1 kelib chiqadi.







Agar a

a1 < b

b1 bo‘lsa a

a1 z b

b1 munosabat o‘rinli, agar a

a1 = b b1 bo‘lsa z = a

a1




bo‘lishini ko‘rish qiyin emas.










b b1 tengsizlikka ziddiyat










Agar a

a1 > b

b1 bo‘lsa a







a1 z

hosil bo‘ladi va bu ziddiyatni




qanoatlantiruvchi birorta ham z 2 X




Y element topilmaydi, ya’ni X




Y = ? bo‘ladi.

2




Xuddi shunday tarzda R to‘g‘ri chiziqda berilgan quyidagi ko‘rinishdagi to‘plamalarning Minkovskiy ayirmasini topish mumkin:

























[a; b]




[a1; b1] = [a a1; b b1];




















































[a; b]




(a1; b1) = [a a1; b b1];

















































(a; b)




[a1; b1] = (a a1; b b1);

























bu formulalardagi Minkovskiy ayirmalari a a1 < b

b1 hol uchun hisoblangan.






















Misol: X = ( 1; 2); Y = (3; 4) bo‘lsa X




Y = [

4;

2] bo‘ladi (2-chizma).
















































































































3-lemma. R2 tekislikda berilgan markazlari

a1




va




a2 nuqtalarda hamda r1; r2 raduisli X; Y yopiq

















































b1










b2















































































a1

+ a2


































(ochiq) doiralarning Minkovskiy yig‘indisi markazi










nuqtada bo‘lgan r1 + r2

raduisli yopiq (ochiq)







b1

+ b2







doiraga teng bo‘ladi.





























































































































































Isbot. Lemma shartiga ko‘ra




























r12 (X =

y1

























< r12 )




X =

y1




: (x1

a1)

2

+ (y1

b1)

2

: (x1

a1)

2

+ (y1

b1)

2







x1








































x1

























va

y2




: (x2

a2)




+ (y2

b2)







r22 (Y =y2




: (x2

a2)







+ (y2

b2) < r22 )




Y =

2

2

2







x2














































x2













2










Bulletin of the Institute of Mathematics, 2020, №3, ISSN-2181-9483

52






















x1

2

X ni barcha

x2




2 Y




doiralar berilgan. Minkovskiy yig‘indisining aniqlanishiga ko‘ra har bir y1

y2




nuqtalarga qo‘shishimiz kerak. a1 r1 x1 a1 +r1(a1 r1 < x1 < a1 +r1) va a2




r2 x2 a2 +r2(a2




r2 <




x2 < a2 + r2) ekanligidan 1-lemmaga ko‘ra































a1 + a2




r1

r2 x1 + x2 a1 + a2 + r1 + r2






















a1 + a2




r1

r2 < x1 + x2 < a1 + a2 + r1 + r2)



















munosabat bajariladi (3-chizma). Xuddi shu kabi




























b1 + b2

r1

r2 y1 + y2 b1 + b2 + r1 + r2






















(b1 + b2

r1

r2 < y1 + y2 < b1 + b2 + r1 + r2)


























































bo‘ladi. Bu esa har qanday

x1 + x2




nuqtani

























y1 + y2



































































(x1 + x2

a1




a2)2 + (y1 + y2

b1

b2)2 (r1 + r2)2
















((x1 + x2

a1




a2)2 + (y1 + y2

b1

b2)2 < (r1 + r2)2)













shartni qanoatlantirishini anglatadi. Demak,



X+Y =

y1

+ y2

: (x1 + x2







x1

+ x2

: (x1 + x2




(X+Y =

y1

+ y2







x1

+ x2







ekan. Lemma isbotlandi.


3-lemmadan quyidagi natija kelib chiqadi:



a1

a2)2 + (y1 + y2

b1

b2)2 (r1 + r2)2

a1

a2)2 + (y1 + y2

b1

b2)2 < (r1 + r2)2 )

2

1-natija. R2 tekislikda berilgan markazlari koordinata boshida hamda r1; r2 raduisli X; Y yopiq(ochiq) doiralarning Minkovskiy yig‘indisi markazi koordinata boshida bo‘lgan r1 + r2 raduisli yopiq(ochiq) doiraga teng bo‘ladi.(4-chizma)

4-chizmaga e’tibor beradigan bo‘lsak va doiralarning yig‘indisi deb, chegarasi doiraning chegarasi bo‘ylab doiraning markazini ko‘chirish natijasida hosil bo‘luvchi doira ekanligiga ishonch hosil qilamiz (5-chizma). Xuddi shu usulda har qanday shakldagi to‘plamlarni yig‘indisini topish mumkin.



4-lemma. R2

tekislikda berilgan

markazlari

a1

va

a2

nuqtalarda hamda r1

>

r2

shartni
















b1










b2



















qanoatlantiruvchi r1; r2

raduisli X; Y

yopiq doiralarning

X




Y

Minkovskiy ayirmasi markazi

a1

a2




b1

b2




nuqtada bo‘lgan r1

r2

raduisli yopiq doiraga teng bo‘ladi.































Mamatov M. Sh. , Nuritdinov J. T. Minkovskiy yig‘indisini va ayirmasini hisoblashga 53



Isbot. Lemma shartiga ko‘ra







y1

: (x1






















r12








































X =

a1)

2

+ (y1

b1)

2


























































x1


























































va













Y =

y2

: (x2

a2)




+ (y2

b2)




r22








































2

2


























































x2
























































































x3

























x3




























x1










doiralar berilgan bo‘lsin. Aytaylik

y3




2 X




Y desak

y3

+ Y X bo‘ladi. Barcha

y1




2 X




lar uchun a1 r1

x1

a1 + r1







, b1




r1 y1

b1 + r1 munosabatlar o‘rinli bo‘ladi. Bulardan x1 2




[a1 r1; a1 + r1];

y1 2 [b1

r1; b1 + r1] ekanligi kelib chiqadi(6-chizma). Xuddi shu kabi har bir y2




2 Y



























































































x2










lar uchun x2 2 [a2

r2; a2 + r2]; y2 2 [b2




r2; b2 + r2] munosabatlar o‘rinli bo‘ladi. 2-lemmaga ko‘ra










x3 2 [a1

r1; a1 + r1]




[a2

r2; a2 + r2] = [a1

a2

(r1

r2); a1




a2 + (r1

r2)]







(7)




y3 2 [b1

r1; b1 + r1]




[b2

r2; b2 + r2] = [b1

b2

(r1




r2); b1

b2 + (r1

r2)]







(8)




Bundan

X Y =

y3







: (x3

(a1 a2))




+ (y3

(b1




b2))




(r1

r2)













(9)













2




2




























x3


























































2
















bo‘lishi kelib chiqadi. Lemma isbotlandi.





























































2




Agar 4-lemma shartidagi doiralar ochiq bo‘lsa ham Minkovskiy ayirmasi natijasida baribir yopiq doira hosil



bo‘ladi. Chunki 2-lemmaga ko‘ra 7 va 8 tengliklar quyidagi











































x3 2 (a1

r1; a1 + r1)




(a2

r2; a2 + r2) = [a1

a2

(r1

r2); a1

a2 + (r1

r2)];



















y3 2 (b1

r1; b1 + r1)




(b2

r2; b2 + r2) = [b1

b2

(r1

r2); b1

b2 + (r1

r2)];













ko‘rinishda bo‘ladi. Bu esa 9 ifodaning o‘zgarmasligini ko‘rsatadi.







Y Minkovskiy ayirma bitta













Agar 4-lemmadagi doiralar radiuslari teng ya‘ni r1 = r2 bo‘lsa X




a1

a2




b1

b2




nuqtadan iborat bo‘ladi. Haqiqatan ham 2-lemmaga ko‘ra 7 va 8 ifodalar quyidagicha bo‘ladi:






















x3 2 (a1

r1; a1 + r1)




(a2

r2; a2 + r2) = fa1

a2g;

























y3 2 (b1

r1; b1 + r1)




(b2

r2; b2 + r2) = fb1

b2g;

























a1

a2























































Bu esa X




Y =b1

b2ekanligini anglatadi.








































4-lemmadan quyidagi natija kelib chiqadi:

Bulletin of the Institute of Mathematics, 2020, №3, ISSN-2181-9483

54

Mamatov M. Sh. , Nuritdinov J. T. Minkovskiy yig‘indisini va ayirmasini hisoblashga 55


2-natija. R2 tekislikda berilgan markazlari koordinata boshida hamda r1 > r2 shartni qanoatlantiruvchi r1; r2 raduisli X; Y yopiq yoki ochiq doiralarning X Y Minkovskiy ayirmasi markazi koordinata boshida bo‘lgan r1 r2 raduisli yopiq doiraga teng bo‘ladi (7-chizma).


7-chizmaga e’tibor beradigan bo‘lsak X Y doiraning chegarasi Y doira ichkarisidan chegarasiga X doira chegarasini urintirib siljitishlardagi X doira markazlari to’plami ekanligiga ishonch hosil qilamiz (8-chizma).


Berilgan to‘plamlarning Minkovskiy yig‘indisi va ayirmasining ochiq yoki yopiq to‘plam ekanligini bilish muhim ahamiyat kasb etadi. Shuning uchun quyidagi lemma va teoremalarni keltiramiz.


5-lemma. E vektor fazoda berilgan bo‘sh bo‘lmagan X va Y to‘plamlar uchun (X \Y ) = X \ Y tenglik o‘rinli.


Isbot. Aytaylik a 2 (X \ Y ) bo‘lsin. U holda to‘plamni songa ko‘paytirish amalining aniqlanishiga ko‘ra shunday t 2 X \Y topiladiki a = t o‘rinli bo‘ladi. t 2 X \Y bo‘lganidan t 2 Xva t 2 Y ega bo‘lamiz. Bulardan t 2 X va t 2 Y ifodalar kelib chiqadi. Bu esa t 2 X \ Y ekanligini anglatadi. Har qanday a 2 X \ Y ni (X \ Y ) to‘plamga tegishli ekanligini ham xuddi shu yo‘l bilan ko‘rsatish mumkin. Lemma isbotlandi. 2 6-lemma. E vektor fazoda berilgan bo‘sh bo‘lmagan X to‘plam va son uchun @X = @( X) tenglik


o‘rinli. Bu yerda @X - X to‘plamning chegarasi.


Isbot. Aytaylik a 2 @X bo‘lsin, u holda shunday x0 2 @X topiladiki a = x0 bo‘ladi. x0 2 @X degani x0 ning har qanday Br(x0) = fx : kx0 xk < r; r 2 Rg atrofi uchun


Br(x0) \ X 6= ?;


Br(x0) \ Xc 6= ?;


bo‘ladi. Bu ifodalarni ikkala tomonini ga ko‘paytiramiz va 5-lemmaga ko‘ra quyidagi natijani olamiz:


B r( x0) \ X 6= ?;


B r( x0) \ ( X)c 6= ?:


Bu esa a = x0 2 @( X) ekanligini anglatadi. Har qanday a 2 @( X) ni @X to‘plamga tegishli ekanligini xuddi



shunday usul bilan ko‘rsatiladi. Lemma isbotlandi.

2

7-lemma. E vektor fazoda berilgan bo‘sh bo‘lmagan A; B; C va D to‘plamlar uchun (A \ B) + (C \ D) (A + C) \ (B + D) munosabat o‘rinli.

Isbot. Aytaylik x 2 (A \B) + (C \D) bo‘lsin, u holda Minkovskiy yig‘indisining aniqlanishiga ko‘ra x = t + k tenglikni qanoatlantiruvchi t 2 A \ B va k 2 C \ D lar topiladi. Bu esa t 2 A; t 2 B; k 2 C; k 2 D ekanligini anglatadi. Bundan t + k 2 A + C va t + k 2 B + D kelib chiqadi. Demak x = t + k 2 (A + C) \ (B + D) ekan.


Endi har qanday x 2 (A + C) \ (B + D) ni (A \ B) + (C \ D) to‘plamga tegishli bo‘lavermasligini quyidagi misol yordamida izohlaymiz:


A = [1; 2]; B = [3; 4]; C = [7; 8]; D = [5; 6] bo‘lsa, u holda (A \ B) + (C \ D) = ?, (A + C) \ (B + D) =



[8; 10] \ [8; 10] = [8; 10] bo‘ladi. Demak, (A \ B) + (C \ D) (A + C) \ (B + D):

2

Asosiy teoremalar


Yuqorida keltirilgan lemmalar va natijalar yordamida quyidagi teoremalarni isbotlash mumkin.


1-teorema. Agar X to‘plam ochiq(yopiq) to‘plam bo‘lsa, u holda X to‘plam ham ochiq(yopiq) to‘plam bo‘ladi.


Isbot. Aytaylik X ochiq to‘plam bo‘lsin. U holda barcha x0 2 Xlar uchun uning doimo shunday Br(x0) = fx : kx0 xk < rg atrofi topiladiki, Br(x0) X bo‘ladi. Bu munosabatning ikkala qismini songa ko‘paytiramiz, natijada B r( x0) X munosabat hosil bo‘ladi. Bu yerda B r( x0) = fx0 : k x0 x0k < rg. Bu esa X to‘plamning har bir nuqtasi uning ichki nuqtasi ekanligini anglatadi, demak X ochiq to‘plam ekan.


Endi, X yopiq to‘plam bo‘lsin. Yopiq to‘plam ta’rifidan barcha x0 2 X larning ixtiyoriy Br(x0) = fx :
kx0 xk < rg atrofi uchun doimo Br(x0) \ X =6 ? munosabat o‘rinli bo‘ladi. Bu munosabatning ikkala qismini
songa ko‘paytiramiz va 5-lemmaga ko‘ra B r( x0)\ X 6= ? munosabat kelib chiqadi. Bu esa X to‘plamning

har bir nuqtasi uning urinish nuqtasi ekanligini anglatadi, demak X yopiq to‘plam ekan.

2

2-teorema. E chiziqli fazoda berilgan bo‘sh bo‘lmagan ochiq X va Y to‘plamlarning kamida biri ochiq to‘plam bo‘lsa u holda X + Y to‘plam ham ochiq to‘plam aks holda yopiq to‘plam bo‘ladi.

Isbot. Teorema shartiga ko‘ra berilgan to‘plamlar bittasi ochiq to‘plam bo‘lishi kerak, aytaylik X to‘plam ochiq to‘plam bo‘lsin. U holda ochiq to‘plamlar ta’rifidan har qanday x0 2 X lar uchun uning doimo shunday



Bulletin of the Institute of Mathematics, 2020, №3, ISSN-2181-9483

56

Br(x0) = fx : kx0 xk < r g atrofi topiladiki, Br(x0) X bo‘ladi. Minkovskiy yig‘indisi amalining xossasiga ko‘ra quyidagi munosabatni yoza olamiz.





Br(x0) + y0 X + Y

(10)

bu yerda y0 vektor Y toҪplamning ixtiyoriy elementi.
10 munosabatdagi Br(x0) = fx : kx0 xk < rg atrof markazi x0nuqtada bo‘lgan r radiusli shar ekanligini

bilgan holda va Minkovskiy yig‘indisining aniqlanishiga ko‘ra




Br(x0) + y0 = Br(x0 + y0)

(11)

tenglik kelib chiqadi. Bu yerda Br(x0 + y0) = fz : k(x0 + y0) zk < rg to‘plam markazi (x0 + y0) nuqtada bo‘lgan r radiusli shar.


11 tenglikni 10 munosabatga qo‘ysak Br(x0 + y0) X + Y munosabat kelib chiqadi. Demak, X + Y ochiq to‘plam ekan.Teoremaning birinchi qismi isbotlandi.


Teoremaning ikkinchi qismini isbotlaylik, ya’ni berilgan X; Y to‘plamlarning ikkalasi ham yopiq to‘plam bo‘lsin. Yopiq to‘plam ta’rifiga ko‘ra barcha x0 2 X va y0 2 Y larning har qanday Br1 (x0) = fx : kx0 xk < r2g



va Br2 (y0) = fy : ky0 yk < r2g atroflari uchun Br1 (x0)\X 6= ?; Br2 (y0)\Y

6= ? munosabatlar o‘rinli bo‘ladi.

Bulardan (Br1 (x0) \ X) + (Br2 (y0) \ Y ) 6= ? kelib chiqadi. 7-lemmaga ko‘ra







(Br1 (x0) \ X) + (Br2 (y0) \ Y ) (Br1 (x0) + Br2 (y0)) \ (X + Y ) 6= ?

(12)

munosabatni yoza olamiz. Minkovskiy yig‘indisiga ko‘ra Br1 (x0) + Br2 (y0) = Br1+r2 (x0 + y0) tenglik o‘rinli u holda 12 munosabat Br1+r2 (x0 + y0) \ (X + Y ) 6= ? ko‘rinishda boҪladi. r1; r2 lar ixtiyoriy bo‘lganligi uchun r1 + r2 = r deb belgilasak umumiylikka zarar yetmaydi va Br(x0 + y0) \ (X + Y ) 6= ? ga ega bo‘lamiz. Bu esa



X + Y to‘plamni yopiq ekanligini anglatadi. Teorema to‘liq isbotlandi.

2

3-teorama. E chiziqli fazoda berilgan bo‘sh bo‘lmagan X ochiq va Y yopiq to‘plamlarning Minkovskiy ayirmasi X Y ochiq toҪplam bo‘ladi. X va Y ning qolgan hollarida bu ayirma yopiq to‘plam bo‘ladi.
Isbot. Faraz qilaylik X Y to‘plam yopiq to‘plam bo‘lsin. U holda (X Y ) to‘plam ochiq to‘plam bo‘ladi. (X Y ) = Y + Xc xossaga ko‘ra Y + Xc to‘plam ham ochiq bo‘lishi kerak. Lekin teorema shartiga ko‘ra X ochiq va Y yopiq to‘plamlar bo‘lgani uchun Xc to‘plam yopiq, 1-teoremaga ko‘ra Y to‘plam ham yopiqdir. U holda 2-teoremaga ko‘ra Y + Xc toplam yopiq bo‘ladi. Bu esa (X Y ) to‘plamning esa yopiq ekanligini anglatadi, ziddiyatga kelib qoldik. Demak, farazimiz noto‘g‘ri ekan, X Y ochiq to‘plamdir.
Endi qolgan hollarni qarab chiqaylik. Aytaylik X ham Y ham ochiq to‘plamlar bo‘lsin, u holda Xc yopiq,

  • esa ochiq bundan Y + Xc to‘plam ochiq bo‘ladi. Demak, X Y yopiqdir.

Aytaylik X ham Y ham yopiq to‘plamlar bo‘lsin, u holda Xc ochiq, Y esa yopiq, bundan Y + Xc to‘plam

ochiq bo‘ladi. Demak, X




Y yopiqdir.




Vanihoyat aytaylik X yopiq, Y ochiq to‘plamlar bo‘lsin, u holda Xc ochiq, Y ham ochiq bundan

Y + Xc

to‘plam ochiq bo‘ladi. Demak, X




Y yopiqdir. Teorema isbotlandi.

2

Olingan natijalar muhokamasi


Bizga bu bandda keyingi muloxazalarimizni yuritish uchun zarur tushunchalarni kiritib olamiz.


6-ta’rif. E chiziqli fazoda berilgan A to‘plamni radiusi R > 0 ga teng markazlari turlicha bo‘lgan bir qancha yopiq sharlar kesishmasi ko‘rinishida tasvirlab bo‘lsa, u holda A to‘plam R > 0 o‘zgarmasli kuchli qavariq deyiladi.


Ta’rifga ko‘ra A to‘plam R > 0 o‘zgarmasli kuchli qavariq bo‘ladi, agar uni quyidagi ko‘rinishda tasvirlash mumkin bo‘lsa


\
A = BR(x);

x2X

bu yerda X- radiusi R > 0 bo‘lgan sharlar markazlari to‘plami, BR(x)- markazi x nuqtada bo‘lgan yopiq shar.
R o‘zgarmasli kuchli qavariq to‘plam ta’rifini Minkovskiy ayirmasi yordamida ham bersa bo‘ladi.

7-ta’rif. AgarA E to‘plam uchun BR A 6= ? va BR (BR A) = A shartlar bajarilsa, u holda A to‘plam R > 0 o‘zgarmasli kuchli qavariq deyiladi.


Endi yuqoridagi faktlarni differensial o‘yinlarga tatbig‘ini ko‘raylik. Rn fazoda quyidagi differensial o‘yinni

qaraymiz













dx




= Ax + Bu(t) + C (t)

(13)







dt
















Mamatov M. Sh. , Nuritdinov J. T. Minkovskiy yig‘indisini va ayirmasini hisoblashga 57


bu yerda t 2 [0; T ];x(t) 2 Rn; x(t) - fazoviy vektor, u(t) - quvuvchi o‘yinchi boshqaruvi u(t) 2 P;v(t) - qochuvchi o‘yinchi boshqaruvi v(t) 2 Q. P Rp; Q Rq lar berilgan qavariq kompakt to‘plamlar, A; B; C lar moc ravishda n n; n p; n q o‘lchovli matrisalar. Differensial o‘yinning x(0) = x0 boshlang‘ich holati,



  • Rm; m n terminal to‘plam va : Rn ! Rm matritsa berilgan.

13 tenglama trayektoriyasiga ikkala quvuvchi o‘yinchi ham, qochuvchi o‘yinchi ham ta’sir ko‘rsatadi. Quvuvchi o‘zining u boshqaruv parametri, qochuvchi esa o‘zining boshqaruv parametrlarini tanlash orqali trayektoriyaga ta’sir qiladi. Quvuvchi o‘yinchining maqsadi x ya’ni 13 tenglama trayektoriyasi proeksiyasini oxirgi T vaqtda M to‘plamga tushurish, boshqacha qilib aytganda





x(T ) 2 M

(14)

tegishlilik bajarilishini ta’minlash. Qochuvchi o‘yinchi umuman olganda unga xalaqit berishga intiladi. Ya’ni qochuvchi



x(T ) 2= M


munosabat bajarilishini ta’minlashga harakat qiladi. 13-15 larda o‘zgaruvchilarni almashtirib


z(t) = e(T t)Ax(t)


berilgan 13 tenglamani quyidagi sodda dinamikali sistemaga keltiramiz




















dz




~

~



















dt

= B (t) u + C (t) ;




~

(T t)A

B ;

~

(T t)A

C:







bu yerda B (t) = e




C

(t) = e










O‘zgaruvchilarni 16 almashtirish bajarish natijasida 14 tegishlilik quyidagi ko‘rinishni oladi

z(T ) 2 M:


Huddi shuningdek 15 munosabat quyidagi ko‘rinishni oladi


z(T ) 2= M:


(15)
(16)


(17)

(18)

(19)




Agar o‘yin davomida z(T ) 2 M shart bajarilsa, u holda quvuvchi qochuvchini tutib oladi deyiladi. Aksincha



bo‘lsa qochuvchi quvuvchuidan qochib ketadi deyiladi.

~






















t




[0; T ] larda u~(t)

























8-ta’rif. Deyarli barcha

2

2

P (t) = B (t) u (t) shartni qanoatlantiruvchi, Lebeg ma’nosida










m




























integrallanuvchi barcha u~ : [0; T ] ! R




funksiyalardan tashkil topgan, quvuvchi o‘yinchining qo‘llashi mumkin




bo‘lgan strategiyalar to‘plamini U orqali belgilaymiz. Deyarli barcha t 2

[0; T ] larda

~(t)

2

~




Q(t) = C (t) (t) ;




m










shartni qanoatlantiruvchi, Lebeg ma’nosida integrallanuvchi barcha ~ :

[0;T] ! R




funksiyalardan tashkil




topgan, qochuvchi o‘yinchining qo‘llashi mumkin bo‘lgan strategiyalar to‘plamini V orqali belgilaymiz. 9-ta’rif. Aytaylik u~ 2 U;~ 2 V; z0 2 Rm berilgan bo‘lsin. Fazoviy vektorning T vaqt momentidagi,

o‘yinchilarning berilgan u;~ ~ boshqaruvlari va fazoviy vektorning z0 boshlang‘ich holati orqali ifodasini zT (~u; ~) orqali belgilaymiz



T

T







zT (~u; ~) = z0 + Z0

u~(t)dt + Z0

~(t)dt:

(20)

10-ta’rif. [a; b] kesmada qiymatlari X(t) 2 Rm to‘plamlardan iborat X ko‘pqiymatli akslantirish berilgan

b

b

R

R

bo‘lsin. Auman integrali deb,

x(t)dt ko‘rinishdagi vektorlar to‘plamiga aytiladi va X(t)dt kabi belgilanadi.

a

a

Bu yerda x - Lebeg ma’nosida integrallanuvchi, [a; b] kesmaning deyarli barcha nuqtasida x(t) 2 X(t) shartni qanoatlantiruvchi funksiya.
4-teorema. Aytaylik 17 differensial o‘yinda M terminal to‘plam yopiq va 1=R oҪzgarmasli moddiy-

T T
R R


silliq(телесно-гладкий)bo‘lsin (R > 0). P0 = P (t)dt va Q0 = Q(t)dt ko‘rinishdagi Auman integrallari
0 0



  • 2 (0; R) o‘zgarmasli kuchli qavariq to‘plamlar bo‘lsa, u holda har qanday z0 2 Rm vektor uchun quyidagilardan faqat birigina bajariladi:




    1. qochuvchi o‘yinchining har qanday ~ 2 V strategiyasida ham, quvuvchi o‘yinchi shunday u~ 2 U strategiya qura oladiki, natijada quvuvchi qochuvchini tutib oladi: zT (~u; ~) 2 M

Bulletin of the Institute of Mathematics, 2020, №3, ISSN-2181-9483

58

2)quvuvchi o‘yinchining har qanday strategiyasida ham, qochuvchi o‘yinchi shunday ~ 2 V strategiya qura oladiki, natijada qochuvchi quvuvchidan qochib ketadi: zT (~u; ~) 2= M: Chunonchi, agar z0 2 M Q0 + P0 bo‘lsa 1) shart bajariladi, aks holda 2) shart bajariladi.


Isbot. z0 2 M Q0 + P0 bo‘lgan holni qaraymiz. Bu holda z0 2 M Q0 + u~0 munosabat bajariluvchi u~0 2 P0 vektor topiladi. Bundan z0 u~0 + Q0 M ni yoza olamiz. Bu esa har qanday ~0 2 Q0 vektorlar uchun z0 u~0 + ~0 M munosabat o‘rinli ekanligini anglatadi. Bundan 20 va Auman integralining ta’rifidan har qanday ~ 2 V strategiya uchun, tutish sodir bo‘luvchi shunday u~ 2 U strategiya mavjud ekanligi kelib chiqadi
































T




T

























zT (~u; ~) = z0 + Z0

u~(t)dt + Z0

~(t)dt 2 M:







Teskari holini ko‘raylik:

z




= M Q




+ P




. Tushunarliki

M

to‘plam

R

o‘zgarmasli kuchsiz qavariq,

int M







0

2







0




0





































to‘plam esa R o‘zgarmasli kuchsiz qavariq va cl int M = clM bo‘ladi. Bu esa M Q0 + P0 = M + P0 Q0 tenglik

bajarilishini ko‘rsatadi. Bu tenglikdan

z

=M+P




Q




munosabat kelib chiqadi. Bundan

z




+ Q

=M+P










0 2

0







0




0




0 2

0






















bo‘ladi. Bu esa har qanday u~0 2 P0 vektor uchun z0 + ~0

u~0 2= M munosabat o‘rinli bo‘luvchi shunday ~0 2 Q0




vektor mavjud ekanligini anglatadi. Boshqacha aytganda har qanday u~ 2 U strategiya uchun, qochish amalga

oshuvchi ~ 2 V strategiya topiladi: zT (~u; ~) 2= M.

2

Xulosa

Maqolada Minkovskiy yig‘indisi va geometrik ayirmasini hisoblashdagi o‘ziga hos murakkabchiliklarni yengib o‘tish yo‘llari bayon qilingan. Bu yerda ko‘rilgan misollar aslida tekislikdagi to‘plamlar uchun bayon qilingan. Ularni uch o‘lchovli fazoda hisoblash yetarli darajada murakkab va ko‘p hollarda xatoliklarga yo‘l qoyiladi, hatto to‘rt o‘lchovli ko‘pyoqliklarda bu holatlar o‘rganilmagan. Lekin Minkovskiy yig‘indisi va geometrik ayirmasini uch o‘lchovli fazoda taqribiy hisblash nisbatan tez va oson kechishi mumkin. Shunga qaramasdan ushbu masalalarni umumiy hollarda hal qilish dolzarbligicha qolmoqda.

Minkovskiy yig‘indisi va geometrik ayirmasi differensial o‘yinlarda o‘yinni tugatish uchun yetarli shartlar olishda qo‘llanilgan [12]–[15]. Geometrik ayirmani hisoblash esa asosan misоllarda yetarli shartlarni o‘rinli ekanligini aniqlashda kerak bo‘lgan[16],[17]. Bugungi kunda differensial o‘yinlar yordamida amaliy masalalarni hal qilishda Minkovskiy yig‘indisi va geometrik ayirmasini taqribiy hisoblash muhim o‘rin tutmoqda. Shu bilan birga nazariy tadqiqotlarda geometrik ayirmani quyidan va yuqoridan baholash ham o‘ta muhim masalalardan biridir.


Adabiyotlar





  1. Minkowski H. Verhandlungen des III internationalen Mathematiker-Kongresses in Heidelberg. Berlin, 1904, 164-173.




  1. Matheron G. Random Sets and Integral Geometry. Wiley, New York, 1976.




  1. Hadwiger H. Vorlesungen uber Inhalt Oberflache und. Isoperimetrie. Springer, Berlin, 1957.




  1. Ghosh P. K. A mathematical model for shape description using Minkowski operators. Comput. Vision, Graphics, Image Process. 44, 1988, 239-269.




  1. Kaul A. Computing Minkowski sums. PhD Thesis, Columbia University, 1993.




  1. Kaul A., Rossignac J. R. Solid interpolating deformations: Construction and animation of PIP. Computers and Graphics, 16, 1992, 107-115.




  1. Lozano-Perez T., Wesley M. A. An algorithm for planning collision-free paths among polyhedral obstacles. Comm. ACM, 22, 1979, 560-570.




  1. Половинкин Е. С., Балашов М. В. Элементы выпуклого и сильно выпуклого анализа. М.: 2-е изд., Физматлит, 2007.




  1. Wein R. Exact and efficient construction of planar Minkowski sums using the convolution method. Proc. 14th European Symposium on Algorithms (ESA), 4186, 2006, 829-840.

Mamatov M. Sh. , Nuritdinov J. T. Minkovskiy yig‘indisini va ayirmasini hisoblashga 59





  1. Ramkumar G. D. An algorithm to compute the Minkowski sum outer-face of two simple polygons. In: Proc. 12th Sympos. Comput. Geom., 1996, 234-241.




  1. Kaul A., O’Connor M. A., Srinivasan V. Computing Minkowski sums of regular polygons. In: Proc. 3rd Canad. Conf. Comput. Geom., 1991, 74-77




  1. Понтрягин Л. С. О линейных дифференциальных играх I. ДАН СССР., 174(6), 1967, 1278-1280.




  1. Понтрягин Л. С. О линейных дифференциальных играх II. ДАН СССР., 175(4),1967, 764-766.




  1. Понтрягин Л. С. Линейные дифференциальные игры преследования. Мат. сборник., 112(3), 1980, 307-330.




  1. Понтрягин Л. С. Линейная дифференциальная игра убегания. Труды МИАН СССР., 112, 1971, 30-63.




  1. Сатимов Н. Ю. К задаче преследования в линейных дифференциальных играх. Дифференц. уравне-ния., 9(11), 1973, 2000-2009.




  1. Иванов Г. Е. Слабо выпуклые множества и их свойства. Матем. заметки. 7(9), 2006, 60-86.

Olindi: 11/04/2020


Qabul qilindi: 28/07/2020
Download 373.83 Kb.

Do'stlaringiz bilan baham:




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling