Hasil Pencarian  ::  Simpan CSV :: Kembali

"ABSTRAKTeorema titik tetap Banach adalah teorema mengenai pemetaan tertentu dari ruang metrik lengkap ke dalam dirinya sendiri. Teorema ini digunakan pada pembahasan teorema Picard untuk eksistensi penyelesaian persamaan difierensisi biasa linier order satu x'(t) + p(t) x(t) = q(t) dengan syarat awal x(t 0 ) = x0."

"Ruang metrik adalah suatu pasangan himpunan dan fungsi metrik, dengan fungsi metrik adalah fungsi yang memetakan dua titik pada himpunan ke himpunan set R(>=0)= [0,+∞). Pada ruang metrik terdapat satu teorema penting pada analisis yang dibuktikan oleh Stefan Banach (1920), yaitu Teorema Titik Tetap. Pada Ma, Jiang, & Sun (2014) konsep ruang metrik diperluas menjadi ruang metrik bernilai aljabar-C* dan Teorema Titik Tetap pada ruang metrik diperluas menjadi Teorema Titik Tetap pada ruang metrik bernilai aljabar- C*. Pada skripsi ini, dijelaskan bagaimana ruang metrik diperluas menjadi ruang metrik bernilai aljabar-C* dan dibuktikan kembali Teorema Titik Tetap pada ruang metrik bernilai aljabar-C*.

---

A metric space is a pair of set and metric function, where a metric function is a function which maps two points from the set into the set R(>=0)= [0,+∞). In metric space, there is an important theorem in analysis which has been proven by Stefan Banach (1920) that is, the Fixed Point Theorem. In Ma, Jiang, & Sun (2014) the concept of metric space is generalized to C*-algebra valued metric space and the Fixed Point Theorem in metric space is generalized to the Fixed Point Theorem in C*-algebra valued metric space. In this undergraduate thesis, it was explained how the concept of metric space can be generalized into C*-algebra valued metric space and the Fixed Point Theorem in C*-algebra valued metric space was proven back."

"Ruang metrik-G adalah pasangan (X,G) dengan X adalah himpunan tak kosong yang dilengkapi dengan fungsi G : X ⇥ X ⇥ X ! [0,1) yang memenuhi aksioma-aksioma metrik-G. Ruang metrik-G merupakan perluasan dari ruang metrik (X, d) yang telah dikenal. Aljabar-C⇤ A adalah aljabar Banach atas lapangan C yang dilengkapi involusi ⇤ yang memenuhi ka⇤k = kak dan ka⇤ak = kak2. Kodomain metrik d dan metrik-G diperluas dari [0,1) menjadi A+, yaitu himpunan elemen positif di aljabar-C⇤ A. Ruang metrik bernilai aljabar-C⇤ adalah (X, A, d) dengan d : X ⇥ X ! A+ merupakan fungsi yang memenuhi aksioma-aksioma metrik bernilai aljabar-C⇤. Pada skripsi ini dibahas mengenai ruang metrik-G bernilai aljabar-C⇤, yaitu (X, A,G) dengan G : X⇥X⇥X ! A+ merupakan fungsi yang memenuhi aksioma-aksioma metrik-G bernilai aljabar-C⇤. Lebih lanjut, dibahas aplikasi dari ruang metrik-G bernilai aljabar-C⇤ pada Teorema Titik Tetap.

---

The G-metric space is a pair (X,G) where X is a non-empty set and G : X ⇥ X ⇥ X ! [0,1) is a function that satisfies the axioms of G-metric. The G-metric space is an extension of the known metric space (X, d). C⇤-algebra A is a Banach algebra over field C with an involution ⇤ that satisfies ka⇤k = kak and ka⇤ak = kak2. The codomain of metric d and G-metric is generalized from [0,1) to A+, where A+ is the set of positive elements in C⇤-algebra A. The C⇤-algebra valued metric space is (X, A, d) where d : X ⇥ X ! A+ is a function that satisfies the axioms of C⇤-algebra valued metric. This undergraduate thesis discusses the C⇤-algebra valued G-metric space, namely (X, A,G) where G : X ⇥ X ⇥ X ! A+ is a function that satisfies the C⇤-algebra valued G-metric axioms. Furthermore, we discuss the application of C⇤-algebra valued G-metric space in Fixed Point Theorem."

"Salah satu perumuman dari ruang metrik adalah ruang metrik parsial. Ruang metrik parsial merupakan (X, p) dengan X merupakan himpunan tak kosong dan p : X × X → R merupakan metrik parsial pada X, yaitu pemetaan bernilai R pada X×X yang memenuhi beberapa aksioma. Nilai metrik parsial tersebut dapat diperumum menjadi aljabar-C* unital A, sehingga dibentuk ruang metrik parsial bernilai aljabar-C* (X, A, p) dengan X merupakan himpunan tak kosong dan p : X × X → A merupakan metrik parsial bernilai aljabar-C* pada X, yaitu pemetaan bernilai A pada X × X yang memenuhi beberapa aksioma. Titik tetap dari pemetaan pada suatu himpunan, khususnya ruang metrik, adalah titik yang dipetakan ke dirinya sendiri. Teorema titik tetap merupakan teorema mengenai eksistensi dan ketunggalan titik tetap dari pemetaan pada ruang metrik. Pada skripsi ini, ditentukan dan dibuktikan hubungan ruang metrik parsial bernilai aljabar-C* dengan ruang metrik bernilai aljabar-C*. Selain itu, dibuktikan teorema titik tetap dari pemetaan kontraktif bernilai aljabar-C* pada ruang metrik parsial bernilai aljabar-C*.

