CRITICAL BOOK REVIEW

MK.ALJABAR LINEAR

PRODI S1 PTE F-T

SKOR NILAI:

LINEAR ALGEBRA
(Hassan Abid Yaser)

NAMA MAHASISWA : Muhamad Sulaiman

(5191131003)
Agung Manalu (5193331010)
Muhamad Ryanda Syahputra (5193131012)
Lala Pratiwi (5191131004)

DOSEN PENGAMPUH : Drs.Marsangkap Silitonga, M.pd

MATA KULIAH : Aljabar Linear

PROGRAM STUDI S1 PENDIDIKAN TEHNIK ELEKTRO

FAKULTAS TEHNIK - UNIVERSITAS NEGERI MEDAN
MEDAN 3 April 2020
KATA PENGANTAR

Dengan mengucapkan puji dan syukur ke hadirat Tuhan Yang Maha Esa, akhirnya
kami dapat menyelesaikan tugas ini, saya menyadari sepenuhnya bahwa tugas ini masih jauh dari
kesempurnaan dan masih banyak kekurangannya, hal ini dikarenakan keterbatasan waktu,
pengetahuan dan kemampuan yang dimiliki, oleh karena itu kami sangat mengharapkan adanya
saran dan kritik yang sifatnya membangun untuk perbaikan dimasa yang akan datang.
Pada kesempatan ini, kami mengucapkan terima kasih kepada semua pihak yang
telah membantu terselesaikannya tugas ini, semoga Tuhan Yang Maha Esa membalas amal
kebaikannya. Amin.
Dengan segala pengharapan dan doa semoga makalah ini dapat memberikan manfaat
bagi kami dan khususnya bagi pembaca umumnya.

Medan 03 april 2020

Penulis
Bab 1.
3-Algebras dalam Teori String
1. Pendahuluan Dalam bab ini, kami meninjau 3-aljabar yang muncul sebagai sifat dasar
dari teori string. 3-aljabar adalah generalisasi dari aljabar Lie; itu didefinisikan oleh
kurung tri-linier bukan oleh kurung bi-linear, dan memuaskan identitas fundamental,
yang merupakan generalisasi dari identitas Jacobi [1-3]. Kami mempertimbangkan3-
algebrase disertakandenganinvariantmetrikdalammenerapkannya pada fisika. Diharapkan
ada teori-M, yang menyatukan teori string. Dalam teori-M, beberapa struktur 3-aljabar
ditemukan baru-baru ini. Pertama, ditemukan bahwa dengan menggunakan aljabar u (N)
⊕ u (N) Hermitian 3, kita dapat menggambarkan aksi energi rendah yang efektif dari
supermembran N bertepatan [4-8], yang merupakan objek mendasar dalam teori-M.
Dengan motivasi ini, 3-aljabar dengan metrik yang berbeda-bedadiperklasifikasi [9-22].
Lie3-algebras didefinisikan dalam ruang vektor nyata dan kurung tri-linear dari mereka
benar-benar anti-simetris di ketiga entri. Kebohongan 3-aljabar dengan metrik invarian
diklasifikasikan ke dalam aljabar A1, dan Lorentzian Kebohongan 3-aljabar, yang
memiliki metrik dengan tanda tangan tak terbatas. Di sisi lain, Hermitian 3-aljabar
didefinisikan dalam ruang vektor Hermitian dan tanda kurung tri-liniernya adalah linear-
linear dan simetris di dua radio, di mana dapat menjadi kompleks-linear-linear pada entri
ketiga. Hermitian 3-algebras dengan metrik invarian diklasifikasikan menjadi u (N) ⊕u
(M) dan sp (2N) ⊕u (1) Hermitian 3-algebras. Selain itu, penelitian terbaru telah
menunjukkan bahwa ada juga struktur 3-aljabar dalam aksi supermembran Green-
Schwartz, yang mendefinisikan dinamika perturbatif penuh dari supermembran. Belum
jelas apakah tindakan supermembran total termasuk fermion memiliki struktur 3-aljabar,
sedangkan bagian bosonik dari tindakan dapat dijelaskan dengan menggunakan braket tri-
linear, yang disebut braket Nambu [23, 24], yang merupakan generalisasi dari braket
Poisson. Jika kita menyesuaikan dengan pengukur kerucut cahaya, tindakan total dapat
dijelaskan dengan menggunakan braket Poisson, yaitu, hanya struktur aljabar Lie yang
tersisa di pengukur ini [25]. Namun, itu ditunjukkan di bawah perkiraan bahwa tindakan
total dapat dijelaskan oleh braket Nambu jika kita memperbaiki ke pengukur semi-light-
 cone [26]. Dalam pengukur ini, ruang-waktu sebelas dimensi dari teori-M
dimanifestasikan dalam aksi supermembran, sedangkan hanya bagian sepuluh dimensi
yang dimanifestasikan dalam pengukur kerucut cahaya.

2. Definisi dan klasifikasi aljabar Hermitian

