Güncel (matematik) - Current (mathematics) - Wikipedia

İçinde matematik, daha özel olarak fonksiyonel Analiz, diferansiyel topoloji, ve geometrik ölçü teorisi, bir kakım anlamında Georges de Rham bir işlevsel alanında kompakt olarak desteklenen diferansiyel k-formlar, bir pürüzsüz manifold M. Akımlar resmen şöyle davranır Schwartz dağıtımları diferansiyel formların uzayında, ancak geometrik bir ortamda, bir altmanifold üzerinden entegrasyonu temsil edebilirler, Dirac delta işlevi veya daha genel olarak bile yönlü türevler delta fonksiyonlarının (çok kutuplu ) alt kümeleri boyunca yayılmış M.

Tanım

İzin Vermek pürüzsüz alanı gösterir m-formlar ile Yoğun destek bir pürüzsüz manifold . Bir akım bir doğrusal işlevsel açık anlamında sürekli olan dağıtımlar. Böylece doğrusal bir işlevsel

bir mboyutsal akım eğer öyleyse sürekli şu anlamda: Bir dizi Düzgün formların tümü aynı kompakt sette desteklenir, öyle ki tüm katsayılarının tüm türevleri eşit olarak 0'a eğilimli olduğunda sonsuza meyillidir, o zaman 0 eğilimindedir.

Boşluk nın-nin mboyutsal akımlar bir gerçek vektör alanı tarafından tanımlanan operasyonlarla

Dağılım teorisinin çoğu, minimum ayarlamayla akımlara aktarılır. Örneğin, biri tanımlanabilir destek bir akımın en büyüğünün tamamlayıcısı olarak açık küme öyle ki

her ne zaman

doğrusal alt uzay nın-nin kompakt bir alt kümesi olan (yukarıdaki anlamda) destekli akımlardan oluşur gösterilir .

Homolojik teori

Entegrasyon bir kompakt üzerinde düzeltilebilir yönelimli altmanifold M (sınır ile ) boyut m tanımlar m-cari, ile gösterilir :

Eğer sınırM nın-nin M düzeltilebilir, o zaman da entegrasyon yoluyla bir akımı tanımlar ve Stokes teoremi birinde var:

Bu, dış türev d ile sınır operatörü ∂ üzerinde homoloji nın-nin M.

Bu formül ışığında yapabiliriz tanımlamak a sınır operatörü keyfi akımlarda

dış türev ile dualite yoluyla

kompakt olarak desteklenen tümü için m-formlar ω.

Altında kapalı olan bazı akım alt sınıfları Bir homoloji teorisi oluşturmak için tüm akımlar yerine kullanılabilir, Eilenberg – Steenrod aksiyomları belirli durumlarda. Klasik bir örnek, Lipschitz mahallesindeki geri çekmelerdeki integral akımların alt sınıfıdır.

Topoloji ve normlar

Akımların alanı doğal olarak şu özelliklere sahiptir: zayıf- * topoloji, buna ayrıca basitçe zayıf yakınsama. Bir sıra Tk akımların yakınsak akıntıya T Eğer

Birkaç tane tanımlamak mümkündür normlar tüm akımların uzayının alt uzaylarında. Böyle bir norm, kitle normu. Eğer an bir m-form, sonra tanımlayın komass tarafından

Yani eğer ω bir basit m-form, o zaman kütle normu normal L'dir- katsayısının formu. kitle bir akımın T daha sonra şu şekilde tanımlanır:

Bir akımın kütlesi, ağırlıklı alan genelleştirilmiş yüzeyin. Öyle bir akım M(T) <∞, normal bir Borel ölçümünün bir sürümüne entegrasyonu ile gösterilebilir. Riesz temsil teoremi. Bu başlangıç ​​noktasıdır homolojik entegrasyon.

Orta düzey bir norm, Whitney'in düz norm, tarafından tanımlanan

Küçük bir parçadan uzaklaşırsa, kütle normuna iki akım yakındır. Öte yandan, küçük bir deformasyona denk gelirlerse düz normuna yakındırlar.

Örnekler

Hatırlamak

böylece aşağıdaki bir 0-akımı tanımlar:

Özellikle her imzalı düzenli ölçü 0 akımdır:

İzin Vermek (x, y, z) koordinatlar olarak3. Daha sonra, aşağıdaki 2-akımı tanımlar (birçok akımdan biri):

Ayrıca bakınız

Referanslar

  • de Rham, G. (1973), Çeşitlilik Farklılıkları, Actualites Scientifiques et Industrielles (Fransızca), 1222 (3. baskı), Paris: Hermann, s. X + 198, Zbl  0284.58001.
  • Federer, Herbert (1969), Geometrik ölçü teorisi, Die Grundlehren der mathematischen Wissenschaften, 153, Berlin – Heidelberg – New York: Springer-Verlag, s. xiv + 676, ISBN  978-3-540-60656-7, BAY  0257325, Zbl  0176.00801.
  • Whitney, H. (1957), Geometrik Entegrasyon Teorisi, Princeton Matematiksel Serisi 21, Princeton, NJ ve Londra: Princeton University Press ve Oxford University Press, s. XV + 387, BAY  0087148, Zbl  0083.28204.
  • Lin, Fanghua; Yang, Xiaoping (2003), Geometrik Ölçü Teorisi: Girişİleri Matematik (Pekin / Boston), 1, Beijing / Boston: Science Press / International Press, s. X + 237, ISBN  978-1-57146-125-4, BAY  2030862, Zbl  1074.49011

Bu makale, Current on PlanetMath altında lisanslı olan Creative Commons Atıf / Benzer Paylaşım Lisansı.