Hasil Pencarian  ::  Simpan CSV :: Kembali

"Abstrak Topologi plus di R2 adalah sebuah topologi di R2 yang dibentuk oleh hinpunan buka+. Dalam tugas akhir ini akan digunakan pemahaman topologi plus di R2 dalam pembuktian teorema Baire. Teorema Baire menyatakan bahwa jika kedua turunan parsial pertama suatu fungsi f: R2 - R ada di setiap titik di R2, Maka terdapat suatu subhimpunan padat di R2 di Mana f diferensiabel."

"Teorema interpolasi membukti kan bahwa jika dari sebuah graph terhubung mengandung 2 buah spanning tree dan yang masing-masing mempunyai m dan n verteks ujung, m < n dan m,n bilangan bulat positif, maka 8 mengandung sebuah spanning tree dengan k verteks ujung, m < k < n, untuk setiap bilangan integer k."

"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."

"Proses Poisson nonhomogen dengan fungsi intensitasnya merupakan fungsi periodik disebut sebagai proses Poisson nonhomogen siklik. Proses ini biasa digunakan untuk memodelkan suatu proses kejadian yang berulang. Pada tugas akhir ini dibahas mengenai penaksiran periode pada proses Poisson nonhomogen siklik, dengan asumsi bahwa periode berada dalam interval waktu yang diketahui. Penaksiran periode dilakukan dengan menggunakan M-Estimator, dimana dibutuhkan sebuah fungsi kriteria yang pada kasus ini dikonstruksi menggunakan pengetahuan mengenai teorema ergodik. Taksiran periode yang diperoleh merupakan taksiran konsisten untuk periode.

---

Nonhomogeneous Poisson Process with its intensity function is a periodic function is called as a cyclic nonhomogeneous Poisson process. This process is usually used to model some repeatedly process. In this paper we discuss about estimation of the period of a cyclic nonhomogeneous Poisson process, assuming that the period belongs to some known time interval. The estimation of the period uses M-Estimator, which need a criterion function that is constructed using the knowledge of ergodic theorem. This period estimator is a consistent estimator for the period."

"Tugas akhir mi membahas cara pembuatan prosedur dan program pembuktian teorema dengan bahasa Turbo Prolog. Dalam hal ini Turbo Prolog digunakan sebagai alat pembukti teorerna. Juga dijelaskan logika dan dasar-dasar cara pembuatan prosedur dan program tersebut, diantaranya yang terpenting adalah dasar dan cara kerja Turbo Prolog, yaitu pembuktian dengan kontradiksi."

"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. "

"Pada topologi, homeomorfisme adalah pemetaan antara ruang topologi yang bersifat bijektif, kontinu, dan memiliki invers kontinu. Keberadaan homeomorfisme antara dua ruang topologi mengakibatkan ruang-ruang tersebut dianggap sama secara topologi. Dalam topologi, salah satu masalah utama yang dihadapi adalah masalah penentuan keberadaan homeomorfisme antara dua ruang topologi. Invarian topologi adalah sifat dari ruang topologi yang tidak berubah terhadap homeomorfisme, sehingga invarian topologi sering digunakan pada penetuan keberadaan homeomorfisme antara ruang-ruang topologi. Salah satu invarian topologi pada topologi aljabar adalah grup fundamental, yang merupakan grup dari kelas-kelas ekuivalensi gelung (loop) pada ruang topologi. Teorema van Kampen adalah sebuah teorema mengenai homomorfisme antara grup fundamental dari ruang topologi, yang dapat digunakan untuk menentukan grup fundamental dari ruang topologi yang dapat didekomposisi menjadi ruang topologi yang lebih sederhana. Pada tugas akhir ini, dibuktikan kembali teorema van Kampen secara rinci.

---

In topology, homeomorphism is a bijective continuous mapping between topological spaces with continuous inverse. The existence of homeomorphism between two topological spaces results in those spaces being considered topologically equivalent. A main problem faced in topology is the problem of determining the existence of homeomorphism between two topological spaces. Topological invariant is a property of topological space that does not change under homeomorphism, so so topological invariants are often used in determining the existence of homeomorphisms between topological spaces. One of the topological invariants used in algebraic topology is fundamental space, which is the group of equivalence classes of loops in topological spacae. Van Kampen theorem is a theorem about homomorphism between fundamental group of topological spaces, which can be used to determine fundamental group of topological space that can be decomposed into simpler topological space. This thesis will provide a detailed proof of van Kampen theorem."