aljabar Pada bagian ini, kita akan mendefinisikan dan mengklasifikasikan aljabar 3-
Hermit yang dilengkapi dengan metrik invarian.
2.1. Struktur umum metrik Hermitian 3-aljabar
2.2. Klasifikasi metrik Hermitian 3-aljabar
3. Model 3-aljabar dari teori-M Pada bagian ini, kami meninjau fakta bahwa aksi
supermembran dalam pengukur semi-cahaya-kerucut dapat dijelaskan oleh
Nambubracket, di mana struktur strukturmanifestasi aljabar-3 aljabar. Model Aljabar 3
dari teori-I didasarkan pada reaksi membran-cahaya-coneupermembran. Kami juga
meninjau bahwa model mengurangi ke teori matriks BFSS dalam batas DLCQ.
3.1.Supermembran dan model 3-aljabar teori-M
3.2. Berbaring model aljabar 3-teori-M
3.3.Hermitian model 3-aljabar dari teori-M
3.4.DLCQ Batas model 3-aljabar teori-M
3.5. Deformasi supersimetris dari model L-3 aljabar teori-M

4. Kesimpulan Metrik Hermitian 3-aljabar sesuai dengan kelas aljabar super Lie. Dengan
menggunakan relasi ini, metrik Hermitian 3-algebras diklasifikasikan menjadi u (m) uu (n) dan
sp (2n) uu (1) Hermitian 3-algebras. Model Aljabar 3-aljabar Lie dan Hermitian diperoleh
dengan kuantisasi kedua aksi supermembran dalam pengukur semi-kerucut. Model Lie 3-aljabar
memiliki nyata N = 1 supersimetri dalam sebelas dimensi. Dalam batas DLCQ, kedua model
mengurangi ke teori matriks BFSS dengan matriks ukuran terbatas sebagaimana mestinya.

