Aljabar Linear Grafis

 (graphicallinearalgebra.net)
2 poin oleh GN⁺ 2025-07-12 | 1 komentar | Bagikan ke WhatsApp
  • Aljabar Linear Grafis adalah blog yang menjelaskan konsep aljabar linear dan teori kategori secara menarik dengan memanfaatkan diagram
  • Setiap episode mendekati topik matematika inti seperti penjumlahan, matriks, bilangan bulat, pecahan, dan subruang secara visual
  • Blog ini memberikan interpretasi kategoris seperti PROPs, kategori monoidal, dan relasi linear untuk memperkuat keterkaitannya dengan aljabar linear yang sudah ada
  • Blog ini berorientasi pada komunitas riset dan pembelajaran terbuka untuk peneliti dan pelajar
  • Juga terhubung aktif dengan kontribusi eksternal, lokakarya, dan proyek penerjemahan terkait

Pengantar Aljabar Linear Grafis

  • Aljabar Linear Grafis (Graphic Linear Algebra) adalah blog yang berfokus pada diagram visual untuk menjelaskan dengan mudah konsep matematika abstrak seperti aljabar linear dan teori kategori
  • Tujuan utamanya adalah keluar dari aljabar linear konvensional yang berpusat pada rumus, lalu menyampaikan konsep yang kompleks agar lebih mudah dipahami melalui pemikiran visual dan penalaran diagramatik
  • Banyak episode membahas konsep utama, algoritme, relasi, studi kasus, dan lainnya menurut kategorinya masing-masing, dan isinya terus diperluas serta diperbarui sebagai proyek terbuka yang sedang diteliti
  • Blog ini menyediakan ruang belajar dan komunikasi yang mempertimbangkan pembaca dari berbagai latar belakang seperti peneliti, mahasiswa pascasarjana, dan pengembang profesional

Episode utama dan strukturnya

Introduction

  • Terdiri dari episode yang membahas dasar-dasar seperti Makélélé dan aljabar linear, metodologi argumentasi, serta pengenalan diagram

Adding and Copying

  • Menjelajahi hakikat bilangan natural dan operasi seperti penjumlahan, penyalinan, pembuangan, dan definisi aturan dengan logika diagramatik
  • Ditandai dengan contoh yang akrab dan gaya penceritaan seperti Mr Fibonacci dan analogi Lego
  • Menunjukkan secara visual bagaimana operasi penjumlahan dan penyalinan terhubung dengan struktur bilangan natural

Matrices and PROPs

  • Memperkenalkan konsep teori kategori tingkat lanjut seperti matriks, PROPs(Products and Permutations categories), dan kategori monoidal
  • Menjelaskan berbagai transformasi seperti peralihan dari diagram ke matriks, isomorfisme PROP, dan representasi diagramatik matriks
  • Melalui pendekatan kategoris ini, blog menekankan hakikat dan perluasan aljabar linear

Integers and Relations

  • Membahas topik lanjutan seperti matriks bilangan bulat, kausalitas dan umpan balik, fungsi dan relasi, serta rumus Frobenius
  • Menjelaskan teori bilangan, relasi, fungsi, dan berbagai struktur matematika dengan metode diagramatik

Fractions and Spaces

  • Mendekati perluasan aljabar linear dari berbagai sudut pandang, mulai dari pecahan, subruang, relasi linear, matriks invers, hingga ketidakmungkinan pembagian
  • Melalui diagram, operasi yang kompleks, penataan struktur ruang, dan teorema invers matriks dapat ditafsirkan dengan lebih mudah

Redundancy – trilogi Jason Erbele

  • Menghadirkan sudut pandang baru dengan tema utama redundansi di dalam Aljabar Linear Grafis

Interlude – diagram string dan tata bahasa peka sumber daya

  • Menekankan makna dan kegunaan string diagrams

Sequences and Signal Flow Graphs

  • Membahas model berbasis urutan seperti deret Fibonacci dan grafik aliran sinyal

Out of order

  • Membahas secara selektif topik lanjutan seperti proyeksi ortogonal dan nilai eigen

Contributions

  • Termasuk kontribusi khusus dari peneliti eksternal seperti determinan dan Lindström-Gessel-Vienot Lemma

Offtopic

  • Sesekali membahas kabar komunitas matematika dan TI seperti isu universitas dan lingkungan riset, diskusi monoid-monad-category, serta informasi lokakarya

Panduan belajar dan komunitas

  • Blog ini ditulis dalam bahasa Inggris, dan partisipasi penerjemahan ke berbagai bahasa juga aktif
  • Menyediakan informasi terkait proyek riset terbuka seperti ACT (Applied Category Theory) research school
  • Tersedia peluang partisipasi seperti kanal langganan dan umpan balik, perekrutan mahasiswa doktoral, serta proyek penerjemahan

Ciri khas dan makna

  • Secara sistematis mengeksplorasi cara memanfaatkan diagram sebagai alat visualisasi dalam pendidikan aljabar linear, teori kategori, dan algoritme
  • Bahkan pembaca yang tidak terbiasa dengan rumus dapat memperoleh dasar untuk memahami struktur matematika yang kompleks melalui pendekatan intuitif dan contoh berulang
  • Sebagai platform terbuka, ini adalah materi pembelajaran yang memudahkan akses ke riset terbaru, kontribusi, dan jejaring

Bacaan terkait