---

One of the extension of metric spaces is partial metric spaces. A partial metric space is a pair (X, p) where X is a nonempty set and p : X × X → R is a partial metric on X, which is a real valued mapping on X × X that satisfy some axioms. The value of partial metrics can be generalized to a unital C*-algebra A, so that we can form a C*-algebra valued partial metric space (X, A, p) where X is a nonempty set and p : X × X → A is a C*-algebra valued partial metric on X, which is a A-valued mapping on X × X that satisfy some axioms. A fixed point of a mapping on a set, particularly metric space, is a point that is mapped to itself. Fixed point theorems are theorems regarding existence and uniqueness of a fixed point of a mapping on metric spaces. In this research, we establish and prove the relations between C*-algebra valued partial metric spaces and C*-algebra valued metric spaces. Furthermore, we prove a fixed point theorem of a C*-algebra valued contractive mapping on C*-algebra valued partial metric spaces."

"Titik x dikatakan titik tetap dari sembarang pemetaan T jika dan hanya jika T x = x. Berbagai hasil mengenai teorema titik tetap telah dibuktikan pada ruang metrik. Seiring berkembangnya bidang analisis matematis, semakin banyak matematikawan yang berhasil membuktikan teorema titik tetap di berbagai ruang dan pemetaan. Namun, tidak banyak hasil mengenai teorema titik tetap yang telah dibuktikan pada ruang dislocated quasi b-metric. Ruang dislocated quasi b-metric adalah salah satu bentuk perluasan dari ruang metrik dimana jarak antara dua buah titik yang sama tidak harus bernilai nol yaitu d(x, x) =/= 0 serta sifat simetri yaitu d(x, y) = d(y, x) tidak berlaku di ruang ini. Pada skripsi ini, akan dibuktikan kembali teorema-teorema mengenai ketunggalan titik tetap pada ruang dislocated quasi b-metric untuk sembarang pemetaan. Pada Skripsi ini juga akan dibahas mengenai teorema titik tetap untuk pemetaan tipe F-kontraktif pada ruang yang sama.

---

A point x is said to be a fixed point of a mapping T on a nonempty set X if and only if T x = x. Many results regarding the fixed point theorem have been proved on metric spaces. As the field of mathematical analysis develops, more and more mathematicians have succeeded in proving fixed point theorems in various spaces and mappings. However, not many results regarding the fixed point theorem have been proved on dislocated quasi b-metric spaces. Dislocated quasi b-metric space is one of the extensions of metric space where the distance between two equal points does not have to be zero i.e. d(x, x) =/= 0 and the symmetry property i.e. d(x, y) = d(y, x) does not apply in this space. In this thesis, we will prove the theorems on the uniqueness of fixed points on dislocated quasi b-metric spaces for any mapping. This thesis also discusses the fixed point theorem for F-contractive type mappings in the same space."

"Ruang metrik-G adalah pasangan (X,G) dengan X adalah himpunan tak kosong yang dilengkapi dengan fungsi G: X x X x X -> [0,\infty) yang memenuhi aksioma-aksioma metrik-G. Ruang metrik-G merupakan perluasan dari ruang metrik (X,d) yang telah dikenal. Aljabar-C* A adalah aljabar Banach atas lapangan C yang dilengkapi involusi * yang memenuhi ||a*||=||a|| dan ||a*a||=||a||^2. Kodomain metrik d dan metrik-G diperluas dari [0,\infty) menjadi A^+, yaitu himpunan elemen positif di aljabar-C* A. Ruang metrik bernilai aljabar-C* adalah (X,A,d) dengan d: X x X -> A ^+ merupakan fungsi yang memenuhi aksioma-aksioma metrik bernilai aljabar-C*. Pada skripsi ini dibahas mengenai ruang metrik-G bernilai aljabar-C*, yaitu (X,A,G) dengan G: X x X x X -> A^+ merupakan fungsi yang memenuhi aksioma-aksioma metrik-G bernilai aljabar-C*. Lebih lanjut, dibahas aplikasi dari ruang metrik-G bernilai aljabar-C* pada Teorema Titik Tetap.

---

The G-metric space is a pair (X,G) where X is a non-empty set and G: X x X -> [0,\infty) is a function that satisfies the axioms of G-metric. The G-metric space is an extension of the known metric space (X,d). C*-algebraA is a Banach algebra over field C with an involution * that satisfies ||a*||=||a|| and ||a*a||=||a||^2. The codomain of metric and G-metric is generalized from [0,\infty) to A^+, where A^+ is the set of positive elements in C*-algebra A. The C*-algebra valued metric space is (X,A,d) where d: X x X -> A^+ is a function that satisfies the axioms of C*-algebra valued metric. This undergraduate thesis discusses the C*-algebra valued G-metric space, namely (X,A,G) where G: X x X x X -> A^+ is a function that satisfies the C*-algebra valued G-metric axioms. Furthermore, we discussed the application of C*-algebra valued G-metric space in Fixed Point Theorem.

"

"Pada skripsi ini pembuktian Teorema Fixed-Point Brouwer untuk kasus dimensi dua (pada cakram) melalui Aljabar Topologi akan dijabarkan. Pembuktian dilakukan dengan bantuan Teorema Ketiadaan Retraksi dan Teorema Lapangan Vektor. Selain membahas pembuktian untuk kasus dua dimensi ( 2 B ), pada skripsi ini pembuktian untuk kasus n dimensi ( n B ) juga dijabarkan. Pada skripsi ini teorema-teorema lain seperti hubungan retraksi dengan fixed point, dan hubungan homotopi dengan fixed point juga dibuktikan. "