Bab 3
Interpretasi Teorema Rosenbrock melalui Local Rings
Tujuan generalisasikan pembuah hasil (the finite andinite niteite ofRosenbrock's Teorem) untuk
matriks rasional yang ditentukan pada bidang acak melalui cincin lokal. Ini akan dilakukan di
Bagian 5 dan memperluas ke bidang yang sewenang-wenang dari konsepWener-
Hopfequivalencantelahdibutuhkan. Konsep ini sangat mapan untuk fungsi matriks rasional
bernilai kompleks.

Bab 5
Masalah Nilai Eigen Terbalik Negatif
Matriks tidak asli telah lama menjadi sorotan masalah matematika yang menarik dan menantang.
Mereka menyediakan sereal dengan semua peralatan mereka menjadi tidak resmi di sejumlah
bidang aplikasi penting: sistem komunikasi, sistem biologi, ekonomi, ekologi, ilmu komputer,
pembelajaran mesin, dan banyak sistem teknik lainnya. Masalah nilai eigen terbalik merupakan
subkelas penting dari masalah terbalik yang muncul dalam konteks matematis yang mengelak
dan identifikasi parameter. Sebagai aplikasi sederhana dari masalah tersebut adalah
pembangunan model Leontief di bidang ekonomi
Dua subproblem utama dari NIEP sangat menarik: masalah nilai eigen inversi nonnegatif nyata
(RNIEP), di mana Λ adalah daftar bilangan real, dan masalah nilai eigen inversi simetris non-
negatif (SNIEP), di mana matriks realisasi harus simetris .
1. Teorema Brauer dan Rado
2. Masalah nilai eigen terbalik negatif asli.
3. Masalah nilai eigen terbalik negatif simetris
4. Daftar bilangan kompleks
5. Hasil Fiedler dan Guo
6. Beberapa pertanyaan terbuka

Kesimpulan
Masalah nilai eigen inversi negatif adalah masalah yang terbuka dan sulit. Solusi penuh tidak
mungkin dalam waktu dekat. Sejumlah hasil parsial diketahui dalam literatur tentang masalah,
sebagian besar dari mereka dalam hal kondisi yang memadai. Beberapa hasil matriks, seperti
Brauer Theorem (Theorem 1), Rado Theorem (Theorem 2), dan versi simetrisnya (Teorema 6)
telah terbukti sangat berguna untuk mendapatkan kondisi yang cukup memadai. Namun, cara ini
tampaknya cukup sempit dan mungkin teknik lain harus dieksplorasi dan diterapkan.

Bab 7

Teori partisi-Matrix Terapan untuk Perhitungan Generalized-invers untuk MIMO

Sistem di Saluran Rayleigh Memudar

P. Cervantes, LF González, FJ Ortiz dan AD García.

Informasi tambahan tersedia pada akhir bab

http://dx.doi.org/10.5772/48198

7. pengantar
Partisi-Matrix Teori dan Generalized-invers adalah topik yang menarik dieksplorasi
dalam aljabar linier dan matriks perhitungan. Partisi-Matrix Teori dikaitkan dengan
masalah benar partisi matriks ke dalam blok matriks (yaitu array matriks), dan
merupakan alat perhitungan matriks secara luas digunakan di beberapa area aplikasi
ilmiah-teknologi. Misalnya, blockwise matriks kovarians berbasis Toeplitz digunakan
untuk model sifat struktural untuk ruang-waktu proses adaptif multivariat dalam
aplikasi radar [1], matriks respon Jacobian dipartisi menjadi beberapa contoh blok-
matriks dalam rangka meningkatkan citra medis untuk Listrik-Impedansi
-Tomography [2], desain regulator negara bagian dan parsial-pengamat untuk non-
dikendalikan / non-diamati linear kontinu sistem merenungkan blok matriks untuk
dikendalikan / non-dikontrol dan diamati / non eigen diamati [3]. The Generalized-
Inverse adalah umum dan masalah alami yang ditemukan dalam besar aplikasi. Dalam
robotika kontrol, non-collocated linierisasi parsial diterapkan untuk sistem mekanis
underactuated melalui regulator inersia-decoupling yang mempekerjakan
pseudoinverse sebagai bagian dari modifikasi hukum kontrol input [4]. Pada struktur
kontrol sliding-mode, Hak-pseudoinverse dimasukkan ke dalam undang-undang
kontrol negara-umpan balik untuk menstabilkan sistem non-linear elektromekanis [5].
Di bawah topik identifikasi sistem, definisi dari Kiri-pseudoinverse hadir dalam model
auto-regresif bergerak-rata (ARMA) untuk pencocokan sifat dinamis dari sistem yang
tidak diketahui [6]. Sebuah pendekatan yang menarik muncul setiap kali Partisi-
Matrix Teori dan Generalized-Inverse digabungkan bersama-sama menghasilkan
solusi menarik untuk memecahkan masalah blok matriks inversi [7-10]. Namun
demikian, beberapa asumsi dan pembatasan mengenai stabilitas dan struktural sifat
numerik dianggap alternatif ini. Sebagai contoh, sebuah blok algoritma matriks inversi
poros-gratis menarik diusulkan dalam [7], yang beberapa asumsi dan pembatasan
mengenai stabilitas dan struktural sifat numerik dianggap alternatif ini. Sebagai
contoh, sebuah blok algoritma matriks inversi poros-gratis menarik diusulkan dalam
[7], yang beberapa asumsi dan pembatasan mengenai stabilitas dan struktural sifat
numerik dianggap alternatif ini. Sebagai contoh, sebuah blok algoritma matriks inversi
poros-gratis menarik diusulkan dalam [7], yang
138 Aljabar Linear - Teorema dan Aplikasi

sayangnya menunjukkan overhead di perkalian matriks yang diperlukan untuk menjamin sifat penuh
rank untuk blok tertentu di dalamnya. Untuk menghindari biaya defisiensi peringkat, [8] penawaran
blok-matriks strategi penyelesaian untuk menemukan Generalized-Inverse dari setiap non-singular blok
matriks (terlepas dari singularitas merupakan sub-blok mereka). Namun, keberadaan invers matriks
menengah dan pseudoinverses seluruh algoritma ini masih mengandalkan full-rank asumsi, serta
memperkenalkan lebih banyak kekerasan untuk masalah ini. Proposal terkena di [9-10] menghindari
strategi penyelesaian dan merenungkan semua skenario yang mungkin untuk menghindari kekurangan
peringkat di antara setiap matriks sub-blok, namun menuntut penuh peringkat asumsi untuk setiap
skenario. Dalam bab ini, algoritma iteratif-rekursif untuk menghitung suatu kiri pseudoinverse (LPI)
dari saluran matriks MIMO dikembangkan dengan menggabungkan partisi-Matrix Teori dan konsep
Generalized-Inverse. Untuk pendekatan ini, overhead tidak ada matriks-operasi maupun tertentu blok
matriks penuh rank asumsi diperlukan karena atribut struktural dari MIMO saluran matriks, yang
model sifat dinamis dari Rayleigh fading (RFC) dalam sistem komunikasi MIMO nirkabel.
Isi dari pekerjaan ini diuraikan sebagai berikut. Bagian 2 memberikan gambaran tentang link
komunikasi MIMO, menunjukkan efek fisik pokok dan model matematika dipertimbangkan untuk
lingkungan berbasis RFC. Bagian 3 mendefinisikan secara resmi masalah komputasi Kiri-
pseudoinverse sebagai Generalized-Inverse untuk MIMO saluran matriks menerapkan konsep partisi-
Matrix Theory. Bagian 4 hadiah linear aljabar dan matriks perhitungan konsep dan peralatan yang
diperlukan untuk melacak solusi untuk masalah tersebut. Bagian 5 menganalisa sifat penting dari
MIMO matriks saluran berasal dari Rayleigh fading skenario. Bagian 6 menjelaskan algoritma baru
yang diusulkan. Bagian
7 hadiah analisis singkat VLSI (Very Large Scale Integrasi) aspek terhadap pelaksanaan operasi
aritmatika yang disajikan dalam algoritma ini. Bagian 8 menyimpulkan bab ini. Karena literatur yang
luas tentang sistem MIMO, dan untuk yang terbaik dari pengetahuan penulis, bab ini menyediakan
bagus dan strategis daftar referensi untuk konsep penting dengan mudah berkorelasi antara teori
matriks dan sistem MIMO. Misalnya, [11-16] menggambarkan dan menganalisis informasi dan sistem
aspek tentang sistem komunikasi MIMO, serta mempelajari MIMO channel perilaku matriks di bawah
lingkungan berbasis RFC; [17-18] mengandung semua aljabar linier dan matriks perhitungan konsep
teoritis yang berguna di sekitar latar belakang matematika tenggelam dalam sistem MIMO; [19-21]
memberikan panduan praktis dan contoh untuk MIMO realisasi saluran matriks yang terdiri dari
skenario RFC; [22] memperlakukan perumusan dan pengembangan algoritma yang disajikan dalam
bab ini; [23-27] rinci survei indah pada aspek arsitektur untuk melaksanakan beberapa operasi
aritmatika.

8. sistem MIMO
Dalam konteks sistem komunikasi nirkabel, MIMO (Multiple-input Multiple Output) merupakan
perluasan dari SISO klasik (Single-input Single-Output) paradigma komunikasi, di mana bukan
memiliki link komunikasi terdiri dari satu pemancar-end dan elemen penerima-end (atau antena),
sistem komunikasi MIMO nirkabel (atau hanya MIMO sistem) terdiri dari array beberapa elemen di
kedua
Teori partisi-Matrix Terapan untuk Perhitungan Generalized-invers untuk MIMO Sistem di Saluran Rayleigh
Memudar 139

transmisi dan penerimaan bagian [11-16,19-21]. Secara umum, MIMO

link komunikasi mengandung T n pemancar-end dan
R n receiver-end antena kirim-
dan-menerima informasi melalui saluran nirkabel. Studi ekstensif pada sistem MIMO dan perangkat
komersial sudah mempekerjakan mereka mengungkapkan bahwa sistem komunikasi ini menawarkan
hasil yang menjanjikan dalam hal: a) efisiensi spektral dan perangkat tambahan kapasitas saluran
(banyak aplikasi user-end mendukung kecepatan data tinggi di bandwidth yang tersedia terbatas); b)
perbaikan pada Bit-Error-Tingkat kinerja (BER); dan c) feasability praktis sudah terlihat di beberapa
standar komunikasi nirkabel. Konseptualisasi dari paradigma ini diilustrasikan pada Gambar 1, di mana
Tx adalah akhir transmitter-, Rx penerima-end, dan Chx saluran.