1 komentar

 
GN⁺ 2025-07-12
Komentar Hacker News

  • Saat komputasi dikodekan sebagai interaction combinators yang simetris dalam jaringan interaksi, sangat mengesankan bahwa beberapa diagram memiliki bentuk yang nyaris sama
    Dari sudut pandang lambda calculus, cara node penjumlahan dalam tulisan 'When Adding met Copying' digandakan persis sesuai dengan penggandaan berulang suku lambda seperti bentuk (λx.x x) M
    Untuk detail lebih lanjut, lihat tulisan ini dan penjelasan diagram

  • Saat pertama kali membaca bab yang benar-benar menjelaskan graf dan commutativity, saya merasa itu menjelaskan konsep sederhana secara bertele-tele
    Namun saya memang selalu sulit mengingat istilah matematika yang dimulai dengan huruf c, seperti commutativity, associativity, dan semacamnya
    Melalui representasi grafis, saya untuk pertama kalinya benar-benar mengingat apa itu commutativity, dan kaitannya begitu menarik sampai saya tertawa keras
    Rumus x + y = y + x sendiri saya pahami, tetapi diagram grafisnya jauh lebih kuat tertanam di kepala bersama namanya
    Saya benar-benar terpikat dengan cara penjelasan ini

    • Saya penasaran bab yang mana itu
      Sepertinya tidak ada di daftar isi

  • Ini tentang Transformers yang digeneralisasi dari Applicative Functors
    Dalam machine learning, Transformer menjadi fondasi model-model mutakhir, dan awalnya diperkenalkan di [arXiv:1706.03762]
    Postingan ini memperkenalkan Transformer yang digeneralisasi dan dapat bekerja pada (hampir) sembarang struktur—fungsi, graf, distribusi probabilitas, dan sebagainya
    Yang dibahas adalah cara menerapkannya ke beragam struktur, tidak hanya terbatas pada matriks atau vektor
    Ini merupakan bagian dari rangkaian ide untuk mengeksplorasi machine learning dengan pendekatan diagram abstrak seperti ini
    Detail selengkapnya bisa dilihat di sini

  • Saya sangat menyukai materi seperti ini, tetapi saya menyayangkan penggunaan berulang kata-kata seperti "mudah" atau "sederhana"
    Bagi pembaca yang tidak langsung memahami konsep saat membaca penjelasan, ini justru bisa membuat mereka merasa lamban dan akhirnya frustrasi atau menyerah
    Kata-kata seperti ini, yang dimaksudkan untuk menciptakan kesan ramah, justru bisa berefek sebaliknya, jadi perlu hati-hati
    Sebaiknya jangan pernah menggunakan kata seperti "jelas" atau "obvious" dalam dokumentasi
    Jika memang benar-benar jelas, pembaca tidak akan perlu membaca dokumentasinya sejak awal

    • Ini masukan yang sangat bagus
      Luapan emosi yang terlalu eksplisit dalam tulisan—misalnya menulis secara langsung "bagian ini membuat saya marah"—justru bisa mengurangi keterlibatan pembaca
      Tunjukkan inti yang ingin disampaikan, lalu jelaskan dengan jelas dan ringkas, maka pembaca bisa memahaminya sendiri dengan lebih mudah
      Daripada memaksa pembaca menerima penilaian bahwa sesuatu itu "mudah dipahami", lebih baik berharap pembaca dari berbagai tingkat kemampuan mampu menanggung tantangannya
      Karena hampir mustahil semua pembaca langsung memahami semuanya dengan mudah, kita perlu berusaha menyampaikan sejelas dan semudah mungkin, sambil menerima bahwa tingkat kesulitan yang dirasakan tiap pembaca bisa berbeda-beda
    • Ini juga mengingatkan pada kebiasaan implisit yang sudah akrab: "Bukti ini sepele, jadi dihilangkan"

  • Saat materi ini terbit, saya sangat menikmati membacanya, bahkan sempat mengikutinya bersama para mahasiswa
    Tapi sekarang tampaknya sudah terhenti, dan itu disayangkan

    • Saya penasaran siapa yang menulis materi ini
      Sepertinya pawel... tapi saya tidak yakin

  • "Yang diajarkan internet kepada kita adalah manusia + anonimitas = sikap menyebalkan"
    Ini salah satu pepatah favorit saya, dan akan terasa makin relevan jika melihat komik Penny Arcade

  • Beberapa tahun lalu, ketika saya membaca beberapa bab dari materi ini, untuk pertama kalinya saya menyadari betapa kuatnya representasi diagram dalam penalaran logis
    Saya memang tidak pernah melakukan sesuatu yang praktis dengan string diagrams, tetapi sangat menyenangkan melihat hal-hal yang bisa dilakukan dengan sistem ini

    • Saya mengalami pencerahan serupa saat menonton seri Calculus dari 3Blue1Brown
      Saya jadi merasa, andai kalkulus diajarkan di sekolah dengan materi visual seperti itu, pemahaman dan minat saya pasti akan jauh lebih besar
      Saya kembali terkejut melihat betapa besar kekuatan representasi visual dalam mendorong pemahaman

  • Saya tidak pernah sepenuhnya memahami ini, tetapi ini mengingatkan saya pada zx-calculus
    Pengenalan ZX-calculus (wiki)

  • Ini mengingatkan saya pada penelitian Bob Coecke dari University of Oxford yang merancang bahasa bergambar untuk quantum processes

  • Saya juga ingin merekomendasikan materi berjudul Immersive Linear Algebra
    Anda bisa melihat lebih detail di situs Immersive Linear Algebra dan thread Hacker News-nya (di sini)