Gambar 1. Sistem MIMO: konseptualisasi untuk paradigma komunikasi MIMO.

Perhatikan bahwa informasi yang dikirim dari bagian trasnmission (Tx label pada gambar 1) akan
menderita dari beberapa efek degradatif dan distorional melekat dalam saluran (Chx label pada gambar
1), memaksa bagian penerimaan (label Rx pada gambar 1) informasi decode benar . Informasi di Rx
akan menderita degradasi yang disebabkan oleh waktu, frekuensi, dan karakteristik spasial dari link
komunikasi MIMO [11-12,14]. Isu-isu ini secara langsung berkaitan dengan: i) adanya hambatan fisik
menghalangi Line-of-Sight (LOS) antara Tx dan Rx (keberadaan non-LOS); ii) waktu penundaan
antara sinyal informasi yang diterima dan dikirimkan karena Tx dan Rx sifat dinamik (time-selektivitas
Chx); iii) distorsi frekuensi dan interferensi antara operator sinyal melalui Chx (selektivitas frequency-
dari Chx); iv) korelasi informasi antara unsur-unsur penerima-end. Memudar (atau memudar mutlipath)
dan kebisingan yang paling fenomena destruktif umum yang secara signifikan mempengaruhi informasi
di Rx [11-16]. Memudar adalah kombinasi dari replika waktu-frekuensi informasi trasnmitted sebagai
konsekuensi dari fenomena sistem MIMO i) -iv) terkena sebelumnya, sedangkan kebisingan
mempengaruhi informasi pada setiap elemen penerima-end di bawah additve atau cara perkalian.
 Bab
Bab 0 8

Sarana operator dan Aplikasi

Pattrawut Chansangiam

Informasi tambahan tersedia pada akhir bab http://dx.doi.org/10.5772/46479

1. pengantar
Teori berarti skalar dikembangkan sejak Yunani kuno oleh Pythagoras sampai abad terakhir oleh
banyak matematikawan terkenal. Melihat perkembangan subjek ini dalam sebuah artikel survei [24]. Di
sekolah Pythagoras, berbagai cara yang didefinisikan melalui metode proporsi (pada kenyataannya,
mereka adalah solusi dari persamaan aljabar tertentu). Teori matriks dan operator yang berarti mulai
dari kehadiran gagasan jumlah paralel sebagai alat untuk menganalisis multi-port jaringan listrik di
rekayasa; lihat [1]. Tiga cara klasik, yaitu, aritmatika berarti, harmonik mean dan geometrik mean
matriks dan operator kemudian dipertimbangkan, misalnya, dalam [3, 4, 11, 12, 23]. cara ini
memainkan peran penting dalam teori matriks dan operator sebagai alat untuk mempelajari
monotonisitas dan cekung banyak peta yang menarik antara algebras operator; melihat ide asli dalam
[3]. berarti penting lain dalam matematika, yaitu rata-rata listrik, dianggap dalam [6]. Jumlah paralel
ditandai dengan sifat-sifat tertentu dalam [22]. Paralel sum dan ini berarti berbagi beberapa sifat umum.
Ini mengarah secara alami dengan definisi fi de dari yang disebut koneksi dan berarti dalam makalah
mani [17]. Kelas ini berarti mencakup banyak cara operator dalam praktek. Hasil utama dari Kubo-
Ando menyatakan bahwa ada satu-ke-satu korespondensi antara koneksi, fungsi operator yang monoton
pada real non-negatif dan fi nite tindakan Borel di diperpanjang setengah-line. Mean teori pendekatan
memiliki banyak aplikasi dalam ketidaksetaraan operator (lihat informasi lebih lanjut di Bagian 8),
matriks dan Operator persamaan (lihat misalnya [2, 19]) dan entropi operator. Konsep entropi Operator
memainkan peran penting dalam fisika matematika. Entropi Operator relatif didefinisikan di [13] untuk
operator positif dibalik A, B oleh

S(SEBUAH| B) = SEBUAH1/2 log (A-1/2 BA-1/2)SEBUAH1/2. (1)

Bahkan, formula ini berasal dari Kubo-Ando teori-S·| () adalah berkorespondensi koneksi ke operator
>
monoton fungsi t log t. Lihat informasi · di [7, Bab IV] dan referensi nya.
lebih lanjut
→
Dalam bab ini, kita memperlakukan teori sarana operator dengan melemahnya asli definisi de koneksi
sedemikian rupa bahwa teori yang sama diperoleh. Selain itu, ada korespondensi satu-ke-satu antara
koneksi dan fi nite tindakan Borel pada interval satuan. Setiap koneksi dapat dianggap sebagai
rangkaian ditimbang sarana harmonik ditimbang. Oleh karena itu, setiap berarti dalam arti
berkorespondensi Kubo-Ando untuk probabilitas Borel ukuran pada interval satuan.
 164 Aljabar Linear - Teorema dan Aplikasi
2 Akan-akan set-by-IN-

Berbagai penokohan sarana diperoleh; salah satunya adalah properti biasa berarti skalar, yaitu, properti
betweenness. Kami menyediakan beberapa sifat baru koneksi operator yang abstrak, yang melibatkan
monotonicity operator dan cekung, yang meliputi sarana Operator yang spesifik sebagai kasus khusus.
Untuk ts fi bene pembaca, kami menyediakan pengembangan teori berarti operator. Dalam Bagian 2,
kita setup notasi dasar dan negara beberapa latar belakang tentang fungsi operator yang monoton yang
memainkan peran penting dalam teori berarti operator. Dalam Bagian 3, kita mempertimbangkan
jumlah paralel bersama-sama dengan interpretasi fisik dalam sirkuit listrik. Mean aritmetik, geometris
mean dan mean harmonik operator positif diselidiki dan ditandai dalam Bagian 4. asli definisi koneksi
ditingkatkan dalam Bagian 5 sedemikian rupa bahwa teori yang sama diperoleh. Dalam Pasal 6,
beberapa penokohan dan contoh Kubo-Ando berarti diberikan. Kami menyediakan beberapa sifat baru
koneksi operator umum, terkait dengan monotonicity operator dan cekung, dalam Bagian 7.

2. Persiapan
Sepanjang, biarkan
H B () menjadi aljabar von Neumann dari operator linear dibatasi bertindak pada
ruang Hilbert.
HH Mari B () sa adalah ruang vektor riil operator adjoin-on.
H Equip B () dengan urutan
parsial
H∈H alami sebagai berikut. Untuk A, BB () sa, kita menulis A ™ B- jika BA adalah operator positif.
Notasi TB () + atau T “0 berarti
∈ H bahwa T adalah operator positif. Kasus yang T “0 dan T dibalik
dilambangkan dengan T> 0 atau TB () ++. Kecuali∈ dinyatakan
H lain, setiap batas dalam B () diambil
H
dalam topologi operator yang kuat. Menulis Sebuah A untuk menunjukkan bahwa Sebuah menyatu
H
kuat untuk A. Jika An adalah urutan B () sa, ekspresi Sebuah Sebuah cara yang Sebuah adalah urutan
menurun dan An A. Demikian pula, → An A mengatakan bahwa An meningkat dan An A. Kami selalu
cadangan→ A, B, C, D untuk operator positif. Himpunan bilangan real non-negatif dilambangkan dengan
R +.
Bab 9

baru-baru ini Penelitian

pada Jensen Ketimpangan untuk OpÜrators

Jadranka Micic dan Josip Pečarić

Informasi tambahan tersedia pada akhir bab http://dx.doi.org/10.5772/48468

4. pengantar
Operator adjoin-pada ruang Hilbert dengan berbagai aplikasi mereka memainkan bagian penting dalam
teori operator. Batas-batas penelitian untuk operator adjoin-adalah daerah yang sangat berguna teori ini.
Tidak ada ketimpangan yang lebih baik dalam pemeriksaan batas dari ketidaksetaraan Jensen. Ini
adalah ketimpangan secara luas digunakan di berbagai bidang fi matematika.
Biarkan aku menjadi interval nyata dari jenis apa pun.→Sebuah fungsi kontinu f: IR dikatakan Operator
cembung jika
f (λx + (1 - λ) Y) ≤ λf (X) + (1 - λ) f (y) (1)
berlaku untuk∈setiap λ [0, 1] dan setiap sepasang operator adjoin-x dan y (bertindak) pada berhingga
dimensi ruang Hilbert H dengan spektrum dalam I (pemesanan yang ≤ didefinisikan
- dengan menetapkan
xy jika yx positif semi-de fi nite) .
Biarkan f menjadi fungsi operator cembung didefinisikan pada I. selang Ch. Davis [1] proved1 sebuah
Schwarz ketimpangan
f (φ(X)) ≤ φ (F (x)) (2)
di mana SφEB
: UB(K)
AH → adalah UNITAL pemetaan linear benar-benar positif dari C * -algebra untuk
operator linear pada ruang K Hilbert, dan x adalah elemen S self-adjoint dengan spektrum di I.
Selanjutnya MD Choi [2] mencatat bahwa itu sudah cukup E untuk menganggap bahwa φ adalah
UNITAL dan positif. Bahkan, pembatasan φ ke komutatif C * -algebra dihasilkan oleh x secara
otomatis
benar-benar positif oleh teorema Stinespring.
F. Hansen dan GK Pedersen [3] terbukti jenis ketimpangan Jensen
f.
n Sebuah* n FXASebuah* (3)
xa Σ
≤
Σ aku1aku aku Σ
saya= saya ( saya ) saya
saya=
1
1 Ada kesalahan ketik kecil di bukti. Davis menyatakan bahwa φ oleh teorema Stinespring dapat
*
ditulis pada formulir φ (x) = Pρ (x) P di mana ρ adalah
≤
-homomorphism ke B (H) dan P adalah
proyeksi H. Bahkan, H dapat tertanam dalam ruang Hilbert K yang ρ dan P bertindak. teorema
kemudian mengikuti dengan perhitungan f (φ (x)) = f (Pρ (x) P) Pf (ρ (x)) P = Pρ (f (x) P = φ (f (x)),
dimana mencubit ketidaksetaraan, dibuktikan dengan Davis di koran yang sama, diterapkan.
 190 Aljabar Linear - Teorema dan Aplikasi
2 Akan-akan set-by-IN-

untuk fungsi operator yang cembung f didefinisikan pada saya selang = [0, α) (dengan α ≤ ∞ dan f (0) ≤
0) dan self-adjoint operator x1, ..., xn dengan spektrum di Saya
n
mengasumsikan bahwa Σi= 1 ai * ai =
1.pembatasan pada interval dan persyaratan ≤f (0) 0 kemudian dihapus oleh B. Mond dan J. Pecaric' di
[4], lih juga [5].
Ketidaksamaan (3) sebenarnya hanya reformulasi (2) meskipun ini tidak melihat pada saat itu.
Meskipun demikian adalah penting untuk dicatat bahwa bukti yang diberikan dalam [3] dan dengan
×
demikian pernyataan dari teorema, ketika terbatasnn matriks, berlaku×untuk kelas jauh lebih kaya
dari 2n 2n matriks cembung fungsi. Hansen dan Pedersen digunakan (3) untuk mendapatkan operasi
dasar pada fungsi, yang meninggalkan invarian kelas fungsi operator yang monoton. Hasil ini
kemudian menjabat sebagai dasar untuk bukti baru teorema Löwner ini menerapkan teori konveksitas
dan teorema Kerin-Milman ini.
B.MonddanJ.Pecaric'[6]terbuktiituketidaksamaan
.f n n
≤
wsay xsa wsaya (xsa (4)
Σ aφsa Σ φsaya ya ))
ya )
ya ( (f
saya= 1 say
Σ a=
1

untuk fungsi operator yang cembung f didefinisikan pada saya → selang, di mana φi: B B (H) (K) adalah
UNITAL pemetaan linear positif, x1, ..., xn adalah operator self-adjoint dengan spektrum dalam I dan
w1, ... , wn adalah bilangan real non-negatif dengan jumlah satu.
Juga,B. Mond, J. Pecaric', T. Furuta et al. [6-11] mengamati berbincang beberapa kasus khusus dari
ketidaksetaraan Jensen. Jadi dalam [10] disajikan kebalikan umum berikut dari ketidaksetaraan
Schwarz (2)
f(M )-f(m)
F [φ (F (A)), ≤g (φ(SEBUAH))] FΣf(M)+ (t- m). g (t)Σ1n~
(5)
max
m≤t≤M
M- m

untuk fungsi cembung f didefinisikan pada interval [m, M], m <M, di mana g adalah fungsi kontinu
nyata bernilai pada [m, M], F (u, v) adalah nyata bernilai fungsi ×didefinisikan pada UV, matriks non
-decreasing di u, u f ⊃⊃
[m, M], V g [m, M], φ: Hn → Hn~adalahSebuahUNITALpositif linearpemetaan
dan A adalah matriks Hermite dengan spektrum yang terkandung dalam [m, M].
Ada banyak penelitian baru di Jensen ketidaksetaraan klasik (4) dan ketidaksetaraan kebalikannya.
Misalnya, JI Fujii et semua. di [12, 13] menyatakan ketidaksetaraan ini dengan membagi eksternal
poin.

5. hasil klasik
Pada bagian ini kami menyajikan bentuk ketimpangan Jensen yang berisi (2), (3) dan (4) sebagai kasus
khusus. Karena ketidaksetaraan dalam (4) adalah langkah memotivasi untuk memperoleh converses
ketidaksetaraan Jensen menggunakan apa yang disebut metode Mond-Pecaric', kami juga memberikan
beberapa hasil yang berkaitan dengan ketidaksetaraan converse di formulasi baru.
Kita ingat beberapa definisi de fi. Misalkan T adalah ruang Hausdorff lokal kompak dan membiarkan A
menjadi C * -algebra operator pada beberapa Hilbert space H. Kami mengatakan bahwa medan (xt) t∈T
operator di A kontinu jika fungsi t> → xt yaitu norma terus menerus pada T. Jika selain μ adalah
Radon
 Terbaru Penelitian Jensen Ketimpangan untuk Operator 191
Terbaru Penelitian Jensen Ketimpangan untuk Oparators3

mengukur
∫ pada T dan fungsi t> → ⊕xt ⊕ adalah terintegral, maka kita dapat membentuk integral
Bochner
T xt dμ(T), yang merupakan elemen unik dalam A sehingga
∫ ∫
φ. xtdμ(T)Σ= φ(xt) dμ(t)
T T
untuk setiap φ fungsional linear dalam norma ganda A *.
Asumsikan lebih lanjut bahwa ada lapangan (φt) t∈T positif linear pemetaan φt: A → B dari A ke C
yang lain * -algebra B operator pada ruang Hilbert K. Kita ingat bahwa linear pemetaan φt: A → B
dikatakan pemetaan positif jika φt (xt) ≥ 0 untuk semua xt ≥ 0. Kami mengatakan bahwa seperti
lapangan kontinu jika fungsi t> → φt (x) kontinu untuk setiap x ∈ A. t∫he Let C * -algebras termasuk
operator identitas dan fungsi t∫> → φt (1H) menjadi terintegral dengan
φt (1H ) dμ(T) = k1K untuk beberapa skalar positif k. T φt (1H ) dμ(T) = 1K , kami
T
Khususnya, jika itu sebuah lapangan (φt )t∈T adalah UNITAL. bilang
Mari B (H) menjadi C * -algebra semua dibatasi linear operator di ruang Hilbert H. Kami mendefinisikan
batas-batas operator x ∈ B (H) oleh
mx = inf (xξ, ξ) dan Mx = Sup (xξ, ξ) (6)
ξ⊕ = 1 ⊕
⊕ξ⊕ = 1
untuk ξ ∈ H. Jika Sp (x) menunjukkan spektrum x, maka Sp (x) ⊆ [mx, Mx]. Untuk
operator x ∈ B (H) kita mendefinisikan operator | x |, x +, x- oleh
| X | = (X* x)1/2. x+ = (| X | + x)/ 2, x- = (| X | - x) / 2
Jelas, jika x adalah self-adjoint, maka | x | = (X2) 1/2 dan x +, x- ≥ 0 (disebut positif dan bagian negatif
dari x = x + - x).
 Bab 10
Bab 0

Sistem Linear Kedua Persamaan dan kesenjangan di Max-Aljabar

Abdulhadi Aminu

Informasi tambahan tersedia pada akhir bab

http://dx.doi.org/10.5772/48195

1. pengantar
Tujuan dari bab ini adalah untuk menyajikan sebuah sistem persamaan linear dan ketidaksetaraan
dalam max-aljabar. Max-aljabar adalah analog aljabar linier dikembangkan pada pasangan operasi (,)
⊕ ⊗⊕
diperpanjang untuk matriks dan vektor, di mana ab = max (a,⊗b) dan ab = a + b untuk a, b R. Sistem
∈⊗⊗ ≤
persamaan A x = c dan ketidaksetaraan B xD masing-masing telah dipelajari dalam literatur. Kami
akan menyajikan kondisi fi sien diperlukan dan suf untuk solvabilitas dari suatu sistem yang terdiri dari
dua sistem ini dan juga mengembangkan algoritma polinomial untuk memecahkan Program max-linear
yang kendala persamaan max-linear dan ketidaksetaraan. Selain itu, beberapa konsep solvabilitas dari
sistem inteval persamaan linear dan pertidaksamaan juga akan disajikan.
sistem linear max-aljabar diselidiki di fi rst publikasi yang berurusan dengan pengenalan aljabar
struktur yang disebut (max, +) aljabar. Sistem persamaan dengan variabel hanya pada satu sisi
dianggap dalam publikasi ini [1, 2] dan [3]. Sistem lain dengan struktur khusus diselidiki dalam
konteks pemecahan masalah eigenvalue dalam korespondensi dengan aljabar atau struktur sinkronisasi
sistem kejadian diskrit, lihat [4] dan juga [1] untuk informasi tambahan. Mengingat matriks A, vektor b
⊕ sesuai,⊗menggunakan notasi = max, = ditambah, sistem belajar memiliki salah satu
dari ukuran yang
⊗⊗⊗ berikut ini: x = b, A x⊕= x atau A x = x b. Sebuah generalisasi fi nite dimensi dapat ditemukan
bentuk
dalam [5].
Dalam [1] Cuninghame-Green menunjukkan bahwa masalah A ⊗ x = b dapat diselesaikan dengan
menggunakan residuation [6]. Itu adalah kesetaraan A ⊗ x = b santai sehingga set sub-solusi yang
dipelajari.
Hal ini menunjukkan bahwa solusi terbesar dari A ⊗ x ≤ b diberikan oleh X di mana
x¯ j=min
saya
(bsaya⊗ Sebuahsaya-j1 )untuksemuaj∈N
∈M
Persamaan A ⊗ x = b juga diselesaikan dengan menggunakan hasil di atas sebagai berikut: persamaan
A ⊗ x = b memiliki solusi jika dan hanya jika A ⊗ x = b. Juga, Gaubert [7] mengusulkan metode
untuk memecahkan sistem satu sisi x = A ⊗ x ⊕ b menggunakan kalkulus rasional.
 216 Aljabar Linear - Teorema dan Aplikasi
2 Akan-akan set-by-IN-

Zimmermann [3] mengembangkan metode untuk ⊗ memecahkan A x = b oleh set meliputi dan juga
disajikan sebuah algoritma untuk memecahkan program max-linear dengan satu sisi kendala. Metode
ini terbukti memiliki kompleksitas komputasi O (mn), di mana m, n adalah jumlah baris dan kolom dari
matriks masukan masing-masing. Akian, Gaubert dan Kolokoltsov [5] diperpanjang metode solusi
Zimmermann oleh set covering dengan kasus koneksi Galois fungsional.
Butkovic [8] mengembangkan metode max-aljabar untuk fi nding semua solusi untuk sistem
- xsaya
ketidaksetaraan xJ > bij. saya, J = 1, ..., n menggunakan n generator. Dengan
menggunakan metode ini Butkovic
[8] mengembangkan algoritma pseudopolynomial yang baik fi NDS bounded mixed-integer
solusi, atau memutuskan bahwa tidak ada solusi seperti itu. Ringkasan dari hasil ini dapat ditemukan
dalam [9] dan [10]
Cechla'rovadanDiko[11]diusulkanSebuahmetodeuntuk resolvinginfeasibilitydariitusistemSEBUAH
⊗ x=b
. Teknik-teknik yang disajikan dalam metode ini adalah untuk mengubah sisi kanan sesedikit mungkin
atau omit beberapa persamaan. Hal ini menunjukkan bahwa masalah fi nding jumlah minimum yang
persamaan adalah NP-lengkap.

2. Max-aljabar dan beberapa definisi fi de dasar

Pada bagian ini kami memperkenalkan max-aljabar, memberikan definisi de fi penting dan menunjukkan
bagaimana operasi max-aljabar dapat diperpanjang untuk matriks dan vektor.

Dalam max-aljabar, kita ganti penjumlahan dan perkalian, operasi biner dalam aljabar linier
konvensional, dengan maksimum dan penambahan masing-masing. Untuk masalah yang melibatkan
menambahkan angka bersama dan mengambil maksimum angka, dimungkinkan untuk menjelaskan
dalam max-aljabar. Masalah yang nonlinear ketika dijelaskan dalam hal konvensional dapat dikonversi
menjadi masalah max-aljabar yang linear terhadap (⊕, ⊗) = (max, +).
Definisi 1. Max-plus semiring R adalah himpunan
∪ {-} R ∞, dilengkapi dengan tambahan (a, b) max (a, b)
> →> → ⊕(a, b) a + b dilambangkan dengan dan masing-masing. Itulah ab = max (a, b) dan ab = a +
dan perkalian
⊕⊗
b. Unsur identitas untuk penambahan -
⊗ (atau nol) adalah ∞, dan elemen identitas untuk perkalian (atau
unit) adalah 0.
Definisi 2. Min-plus semiring Rmin adalah himpunan R ∪ {+ ∞}, dilengkapi dengan tambahan (a,
b) min (a, →
b) ⊕dan perkalian (a, b) a + b dilambangkan dengan dan masing-masing. nol adalah + ∞,
J J
> →>
dan unit ini 0. Nama semiring tropis ⊗ juga digunakan sebagai sinonim dari min-plus ketika tanah set
N.

Selesai max-plus semiring Rmax adalah himpunan R ∪ {± ∞}, dilengkapi dengan penambahan
(A, b) > → max(A, b) dan perkalian (a, b) > → a + B, dengan konvensi yang -∞ + (+∞) =
+∞ + (-∞) = -∞. selesai min-plus semiringRmin didefinisikan dengan cara yang ganda.
Proposisi 1. Properti berikut berlaku untuk semua a, b, c ∈ R:
a⊕b=b⊕aa⊗b=b⊗a
a ⊕ (b ⊕ c)= (a ⊕ b) ⊕ c a ⊗ (b ⊗ c)= (a
⊗ b) ⊗ c
(A ⊗ b) ⊗ c
 3

a ⊗ (b ⊕ c)= a ⊗ b ⊕ a ⊗ c
a ⊕ (−∞)= −∞ = (−∞) ⊕ a a ⊗ 0 = a = 0 ⊗ a

a ⊗ a−1 = 0, a, a−1 ∈ R
Bukti.
Laporan mengikuti dari definisi de fi.
Proposisi 2. Untuk semua a, b, c ∈ R properti berikut memegang:
Sebuah ≤ b =⇒ a ⊕ c ≤ b ⊕ c
Sebuah ≤ b ⇐⇒ a ⊗ c ≤ b ⊗ c, c ∈ R
Sebuah ≤ b ⇐⇒ a ⊕ b = b
a> b ⇐⇒ a ⊗ c > b ⊗ c, -∞ <C <+∞

Bukti. Laporan mengikuti dari definisi de fi.

Pasangan operasi (⊕, ⊗) diperluas ke matriks dan vektor seperti dalam aljabar linier konvensional
sebagai berikut: Untuk A = (aij), B = (bij) dari ukuran yang kompatibel dan α ∈ R kita memiliki:
A ⊕ B = (aij ⊕ bij )
A⊗B=.∑⊕aik⊗bkjΣ
α ⊗ A = (α
k
⊗ aij )

Example 1.
. Σ . Σ . Σ
315 ⊕ −102 = 315
21 5 6−54 6 15

Example 2. ⎛ ⎞
−1 2
. Σ⊗⎝ 1 7 ⎠
−41−5 31
30 8
. Σ . Σ
= (−4+(−1))⊕(1+1)⊕(−5+3)(−4+2)⊕(1+7)⊕(−5+1) = 28
 ALinearSystemofBothEquationsandInequalitiesinMax-Algebra217

(3+(−1))⊕(0+1)⊕(8+3)(3+2)⊕(0+7)⊕(8+1)11 9