<?xml version="1.0" encoding="UTF-8"?>
<rss  xmlns:atom="http://www.w3.org/2005/Atom" 
      xmlns:media="http://search.yahoo.com/mrss/" 
      xmlns:content="http://purl.org/rss/1.0/modules/content/" 
      xmlns:dc="http://purl.org/dc/elements/1.1/" 
      version="2.0">
<channel>
<title>Youssef Kharchouf</title>
<link>https://nightowl97.github.io/personal_blog/</link>
<atom:link href="https://nightowl97.github.io/personal_blog/index.xml" rel="self" type="application/rss+xml"/>
<description>Youssef Kharchouf&#39;s personal notes</description>
<generator>quarto-1.9.37</generator>
<lastBuildDate>Sat, 09 May 2026 22:00:00 GMT</lastBuildDate>
<item>
  <title>Lectures notes on the Geometrical Anatomy of Theoretical Physics</title>
  <link>https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/</link>
  <description><![CDATA[ 





<p>Notes from <a href="https://www.youtube.com/playlist?list=PLPH7f_7ZlzxTi6kS4vCmv4ZKm9u8g5yic">this lecture series</a> by Frederic Schuller, building the mathematical background for Classical Mechanics, Statistical Mechanics, SR, GR, EM &amp; QM.</p>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/V49i_LM8B0E" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<section id="introduction-logic-of-propositions-and-predicates" class="level2">
<h2 class="anchored" data-anchor-id="introduction-logic-of-propositions-and-predicates">Introduction — Logic of Propositions and Predicates</h2>
<section id="structure-of-the-course" class="level3">
<h3 class="anchored" data-anchor-id="structure-of-the-course">Structure of the Course</h3>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Screenshot_from_2021-11-07_01-56-56.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
<section id="i.i-propositional-logic" class="level3">
<h3 class="anchored" data-anchor-id="i.i-propositional-logic">I.I: Propositional Logic</h3>
</section>
</section>
<section id="chapter-i-axiomatic-set-theory" class="level2">
<h2 class="anchored" data-anchor-id="chapter-i-axiomatic-set-theory">Chapter I: Axiomatic Set Theory</h2>
<p>A <em>proposition</em> is a variable that can be true or false. No others. We can create new propositions from given ones using <em>logical operators.</em></p>
<section id="a-unary-operators" class="level3">
<h3 class="anchored" data-anchor-id="a-unary-operators">a) Unary Operators</h3>
<table class="caption-top table">
<thead>
<tr class="header">
<th>P</th>
<th>Not P</th>
<th>Identity</th>
<th>Tautology</th>
<th>Contradiction</th>
</tr>
</thead>
<tbody>
<tr class="odd">
<td>T</td>
<td>F</td>
<td>T</td>
<td>T</td>
<td>F</td>
</tr>
<tr class="even">
<td>F</td>
<td>T</td>
<td>F</td>
<td>T</td>
<td>F</td>
</tr>
</tbody>
</table>
</section>
<section id="i.iv-the-epsilon-relation" class="level3">
<h3 class="anchored" data-anchor-id="i.iv-the-epsilon-relation">I.IV The <img src="https://latex.codecogs.com/png.latex?%5Cepsilon">-relation</h3>
<p>Set Theory is built on the postulate that there is a fundamental relation<sup>1</sup> called <img src="https://latex.codecogs.com/png.latex?%5Cepsilon">. There will not be a definition in the strict sense of what <img src="https://latex.codecogs.com/png.latex?%5Cepsilon"> or what a set is. Instead, there will be 9 axioms that speak of <img src="https://latex.codecogs.com/png.latex?%5Cepsilon"> and of sets.</p>
<section id="overview-of-axioms" class="level4">
<h4 class="anchored" data-anchor-id="overview-of-axioms">Overview of Axioms</h4>
<p>Using the <img src="https://latex.codecogs.com/png.latex?%5Cepsilon">-relation we can immediately define:</p>
<p><img src="https://latex.codecogs.com/png.latex?x%20%5Cnotin%20y%20%5Ciff%20%5Cneg(x%20%5Cin%20y)"></p>
<p><img src="https://latex.codecogs.com/png.latex?x%5Csubseteq%20y%20%5Ciff%20%5Cforall%20a:%20(a%20%5Cin%20x%20%5Cimplies%20a%20%5Cin%20y)"></p>
<p><img src="https://latex.codecogs.com/png.latex?x%20=%20y%20%5Ciff%20(x%20%5Csubseteq%20y)%5C%20%5Cland%5C%20(y%20%5Csubseteq%20x)"></p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
</section>
<section id="i.v-zermelo-fraenkel-axioms-of-set-theory" class="level3">
<h3 class="anchored" data-anchor-id="i.v-zermelo-fraenkel-axioms-of-set-theory">I.V Zermelo-Fraenkel Axioms of Set Theory</h3>
<section id="axiom-on-the-epsilon-relation-e" class="level4">
<h4 class="anchored" data-anchor-id="axiom-on-the-epsilon-relation-e">Axiom on the <img src="https://latex.codecogs.com/png.latex?%5Cepsilon">-relation (E)</h4>
<p><img src="https://latex.codecogs.com/png.latex?x%20%5Cin%20y"> is a proposition (either true or false) if and only if <img src="https://latex.codecogs.com/png.latex?x"> and <img src="https://latex.codecogs.com/png.latex?y"> are <strong>both</strong> sets.</p>
<p><em>Counterexample (Russell’s Paradox and naive Set Theory):</em></p>
<p>Assume there is a set <img src="https://latex.codecogs.com/png.latex?u"> of all sets that do not contain themselves:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cexists%20u:%20%5Cforall%20z:%20(z%20%5Cin%20u%20%5Ciff%20z%20%5Cnotin%20z)"></p>
<p>Is <img src="https://latex.codecogs.com/png.latex?u"> a set? If so, one must decide whether <img src="https://latex.codecogs.com/png.latex?u%20%5Cin%20u"> is true or false<sup>2</sup>.</p>
<p><strong>Assume <img src="https://latex.codecogs.com/png.latex?u%20%5Cin%20u"> is true:</strong> then by definition <img src="https://latex.codecogs.com/png.latex?u%20%5Cnotin%20u">, which is contradictory.</p>
<p><strong>Assume <img src="https://latex.codecogs.com/png.latex?u%20%5Cin%20u"> is false:</strong> <img src="https://latex.codecogs.com/png.latex?%5Ciff%20u%20%5Cin%20u">, also a contradiction.</p>
<p>We must conclude therefore that <img src="https://latex.codecogs.com/png.latex?u"> <strong><em>is not a set.</em></strong></p>
<p><img src="https://latex.codecogs.com/png.latex?x%20%5Cin%20y"> is either true or false, formally:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cforall%20x:%20%5Cforall%20y:%20(x%20%5Cin%20y)%20%5Cveebar(x%5Cnotin%20y)"></p>
</section>
<section id="axiom-on-the-existence-of-the-empty-set-e" class="level4">
<h4 class="anchored" data-anchor-id="axiom-on-the-existence-of-the-empty-set-e">Axiom on the Existence of the Empty Set (E)</h4>
<p>There exists a set that contains no elements:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cexists%20x:%20%5Cforall%20y:%5C%20y%5Cnotin%20x"></p>
<p><strong>Theorem.</strong> There is only one empty set, we therefore call it <img src="https://latex.codecogs.com/png.latex?%5Cvarnothing">.</p>
<p><strong>Proof (textbook).</strong> Assume <img src="https://latex.codecogs.com/png.latex?x"> and <img src="https://latex.codecogs.com/png.latex?x'"> are both empty sets:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cforall%20y:%20y%20%5Cin%20x%20%5Cimplies%20y%20%5Cin%20x'"></p>
<p><img src="https://latex.codecogs.com/png.latex?x%20%5Csubset%20x'"><sup>3</sup></p>
<p>Conversely:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cforall%20y:%20y%20%5Cin%20x'%20%5Cimplies%20y%20%5Cin%20x"></p>
<p><img src="https://latex.codecogs.com/png.latex?x'%20%5Csubset%20x"></p>
<p><img src="https://latex.codecogs.com/png.latex?x%20=%20x'%20%5Cimplies%20%5Ctext%7Bthe%20empty%20sets%20must%20be%20the%20same%7D"></p>
<p><strong>Proof (formal).</strong></p>
<p><img src="https://latex.codecogs.com/png.latex?a_1%20%5CLeftrightarrow%20%5Cforall%20y:%20y%5Cnotin%20x"></p>
<p><img src="https://latex.codecogs.com/png.latex?a_2%20%5CLeftrightarrow%20%5Cforall%20y:%20y%5Cnotin%20x'"></p>
<p><img src="https://latex.codecogs.com/png.latex?q_1%20%5CLeftrightarrow%20%5Cforall%20y:%20y%5Cnotin%20x%20%5Cimplies%20%5Cforall%20y:%20(y%20%5Cin%20x%20%5Cimplies%20y%20%5Cin%20x')"></p>
<p><img src="https://latex.codecogs.com/png.latex?q_2%20%5CLeftrightarrow%20%5Cforall%20y:%20y%5Cnotin%20x"></p>
<p><img src="https://latex.codecogs.com/png.latex?q_3%20%5CLeftrightarrow%20q_1%20%5Cland%20q_2%20%5CLeftrightarrow%20%5Cforall%20y:%20(y%20%5Cin%20x%20%5Cimplies%20y%20%5Cin%20x')"></p>
<p>Similar steps to get <img src="https://latex.codecogs.com/png.latex?x'%20%5Cin%20x%20%5Cimplies%20x%20=%20x'">.</p>
</section>
<section id="axiom-on-pair-sets-p" class="level4">
<h4 class="anchored" data-anchor-id="axiom-on-pair-sets-p">Axiom on Pair Sets (P)</h4>
<p>Let <img src="https://latex.codecogs.com/png.latex?x"> and <img src="https://latex.codecogs.com/png.latex?y"> be sets. There exists a set that contains as its elements precisely <img src="https://latex.codecogs.com/png.latex?x"> and <img src="https://latex.codecogs.com/png.latex?y">:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cforall%20x:%20%5Cforall%20y:%20%5Cexists%20m:%20%5Cforall%20u:%20(u%20%5Cin%20m%20%5CLeftrightarrow%20u%20=%20x%20%5Clor%20u%20=%20y)"></p>
<p><strong>Notation.</strong> Denote this set <img src="https://latex.codecogs.com/png.latex?m"> by <img src="https://latex.codecogs.com/png.latex?%5C%7Bx,y%5C%7D">.<sup>4</sup></p>
<p><strong>Definition.</strong> <img src="https://latex.codecogs.com/png.latex?%5C%7Bx%5C%7D%20%5Ccoloneqq%20%5C%7Bx,%20x%5C%7D"></p>
</section>
<section id="axiom-on-union-sets-u" class="level4">
<h4 class="anchored" data-anchor-id="axiom-on-union-sets-u">Axiom on Union Sets (U)</h4>
<p>Let <img src="https://latex.codecogs.com/png.latex?x"> be a set, there exists a set <img src="https://latex.codecogs.com/png.latex?u"> whose elements are precisely the elements of the elements of <img src="https://latex.codecogs.com/png.latex?x">.</p>
<p><strong>Notation.</strong> <img src="https://latex.codecogs.com/png.latex?u%20=%20%5Ccup%5C%20x"></p>
<p><strong>Example.</strong> Let <img src="https://latex.codecogs.com/png.latex?a,%20b"> be sets. Using the pair sets axiom: <img src="https://latex.codecogs.com/png.latex?%5Cimplies%20%5C%7Ba%5C%7D"> is a set, <img src="https://latex.codecogs.com/png.latex?%5C%7Bb%5C%7D"> is a set <img src="https://latex.codecogs.com/png.latex?%5Cimplies%20x%20=%20%5C%7B%5C%7Ba%5C%7D,%20%5C%7Bb%5C%7D%5C%7D"> is a set, <img src="https://latex.codecogs.com/png.latex?%5Ccup%20x%20=%20%5C%7Ba,%20b%5C%7D"></p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?a,b,c"> are sets: <img src="https://latex.codecogs.com/png.latex?x%20=%20%5C%7B%5C%7Ba%5C%7D,%20%5C%7Bb,c%5C%7D%5C%7D"> is a set <img src="https://latex.codecogs.com/png.latex?%5Cimplies%20%5Ccup%20x%20%5Ccoloneqq%20%5C%7Ba,b,c%5C%7D"> is a set</p>
<p><strong>Definition.</strong> Let <img src="https://latex.codecogs.com/png.latex?a_1,%20a_2,%20..,%20a_N"> be sets, recursively for all <img src="https://latex.codecogs.com/png.latex?N%20%5Cgeq%203">:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5C%7Ba_1,..,%20a_%7BN%7D%5C%7D%20%5Ccoloneqq%20%5Cbigcup%20%5C%7B%5C%7Ba_1,%20..,%20a_%7BN-1%7D%5C%7D,%20%5C%7Ba_N%5C%7D%5C%7D"></p>
</section>
<section id="axiom-of-replacement-r" class="level4">
<h4 class="anchored" data-anchor-id="axiom-of-replacement-r">Axiom of Replacement (R)</h4>
<p>Let <img src="https://latex.codecogs.com/png.latex?R"> be a functional relation and <img src="https://latex.codecogs.com/png.latex?m"> be a set. The image of <img src="https://latex.codecogs.com/png.latex?m"> under <img src="https://latex.codecogs.com/png.latex?R"> is again a set.</p>
<p><strong>Definition.</strong> A relation <img src="https://latex.codecogs.com/png.latex?R"> is called functional if <img src="https://latex.codecogs.com/png.latex?%5Cforall%20x:%20%5Cexists!%20y:%20R(x,y)">.</p>
<p>The image of a set <img src="https://latex.codecogs.com/png.latex?m"> under a functional relation <img src="https://latex.codecogs.com/png.latex?R"> consists of all <img src="https://latex.codecogs.com/png.latex?y"> for which there is <img src="https://latex.codecogs.com/png.latex?x%20%5Cin%20m"> such that <img src="https://latex.codecogs.com/png.latex?R(x,y)">.</p>
<p><strong>Theorem.</strong> Let <img src="https://latex.codecogs.com/png.latex?P"> be a predicate of one variable and <img src="https://latex.codecogs.com/png.latex?m"> a set. The elements <img src="https://latex.codecogs.com/png.latex?y%5Cin%20m"> for which <img src="https://latex.codecogs.com/png.latex?P(y)"> holds constitute a set.</p>
<p><strong>Notation.</strong> <img src="https://latex.codecogs.com/png.latex?%5C%7B%5C%20y%20%5Cin%20m%5C%20%7C%5C%20P(y)%5C%20%5C%7D"></p>
<p><strong>Proof.</strong> Case 1: <img src="https://latex.codecogs.com/png.latex?%5Cneg%20(%5Cexists%20y%20%5Cin%20m):%20P(y)"> — in this case <img src="https://latex.codecogs.com/png.latex?%5C%7By%20%5Cin%20m%20%7C%20P(y)%5C%7D%20%5Ccoloneqq%20%5Cemptyset">.</p>
<p>Case 2: <img src="https://latex.codecogs.com/png.latex?(%5Cexists%20y'%20%5Cin%20m):%20P(y')">, then define <img src="https://latex.codecogs.com/png.latex?R(x,y)%20%5Ccoloneqq%20(P(x)%20%5Cland%20x%20=%20y)%20%5Clor%20(%5Cneg%20P(x)%20%5Cland%20y%20=%20y')">.</p>
<p><strong>Definition.</strong> <img src="https://latex.codecogs.com/png.latex?%5C%7By%20%5Cin%20m%5C%20%7C%20P(y)%5C%7D%20%5Ccoloneqq%20%5Ctext%7Bim%7D_R(m)"></p>
<p><strong>Definition.</strong> Let <img src="https://latex.codecogs.com/png.latex?x%20%5Csubset%20m">, then <img src="https://latex.codecogs.com/png.latex?m%5Csetminus%20n%20%5Ccoloneqq%20%5C%7Bx%20%5Cin%20m%20%5Cmid%20x%20%5Cnotin%20n%5C%7D"></p>
</section>
<section id="axiom-of-power-set-p" class="level4">
<h4 class="anchored" data-anchor-id="axiom-of-power-set-p">Axiom of Power Set (P)</h4>
<p>Let <img src="https://latex.codecogs.com/png.latex?m"> be a set, there exists a set denoted <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BP%7D(m)"> whose elements are the subsets of <img src="https://latex.codecogs.com/png.latex?m">.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?m%20=%20%5C%7Ba,%20b%5C%7D%20%5CRightarrow%20%5Cmathcal%7BP%7D(m)%20=%20%5C%7B%5Cvarnothing,%20%5C%7Ba%5C%7D,%20%5C%7Bb%5C%7D,%20%5C%7Ba,%20b%5C%7D%20%5C%7D"></p>
</section>
<section id="axiom-of-infinity-i" class="level4">
<h4 class="anchored" data-anchor-id="axiom-of-infinity-i">Axiom of Infinity (I)</h4>
<p>There exists a set that contains the empty set, and for every <img src="https://latex.codecogs.com/png.latex?y"> also contains <img src="https://latex.codecogs.com/png.latex?%5C%7By%5C%7D">.</p>
<p><strong>Remark.</strong> One such set contains the elements <img src="https://latex.codecogs.com/png.latex?%5Cvarnothing%20=%200,%20%5C%7B%5Cvarnothing%5C%7D%20=%201,%20%5C%7B%5C%7B%5Cvarnothing%5C%7D%5C%7D=2,%20%5C%7B%5C%7B%5C%7B%5Cvarnothing%5C%7D%5C%7D%5C%7D%20=%203">, …</p>
<p><strong>Corollary.</strong> <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BN%7D"> is a set.</p>
<p><strong>Remark.</strong> As a set, <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BR%7D"> can be understood as <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BP%7D(%5Cmathbb%7BN%7D)">.</p>
</section>
<section id="axiom-of-choice-c" class="level4">
<h4 class="anchored" data-anchor-id="axiom-of-choice-c">Axiom of Choice (C)</h4>
<p>Let <img src="https://latex.codecogs.com/png.latex?x"> be a set whose elements are non-empty and mutually disjoint (no intersections), then there exists a set <img src="https://latex.codecogs.com/png.latex?y"> which contains exactly one element of each element in <img src="https://latex.codecogs.com/png.latex?x">.</p>
<p><strong>Remark.</strong> The axiom of choice is independent of the other axioms — we could choose not to use it, but it is used in standard mathematics.</p>
<p><strong>Remark.</strong> The proof that every vector space has a basis requires the axiom of choice, as does the existence of a complete system of representatives of an equivalence relation.</p>
</section>
<section id="axiom-of-foundation-f" class="level4">
<h4 class="anchored" data-anchor-id="axiom-of-foundation-f">Axiom of Foundation (F)</h4>
<p>Every non-empty set <img src="https://latex.codecogs.com/png.latex?x"> contains an element <img src="https://latex.codecogs.com/png.latex?y"> that has none of its elements in common with <img src="https://latex.codecogs.com/png.latex?x">.</p>
<p>Immediate implication: there is no set that contains itself as an element — <img src="https://latex.codecogs.com/png.latex?x%20%5Cin%20x"> for no set <img src="https://latex.codecogs.com/png.latex?x">.</p>
</section>
</section>
<section id="i.vi-classification-of-sets" class="level3">
<h3 class="anchored" data-anchor-id="i.vi-classification-of-sets">I.VI Classification of Sets</h3>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/6EIWRg-6ftQ" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<p><strong>Definition.</strong> A map <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20A%20%5Crightarrow%20B"> is a relation such that for every <img src="https://latex.codecogs.com/png.latex?a%20%5Cin%20A"> there exists exactly one <img src="https://latex.codecogs.com/png.latex?b%20%5Cin%20B"> such that <img src="https://latex.codecogs.com/png.latex?%5Cphi(a,b)">.</p>
<p><strong>Terminology.</strong></p>
<ul>
<li><img src="https://latex.codecogs.com/png.latex?A"> is the domain of <img src="https://latex.codecogs.com/png.latex?%5Cphi"></li>
<li><img src="https://latex.codecogs.com/png.latex?B"> is the target</li>
<li><img src="https://latex.codecogs.com/png.latex?%5Cphi(A)%20%5Cequiv%20%5Ctext%7Bim%7D_%5Cphi(A)%20%5Ccoloneqq%20%5C%7B%5Cphi(a)%5C%20%7C%5C%20a%20%5Cin%20A%20%5C%7D"></li>
</ul>
<p><strong>Definition.</strong> A map <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20A%20%5Crightarrow%20B"> is:</p>
<ul>
<li>Surjective if <img src="https://latex.codecogs.com/png.latex?%5Cphi(A)%20=%20B"></li>
<li>Injective if <img src="https://latex.codecogs.com/png.latex?%5Cphi(a_1)%20=%20%5Cphi(a_2)%20%5Cimplies%20a_1%20=%20a_2"></li>
<li>Bijective if injective and surjective</li>
</ul>
<p><strong>Definition.</strong> Two sets are called set-theoretically isomorphic, <img src="https://latex.codecogs.com/png.latex?A%20%5Ccong%20B">, if there exists a bijection <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20A%20%5Crightarrow%20B">.</p>
<p><strong>Remark.</strong> If there is a bijection, then generically there are many.</p>
<section id="classification-of-sets" class="level4">
<h4 class="anchored" data-anchor-id="classification-of-sets">Classification of Sets</h4>
<p>A set <img src="https://latex.codecogs.com/png.latex?A"> is infinite if there exists a proper subset <img src="https://latex.codecogs.com/png.latex?B%20%5Csubset%20A"> that is isomorphic to <img src="https://latex.codecogs.com/png.latex?A">, i.e.&nbsp;<img src="https://latex.codecogs.com/png.latex?B%20%5Ccong%20A">.</p>
<ul>
<li><img src="https://latex.codecogs.com/png.latex?A"> is countably infinite if <img src="https://latex.codecogs.com/png.latex?A%20%5Ccong%20%5Cmathbb%7BN%7D"></li>
<li><img src="https://latex.codecogs.com/png.latex?A"> is non-countably infinite otherwise</li>
</ul>
<p>A set <img src="https://latex.codecogs.com/png.latex?A"> is finite if <img src="https://latex.codecogs.com/png.latex?A%20%5Ccong%20%5C%7B1,%202,%20..,%20N%5C%7D"> for some <img src="https://latex.codecogs.com/png.latex?N%20%5Cin%20%5Cmathbb%7BN%7D"> and we write <img src="https://latex.codecogs.com/png.latex?%7CA%7C%20=%20N">.</p>
<p>Given two maps <img src="https://latex.codecogs.com/png.latex?A%20%5Cxrightarrow%5B%5D%7B%5Cphi%7D%20B"> and <img src="https://latex.codecogs.com/png.latex?B%20%5Cxrightarrow%5B%5D%7B%5Cpsi%7D%20C"> one can construct a map <img src="https://latex.codecogs.com/png.latex?%5Cpsi%5Ccirc%5Cphi%20(a)%20=%20%5Cpsi(%5Cphi(a))"> known as the composition of maps.</p>
<p>Composition is associative: <img src="https://latex.codecogs.com/png.latex?%5Cxi%5Ccirc(%5Cpsi%5Ccirc%5Cphi)%20=%20(%5Cxi%5Ccirc%5Cpsi)%5Ccirc%5Cphi"></p>
<p><strong>Definition.</strong> The inverse map: <img src="https://latex.codecogs.com/png.latex?%5Cphi%5E%7B-1%7D:%20B%20%5Crightarrow%20A"> such that <img src="https://latex.codecogs.com/png.latex?%5Cphi%5E%7B-1%7D%5Ccirc%5Cphi%20=%20%5Ctext%7Bid%7D_A"> and <img src="https://latex.codecogs.com/png.latex?%5Cphi%20%5Ccirc%20%5Cphi%5E%7B-1%7D=%20%5Ctext%7Bid%7D_B">.</p>
<p><strong>Definition.</strong> Let <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20A%20%5Crightarrow%20B"> be any map and <img src="https://latex.codecogs.com/png.latex?V%20%5Csubset%20B">:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Ctext%7Bpreim%7D_%5Cphi(V)%20%5Ccoloneqq%20%5C%7Ba%20%5Cin%20A%5C%20%7C%5C%20%5Cphi(a)%20%5Cin%20V%5C%7D"></p>
</section>
</section>
<section id="i.vii-equivalence-relations" class="level3">
<h3 class="anchored" data-anchor-id="i.vii-equivalence-relations">I.VII Equivalence Relations</h3>
<p><strong>Definition.</strong> Let <img src="https://latex.codecogs.com/png.latex?M"> be a set and <img src="https://latex.codecogs.com/png.latex?%5Csim"> a relation such that:</p>
<ol type="1">
<li>Reflexivity: <img src="https://latex.codecogs.com/png.latex?%5Cforall%20m%20%5Cin%20M:%20m%20%5Csim%20m"></li>
<li>Symmetry: <img src="https://latex.codecogs.com/png.latex?%5Cforall%20m,n%20%5Cin%20M:%20m%5Csim%20n%20%5Cimplies%20n%5Csim%20m"></li>
<li>Transitivity: <img src="https://latex.codecogs.com/png.latex?%5Cforall%20m,n,p%20%5Cin%20M:%20(m%20%5Csim%20n)%20%5Cland%20(n%20%5Csim%20p)%20%5Cimplies%20m%20%5Csim%20p"></li>
</ol>
<p>Then <img src="https://latex.codecogs.com/png.latex?%5Csim"> is an equivalence relation.</p>
<p><strong>Definition.</strong> If <img src="https://latex.codecogs.com/png.latex?%5Csim"> is an equivalence relation on <img src="https://latex.codecogs.com/png.latex?M">, then for any <img src="https://latex.codecogs.com/png.latex?m%20%5Cin%20M">, define the set <img src="https://latex.codecogs.com/png.latex?%5Bm%5D%20%5Ccoloneqq%20%5C%7Bn%20%5Cin%20M%5C%20%7C%5C%20m%20%5Csim%20n%5C%7D%20%5Csubseteq%20M">, called the equivalence class of <img src="https://latex.codecogs.com/png.latex?m">.</p>
<p>Two key properties:</p>
<ol type="1">
<li><img src="https://latex.codecogs.com/png.latex?a%20%5Cin%20%5Bm%5D%20%5Cimplies%20%5Ba%5D%20=%20%5Bm%5D"> — any element of the class can be a representative</li>
<li>Either <img src="https://latex.codecogs.com/png.latex?%5Bm%5D%20=%20%5Bn%5D"> or <img src="https://latex.codecogs.com/png.latex?%5Bm%5D%20%5Ccap%20%5Bn%5D%20=%20%5Cvarnothing"></li>
</ol>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 1.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 2.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p>We see a coarser <img src="https://latex.codecogs.com/png.latex?M"> through the equivalence relation.</p>
<p><strong>Definition.</strong> Let <img src="https://latex.codecogs.com/png.latex?%5Csim"> be an equivalence relation on <img src="https://latex.codecogs.com/png.latex?M">. We define the <em>quotient set</em> <img src="https://latex.codecogs.com/png.latex?M%20/%5Csim"> (M modulo <img src="https://latex.codecogs.com/png.latex?%5Csim">) <img src="https://latex.codecogs.com/png.latex?%5Ccoloneqq%20%5C%7B%20%5Bm%5D%5C%20%7C%5C%20m%20%5Cin%20M%5C%7D">.</p>
<p><strong>Remark.</strong> Due to the axiom of choice, there exists a complete set of representatives for <img src="https://latex.codecogs.com/png.latex?%5Csim">, i.e.&nbsp;a set <img src="https://latex.codecogs.com/png.latex?R"> such that <img src="https://latex.codecogs.com/png.latex?R%5Ccong%20M/%5Csim">.</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 3.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 4.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Remark.</strong> This could be inconsistent because changing the representatives could change the class depending on how the map is defined, which leads to ill-defined maps.</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 5.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
<section id="i.viii-construction-of-mathbbn-mathbbz-mathbbq-and-mathbbr" class="level3">
<h3 class="anchored" data-anchor-id="i.viii-construction-of-mathbbn-mathbbz-mathbbq-and-mathbbr">I.VIII Construction of <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BN%7D,%5C%20%5Cmathbb%7BZ%7D,%5C%20%5Cmathbb%7BQ%7D"> and <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BR%7D"></h3>
<section id="naturals" class="level4">
<h4 class="anchored" data-anchor-id="naturals">Naturals</h4>
<p>Recall <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BN%7D%20%5Ccoloneqq%20%5C%7B0%20%5Ccoloneqq%20%5Cvarnothing,%201%20%5Ccoloneqq%20%5C%7B%5Cvarnothing%5C%7D,%202%20%5Ccoloneqq%20%5C%7B%5C%7B%5Cvarnothing%5C%7D%5C%7D,%20..%5C%7D"></p>
<p><strong>Definition.</strong> To establish addition on <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BN%7D">, we define a successor map:</p>
<p><img src="https://latex.codecogs.com/png.latex?S:%20%5Cmathbb%7BN%7D%20%5Crightarrow%20%5Cmathbb%7BN%7D,%5C%20n%20%5Crightarrow%20%5C%7Bn%5C%7D,%20%5Cqquad%20%5Ctext%7Be.g.%7D%5C%20S(2)%20=%20S(%5C%7B%5C%7B%5Cvarnothing%5C%7D%5C%7D)%20=%20%5C%7B%5C%7B%5C%7B%5Cvarnothing%5C%7D%5C%7D%5C%7D%20=%203"></p>
<p><strong>Definition.</strong> Predecessor map (<img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BN%7D%5E*%20%5Ccoloneqq%20%5Cmathbb%7BN%7D%5Cbackslash%5C%7B%5Cvarnothing%5C%7D">):</p>
<p><img src="https://latex.codecogs.com/png.latex?P:%20%5Cmathbb%7BN%7D%5E*%20%5Crightarrow%20%5Cmathbb%7BN%7D,%5Cquad%20n%20%5Crightarrow%20m%5C%20%7C%5C%20m%5Cin%20n,%20%5Cqquad%20%5Ctext%7Be.g.%7D%5C%20P(2)%20=%20P(%5C%7B%5C%7B%5Cvarnothing%5C%7D%5C%7D)%20=%20%5C%7B%5Cvarnothing%5C%7D%20=%201"></p>
<p><strong>Definition.</strong> The <img src="https://latex.codecogs.com/png.latex?n">-th power of <img src="https://latex.codecogs.com/png.latex?S">:</p>
<p><img src="https://latex.codecogs.com/png.latex?S%5En%20%5Ccoloneqq%20S%20%5Ccirc%20S%5E%7BP(n)%7D%5C%20%5Ctext%7Bif%7D%5C%20n%20%5Cin%20%5Cmathbb%7BN%7D%5E*,%20%5Cqquad%20S%5E0%20%5Ccoloneqq%20%5Ctext%7Bid%7D_%5Cmathbb%7BN%7D"></p>
<p><strong>Definition.</strong> Addition:</p>
<p><img src="https://latex.codecogs.com/png.latex?+:%20%5Cmathbb%7BN%7D%20%5Ctimes%20%5Cmathbb%7BN%7D%20%5Clongrightarrow%20%5Cmathbb%7BN%7D,%20%5Cqquad%20(m,n)%20%5Clongrightarrow%20m%20+%20n%20%5Ccoloneqq%20S%5En(m)"></p>
<p><strong>Generalization.</strong> Can show commutativity, associativity, and a neutral element.</p>
</section>
<section id="integers" class="level4">
<h4 class="anchored" data-anchor-id="integers">Integers</h4>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BZ%7D%20%5Ccoloneqq%20(%5Cmathbb%7BN%7D%20%5Ctimes%20%5Cmathbb%7BN%7D)%20/%20%5Csim"> given a suitable equivalence relation <img src="https://latex.codecogs.com/png.latex?%5Csim">.</p>
<p><strong>Definition.</strong> <img src="https://latex.codecogs.com/png.latex?%5Csim"> on <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BN%7D%5Ctimes%5Cmathbb%7BN%7D">: <img src="https://latex.codecogs.com/png.latex?(m,n)%20%5Csim%20(p,%20q)%20:%5Ciff%20m%20+%20q%20=%20p%20+%20n"></p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 6.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 7.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
<section id="rational-numbers" class="level4">
<h4 class="anchored" data-anchor-id="rational-numbers">Rational Numbers</h4>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BQ%7D%5Ccoloneqq%20(%5Cmathbb%7BZ%7D%5Ctimes%20%5Cmathbb%7BZ%7D%5E*)/%5Csim,%20%5Cqquad%20(x,y)%20%5Csim%20(u,%20v)%20:%5Ciff%20x%20%5Ccdot%20v%20=%20u%20%5Ccdot%20y"></p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(2,3)%20%5Csim%20(4,6)"> since <img src="https://latex.codecogs.com/png.latex?2%20%5Ccdot%206%20=%203%20%5Ccdot%204">.</p>
<p>Embedding of <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BZ%7D"> in <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BQ%7D">:</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 8.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 9.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Definition.</strong> <img src="https://latex.codecogs.com/png.latex?+_%5Cmathbb%7BQ%7D%20:%20%5Cmathbb%7BQ%7D%5Ctimes%5Cmathbb%7BQ%7D%5Clongrightarrow%20%5Cmathbb%7BQ%7D"> and <img src="https://latex.codecogs.com/png.latex?%5Ccdot_%5Cmathbb%7BQ%7D%20:%20%5Cmathbb%7BQ%7D%5Ctimes%5Cmathbb%7BQ%7D%5Clongrightarrow%20%5Cmathbb%7BQ%7D">:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5B(x,%5C%20y)%5D+_%5Cmathbb%7BQ%7D%5B(u,%5C%20v)%5D%5Ccoloneqq%20%5B(x%20%5Ccdot%20v+y%20%5Ccdot%20u,%5C%20y%20%5Ccdot%20v)%5D"></p>
<p><img src="https://latex.codecogs.com/png.latex?%5B(x,%5C%20y)%5D%5Ccdot_%5Cmathbb%7BQ%7D%5B(u,%5C%20v)%5D%5Ccoloneqq%20%5B(x%20%5Ccdot%20u,%5C%20y%20%5Ccdot%20v)%5D"></p>
</section>
<section id="reals" class="level4">
<h4 class="anchored" data-anchor-id="reals">Reals</h4>
<p>A quotient set <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BA%7D/%5Csim"> with <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BA%7D"> being the set of almost homomorphisms on <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BZ%7D"> and <img src="https://latex.codecogs.com/png.latex?%5Csim"> a suitable equivalence relation.</p>
</section>
</section>
</section>
<section id="chapter-ii-topological-spaces" class="level2">
<h2 class="anchored" data-anchor-id="chapter-ii-topological-spaces">Chapter II: Topological Spaces</h2>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/1wyOoLUjUeI" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<p><strong>Definition.</strong> Let <img src="https://latex.codecogs.com/png.latex?M"> be some set. A choice <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BO%7D%20%5Csubseteq%20%5Cmathcal%7BP%7D(M)"> is called a topology on <img src="https://latex.codecogs.com/png.latex?M"> if:</p>
<ol type="1">
<li><img src="https://latex.codecogs.com/png.latex?%5Cvarnothing%20%5Cin%20%5Cmathcal%7BO%7D"> and <img src="https://latex.codecogs.com/png.latex?M%20%5Cin%20%5Cmathcal%7BO%7D"></li>
<li><img src="https://latex.codecogs.com/png.latex?U,%20V%20%5Cin%20%5Cmathcal%7BO%7D%20%5Cimplies%20%5Cbigcap%5C%7BU,%20V%5C%7D%20%5Cin%20%5Cmathcal%7BO%7D"></li>
<li><img src="https://latex.codecogs.com/png.latex?C%20%5Csubseteq%20%5Cmathcal%7BO%7D%20%5Cimplies%20%5Cbigcup%20C%20%5Cin%20%5Cmathcal%7BO%7D"></li>
</ol>
<p>The pair <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> is called a <strong><em>topological space.</em></strong></p>
<p><strong>Examples.</strong></p>
<ol type="1">
<li><img src="https://latex.codecogs.com/png.latex?M"> is any set, <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BO%7D%20=%20%5C%7B%5Cvarnothing,%20M%5C%7D"> is the <em>chaotic topology</em></li>
<li><img src="https://latex.codecogs.com/png.latex?M"> is any set, <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BO%7D%20=%20%5Cmathcal%7BP%7D(M)"> is the <em>discrete topology</em></li>
<li><img src="https://latex.codecogs.com/png.latex?M%20=%20%5C%7B1,%202,%203%5C%7D,%20%5Cmathcal%7BO%7D%20=%20%5C%7B%20%5Cvarnothing,%20%5C%7B1%5C%7D,%20%5C%7B2%5C%7D,%20%5C%7B1,%202%5C%7D,%20%5C%7B1,%202,%203%5C%7D%5C%7D"></li>
</ol>
<table class="caption-top table">
<thead>
<tr class="header">
<th><img src="https://latex.codecogs.com/png.latex?%7CM%7C"></th>
<th># of topologies</th>
</tr>
</thead>
<tbody>
<tr class="odd">
<td>1</td>
<td>1</td>
</tr>
<tr class="even">
<td>2</td>
<td>4</td>
</tr>
<tr class="odd">
<td>3</td>
<td>29</td>
</tr>
<tr class="even">
<td>4</td>
<td>355</td>
</tr>
<tr class="odd">
<td>7</td>
<td>9,535,241</td>
</tr>
</tbody>
</table>
<p>Important example: <img src="https://latex.codecogs.com/png.latex?M%20=%20%5Cmathbb%7BR%7D%5Ed%20%5Ccoloneqq%20%5Cmathbb%7BR%7D%5Ctimes%5Cmathbb%7BR%7D%5Ctimes%20...%20%5Ctimes%20%5Cmathbb%7BR%7D"></p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BO%7D_%7B%5Ctext%7Bstandard%7D%5Cmathbb%7BR%7D%5Ed%7D"> is constructed in 3 steps:</p>
<ol type="1">
<li><img src="https://latex.codecogs.com/png.latex?%5Cforall%20x%20%5Cin%20%5Cmathbb%7BR%7D%5Ed,%20%5Cforall%20r%20%5Cin%20%5Cmathbb%7BR%7D%5E+">:</li>
</ol>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BB%7D%5E%7B2n%7D_r(x)%5Ccoloneqq%20%5Cleft%5C%7By%20%5Cin%20%5Cmathbb%7BR%7D%5Ed%5C%20%5Cbigg%7C%5C%20%5Csqrt%5B2n%5D%7B%5Csum_%7Bi=1%7D%5E%7Bd%7D(y%5Ei%20-%20x%5Ei)%5E%7B2n%7D%7D%20%5Clt%20r%5Cright%5C%7D"></p>
<ol start="2" type="1">
<li><img src="https://latex.codecogs.com/png.latex?U%20%5Cin%20%5Cmathcal%7BO%7D_%7B%5Ctext%7Bstandard%7D%5Cmathbb%7BR%7D%5Ed%7D%20:%5Ciff%20%5Cforall%20p%20%5Cin%20U,%20%5Cexists%20r%20%5Cin%20%5Cmathbb%7BR%7D%5E+:%20%5Cmathcal%7BB%7D_r(p)%20%5Csubseteq%20U"></li>
</ol>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 10.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<ol start="3" type="1">
<li>Proof that <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BO%7D_%7B%5Ctext%7Bstandard%7D%5Cmathbb%7BR%7D%5Ed%7D"> is a topology:
<ul>
<li>Is <img src="https://latex.codecogs.com/png.latex?%5Cvarnothing%20%5Cin%20%5Cmathcal%7BO%7D_%7B%5Ctext%7Bstandard%7D%5Cmathbb%7BR%7D%5Ed%7D">? <img src="https://latex.codecogs.com/png.latex?M%20%5Cin%20%5Cmathcal%7BO%7D_%7B%5Ctext%7Bstandard%7D%5Cmathbb%7BR%7D%5Ed%7D"> because any <img src="https://latex.codecogs.com/png.latex?B_r(x%20%5Cin%20M)%20%5Csubseteq%20M">.</li>
<li>Consider <img src="https://latex.codecogs.com/png.latex?p%20%5Cin%20U%5Ccap%20V%20%5Cimplies%20(p%20%5Cin%20U)%20%5Cland%20(p%20%5Cin%20V)">. Then <img src="https://latex.codecogs.com/png.latex?%5Cexists%20r,%20s%20%5Cin%20%5Cmathbb%7BR%7D%5E+"> such that <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BB%7D_r(p)%20%5Csubseteq%20U"> and <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BB%7D_s(p)%20%5Csubseteq%20V">, therefore <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BB%7D_%7B%5Cmin(r,s)%7D(p)%20%5Csubseteq%20(U%5Ccap%20V)">.</li>
</ul></li>
</ol>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 11.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<section id="ii.ii-construction-of-new-topologies-from-given-ones" class="level3">
<h3 class="anchored" data-anchor-id="ii.ii-construction-of-new-topologies-from-given-ones">II.II Construction of New Topologies from Given Ones</h3>
<p>Let <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> be a topological space.</p>
<p><strong>Theorem.</strong> Let <img src="https://latex.codecogs.com/png.latex?N%20%5Csubset%20M">, then:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BO%7D%5CBigr%7C_N%20%5Ccoloneqq%20%5Cleft%5C%7B%20U%20%5Ccap%20V%20%5CBigr%7C%20U%20%5Cin%20%5Cmathcal%7BO%7D%20%5Cright%5C%7D%20%5Csubseteq%20%5Cmathcal%7BP%7D(N)"></p>
<p>is a topology on <img src="https://latex.codecogs.com/png.latex?N">, called the induced (subset) topology.</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 12.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 13.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(%5Cmathbb%7BR%7D,%20%5Cmathcal%7BO%7D_%7Bst.%7D)">, <img src="https://latex.codecogs.com/png.latex?N%20=%20%5B-1,%201%5D%20%5Ccoloneqq%20%5Cleft%5C%7B%20x%20%5Cin%20%5Cmathbb%7BR%7D%5C%20%5Cbig%7C%5C%20-1%20%5Cleq%20x%20%5Cleq%201%5Cright%5C%7D"></p>
<p>A subset can be not open with respect to a topology and yet be open within the induced topology on a subset.</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 14.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Definition.</strong> <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> is a topological space. <img src="https://latex.codecogs.com/png.latex?C%20%5Csubseteq%20M"> is called <em>closed</em> if <img src="https://latex.codecogs.com/png.latex?M%5Cbackslash%20C"> is open.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?%5B0,%201%5D"> is not open because of the points <img src="https://latex.codecogs.com/png.latex?0"> and <img src="https://latex.codecogs.com/png.latex?1">, but it is closed because <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BR%7D%5Cbackslash%5B0,1%5D%20=%20(-%5Cinfty,%200)%5Ccup(1,%5Cinfty)"> is open.</p>
<p><strong>Remark.</strong> A topological space can be: open, closed, open and closed, open and not closed, not open and closed, or not open and not closed.</p>
<p><strong>Observation.</strong> For any <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> topological space:</p>
<ol type="1">
<li><img src="https://latex.codecogs.com/png.latex?%5Cvarnothing%20=%20M%5Cbackslash%20M"> is open <img src="https://latex.codecogs.com/png.latex?%5Cimplies%20%5Cvarnothing"> is closed</li>
<li><img src="https://latex.codecogs.com/png.latex?M%20=%20M%5Cbackslash%20%5Cvarnothing"> is open <img src="https://latex.codecogs.com/png.latex?%5Cimplies%20M"> is closed</li>
<li><img src="https://latex.codecogs.com/png.latex?%5Cimplies%20M"> and <img src="https://latex.codecogs.com/png.latex?%5Cvarnothing"> are both open and closed</li>
</ol>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 15.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Product topology:</strong></p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 16.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
<section id="ii.iii-convergence" class="level3">
<h3 class="anchored" data-anchor-id="ii.iii-convergence">II.III Convergence</h3>
<p><strong>Definition.</strong> A sequence <img src="https://latex.codecogs.com/png.latex?q"> (i.e.&nbsp;a map <img src="https://latex.codecogs.com/png.latex?q:%20%5Cmathbb%7BN%7D%20%5Clongrightarrow%20M">) on a topological space <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> is said to converge to a limit point <img src="https://latex.codecogs.com/png.latex?a"> when:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cforall%5C%20U%5Cin%5Cmathcal%7BO%7D:%5Cquad%5Cexists%20N%5Cin%20%5Cmathbb%7BN%7D:%5Cquad%20%5Cforall%20n%20%5Cgt%20N:%5Cquad%20q(n)%20%5Cin%20U"></p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cleft%5C%7B%5Cvarnothing,%20M%5Cright%5C%7D)"> — chaotic topology. Any sequence converges to any point.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BP%7D(M))"> — discrete topology. Only eventually constant sequences converge.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(M%20=%20%5Cmathbb%7BR%7D%5Ed,%20%5Cmathcal%7BO%7D_%7B%5Ctext%7Bstandard%7D%5Cmathbb%7BR%7D%5Ed%7D)"></p>
<p><strong>Theorem.</strong> <img src="https://latex.codecogs.com/png.latex?q:%5Cmathbb%7BN%7D%20%5Clongrightarrow%20%5Cmathbb%7BR%7D"> converges to <img src="https://latex.codecogs.com/png.latex?a%20%5Cin%20%5Cmathbb%7BR%7D%5Ed"> if:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cforall%20%5Cepsilon%3E0:%5Cquad%20%5Cexists%20N%5Cin%20%5Cmathbb%7BN%7D:%5Cquad%20%5Cforall%20n%5Cgt%20N:%5Cqquad%20%5CVert%20q(n)%20-%20a%20%5CVert%20%5Clt%20%5Cepsilon"></p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 17.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
<section id="ii.iv-continuity" class="level3">
<h3 class="anchored" data-anchor-id="ii.iv-continuity">II.IV Continuity</h3>
<p><strong>Definition.</strong> Let <img src="https://latex.codecogs.com/png.latex?(M,%5Cmathcal%7BO%7D_M)"> and <img src="https://latex.codecogs.com/png.latex?(N,%20%5Cmathcal%7BO%7D_N)"> be topological spaces and <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20M%20%5Clongrightarrow%20N"> a map. Then <img src="https://latex.codecogs.com/png.latex?%5Cphi"> is continuous if:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cforall%20V%20%5Cin%20%5Cmathcal%7BO%7D_N:%20%5Cqquad%20%5Ctext%7Bpreim%7D_%5Cphi(V)%20%5Cin%20%5Cmathcal%7BO%7D_M"></p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20M%20%5Clongrightarrow%20N"> where <img src="https://latex.codecogs.com/png.latex?M"> is equipped with the discrete topology — every map is continuous because every subset of <img src="https://latex.codecogs.com/png.latex?M"> is open.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20M%20%5Clongrightarrow%20N"> where <img src="https://latex.codecogs.com/png.latex?N"> is equipped with the chaotic topology — every map is continuous since <img src="https://latex.codecogs.com/png.latex?%5Ctext%7Bpreim%7D_%5Cphi(%5Cvarnothing)%20=%20%5Cvarnothing"> and <img src="https://latex.codecogs.com/png.latex?%5Ctext%7Bpreim%7D_%5Cphi(N)%20=%20M"> are both open.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20%5Cmathbb%7BR%7D%5Ed%20%5Clongrightarrow%20%5Cmathbb%7BR%7D%5Ef"> — we recover the <img src="https://latex.codecogs.com/png.latex?%5Cepsilon">-<img src="https://latex.codecogs.com/png.latex?%5Cdelta"> definition of continuity.</p>
<p><strong>Definition.</strong> Let <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20M%20%5Clongrightarrow%20N"> be a bijection with <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D_M),%20(N,%20%5Cmathcal%7BO%7D_N)">. We call <img src="https://latex.codecogs.com/png.latex?%5Cphi"> a <em>homeomorphism</em> if:</p>
<ol type="1">
<li><img src="https://latex.codecogs.com/png.latex?%5Cphi:%20M%20%5Clongrightarrow%20N"> is continuous</li>
<li><img src="https://latex.codecogs.com/png.latex?%5Cphi%5E%7B-1%7D:%20N%20%5Clongrightarrow%20M"> is continuous</li>
</ol>
<p><strong>Remark.</strong> Homeomorphisms are structure-preserving maps in topology.</p>
<p><strong>Definition.</strong> If <img src="https://latex.codecogs.com/png.latex?%5Cexists"> homeomorphism <img src="https://latex.codecogs.com/png.latex?%5Cphi:%20M%20%5Cleftrightarrows%20N">, then <img src="https://latex.codecogs.com/png.latex?%5Cphi"> provides a one-to-one pairing of the open sets of <img src="https://latex.codecogs.com/png.latex?M"> with those of <img src="https://latex.codecogs.com/png.latex?N">. Therefore: <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D_M)%20%5Ccong_%5Ctext%7Btop.%7D%20(N,%20%5Cmathcal%7BO%7D_N)">.</p>
</section>
<section id="ii.v-topological-properties-i-separation" class="level3">
<h3 class="anchored" data-anchor-id="ii.v-topological-properties-i-separation">II.V Topological Properties I: Separation</h3>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/hiD6Tz06k30" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<p><strong>Definition.</strong> A topological space <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> is called T1 if for any two distinct points <img src="https://latex.codecogs.com/png.latex?p%20%5Cneq%20q">, <img src="https://latex.codecogs.com/png.latex?%5Cexists%20U%5Cin%5Cmathcal%7BO%7D"> with <img src="https://latex.codecogs.com/png.latex?p%20%5Cin%20U"> such that <img src="https://latex.codecogs.com/png.latex?q%20%5Cnotin%20U">.</p>
<p><strong>Definition.</strong> A topological space <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> is called T2 (Hausdorff) if for any two <img src="https://latex.codecogs.com/png.latex?p%5Cneq%20q">, <img src="https://latex.codecogs.com/png.latex?%5Cexists%20U%20%5Cin%20%5Cmathcal%7BO%7D"> with <img src="https://latex.codecogs.com/png.latex?p%20%5Cin%20U"> and <img src="https://latex.codecogs.com/png.latex?%5Cexists%20V%20%5Cin%20%5Cmathcal%7BO%7D"> with <img src="https://latex.codecogs.com/png.latex?q%20%5Cin%20V"> such that <img src="https://latex.codecogs.com/png.latex?U%5Ccap%20V%20=%20%5Cvarnothing">.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(%5Cmathbb%7BR%7D%5Ed,%20%5Cmathcal%7BO%7D_%5Ctext%7Bstd%7D)"> is T2 <img src="https://latex.codecogs.com/png.latex?%5Cimplies"> T1. The Zariski topology is T1 but not Hausdorff.</p>
<p><strong>Remark.</strong> Separation axioms get progressively stronger: <a href="https://en.wikipedia.org/wiki/History_of_the_separation_axioms">T1, T2, T2.5, T3, T4, T5, T6</a>.</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 18.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 19.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 20.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Examples.</strong> The interval <img src="https://latex.codecogs.com/png.latex?%5B0,%201%5D"> is compact. <img src="https://latex.codecogs.com/png.latex?%5Cmathbb%7BR%7D"> is not compact (construct a cover that has no finite subcover).</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 21.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Theorem.</strong> If <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D_M)"> and <img src="https://latex.codecogs.com/png.latex?(N,%20%5Cmathcal%7BO%7D_N)"> are compact topological spaces, then <img src="https://latex.codecogs.com/png.latex?(M%5Ctimes%20N,%20%5Cmathcal%7BO%7D_%7BM%5Ctimes%20N%7D)"> is again compact.</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 22.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 23.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 24.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Theorem.</strong> Let <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D_M)"> be a Hausdorff topological space. Then it is paracompact if and only if every open cover admits a partition of unity subordinate to that cover.</p>
<p>A partition of unity is a set <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BF%7D"> of continuous functions <img src="https://latex.codecogs.com/png.latex?f%20%5Cin%20%5Cmathcal%7BF%7D:%20M%20%5Clongrightarrow%20%5B0,%201%5D"> such that:</p>
<ol type="1">
<li><img src="https://latex.codecogs.com/png.latex?%5Cforall%20f%20%5Cin%20%5Cmathcal%7BF%7D,%20%5Cexists%20U%20%5Cin%20C:%20f(p)%5Cneq%200%20%5Cimplies%20p%20%5Cin%20U"></li>
<li><img src="https://latex.codecogs.com/png.latex?%5Cforall%20p%20%5Cin%20M">, there exists an open neighborhood <img src="https://latex.codecogs.com/png.latex?V%20%5Cin%20%5Cmathcal%7BO%7D"> such that <img src="https://latex.codecogs.com/png.latex?V%5Ccap%20U%5Cneq%20%5Cvarnothing"> only for finitely many <img src="https://latex.codecogs.com/png.latex?U%20%5Cin%20C">, and such that only finitely many <img src="https://latex.codecogs.com/png.latex?f_1,%20f_2,%20..,f_N%20%5Cin%20%5Cmathcal%7BF%7D"> are non-zero on <img src="https://latex.codecogs.com/png.latex?V">, with:</li>
</ol>
<p><img src="https://latex.codecogs.com/png.latex?%5Csum_%7Bn=1%7D%5E%7BN%7Df_n%20=%201%5Cqquad%20%5Ctext%7Bon%7D%5C%20V"></p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(%5Cmathbb%7BR%7D,%20%5Cmathcal%7BO%7D_%5Ctext%7Bstd%7D)">:</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 25.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
<section id="ii.vi-connectedness-path-connectedness" class="level3">
<h3 class="anchored" data-anchor-id="ii.vi-connectedness-path-connectedness">II.VI Connectedness &amp; Path-Connectedness</h3>
<p><strong>Definition.</strong> A topological space <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> is called connected unless there exist two non-empty, non-intersecting open sets <img src="https://latex.codecogs.com/png.latex?A"> and <img src="https://latex.codecogs.com/png.latex?B"> such that <img src="https://latex.codecogs.com/png.latex?M%20=%20A%20%5Ccup%20B">.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(%5Cmathbb%7BR%7D%5Cbackslash%5C%7B0%5C%7D,%20%5Cmathcal%7BO%7D_%5Ctext%7Bstd%7D%5Cvert_%7B%5Cmathbb%7BR%7D%5Cbackslash%5C%7B0%5C%7D%7D)"> is not connected because <img src="https://latex.codecogs.com/png.latex?A%20=%20(-%5Cinfty,%200)%20%5Cneq%20%5Cvarnothing"> and <img src="https://latex.codecogs.com/png.latex?B%20=%20(0,+%5Cinfty)%20%5Cneq%20%5Cvarnothing"> with <img src="https://latex.codecogs.com/png.latex?A%5Ccap%20B%20=%20%5Cvarnothing"> and <img src="https://latex.codecogs.com/png.latex?A%20%5Ccup%20B%20=%20M">.</p>
<p><strong>Theorem.</strong> The interval <img src="https://latex.codecogs.com/png.latex?%5B0,%201%5D"> is connected.</p>
<p><strong>Theorem.</strong> A topological space is connected if <img src="https://latex.codecogs.com/png.latex?%5Cvarnothing"> and the whole <img src="https://latex.codecogs.com/png.latex?M"> are the only subsets that are both open and closed.</p>
<p><strong>Proof.</strong> (By contradiction) Suppose there is another set <img src="https://latex.codecogs.com/png.latex?U%20%5Csubseteq%20M"> that is also open and closed (<img src="https://latex.codecogs.com/png.latex?U%20%5Cneq%20%5Cvarnothing"> and <img src="https://latex.codecogs.com/png.latex?U%20%5Cneq%20M">). Then <img src="https://latex.codecogs.com/png.latex?M%20=%20U%20%5Ccup%20M%5Cbackslash%20U"> and <img src="https://latex.codecogs.com/png.latex?M"> is not connected.</p>
<p>2nd part: Assume <img src="https://latex.codecogs.com/png.latex?M"> is not connected, <img src="https://latex.codecogs.com/png.latex?%5Cimplies%20%5Cexists"> non-empty, non-intersecting open subsets <img src="https://latex.codecogs.com/png.latex?A,%20B"> such that <img src="https://latex.codecogs.com/png.latex?M%20=%20A%5Ccup%20B%20=%20A%20%5Ccup%20M%5Cbackslash%20A">. <img src="https://latex.codecogs.com/png.latex?A"> is open <img src="https://latex.codecogs.com/png.latex?%5Cimplies"> <img src="https://latex.codecogs.com/png.latex?M%5Cbackslash%20A%20=%20B"> is closed, but <img src="https://latex.codecogs.com/png.latex?B"> is also open. <img src="https://latex.codecogs.com/png.latex?%5Cimplies%20A"> is closed and open. <img src="https://latex.codecogs.com/png.latex?%5Csquare"></p>
<p><strong>Definition.</strong> <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> is called path-connected if for every pair of points <img src="https://latex.codecogs.com/png.latex?p,q%5Cin%20M"> there exists a continuous curve <img src="https://latex.codecogs.com/png.latex?%5Cgamma:%20%5B0,1%5D%20%5Clongrightarrow%20M"> such that <img src="https://latex.codecogs.com/png.latex?%5Cgamma(0)%20=%20p"> and <img src="https://latex.codecogs.com/png.latex?%5Cgamma(1)%20=%20q">.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?(%5Cmathbb%7BR%7D%5Ed,%20%5Cmathcal%7BO%7D_%5Ctext%7Bstd%7D)"> is path-connected. <strong>Proof:</strong> <img src="https://latex.codecogs.com/png.latex?%5Cforall%20p,q%20%5Cin%20%5Cmathbb%7BR%7D%5Ed">, define <img src="https://latex.codecogs.com/png.latex?%5Cgamma(%5Clambda)%20=%20p%20+%20%5Clambda(q%20-%20p)">.</p>
<p><strong>Example.</strong> <img src="https://latex.codecogs.com/png.latex?S%20:=%20%5Cleft%5C%7B%5Cleft(x,%20%5Csin%5Cleft(%5Cfrac%7B1%7D%7Bx%7D%5Cright)%5Cright)%20%5Cbigg%7C%5C%20x%20%5Cin%20(0,1%5D%5Cright%5C%7D%5Ccup%20%5Cleft%5C%7B(0,0)%5Cright%5C%7D"> is connected but not path-connected.</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 26.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 27.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
<section id="ii.viii-homotopic-curves-and-the-fundamental-group" class="level3">
<h3 class="anchored" data-anchor-id="ii.viii-homotopic-curves-and-the-fundamental-group">II.VIII Homotopic Curves and the Fundamental Group</h3>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 28.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 29.png" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p><strong>Definition.</strong> <img src="https://latex.codecogs.com/png.latex?(M,%20%5Cmathcal%7BO%7D)"> is a topological space. For every <img src="https://latex.codecogs.com/png.latex?p%20%5Cin%20M"> we define a space of loops on <img src="https://latex.codecogs.com/png.latex?p">:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%7D_p:=%20%5Cleft%5C%7B%20%5Cgamma%20:%20%5B0,%201%5D%20%5Clongrightarrow%20M%20%5CBig%7C%5C%20%5Cgamma%5C%20%5Ctext%7Bis%20continuous,%7D%5C%20%5Cgamma(0)%20=%20%5Cgamma(1)%20=%20p%20%5Cright%5C%7D"></p>
<p><strong>Definition.</strong> <img src="https://latex.codecogs.com/png.latex?*_p:%20%5Cmathcal%7BL%7D_p%5Ctimes%5Cmathcal%7BL%7D_p%20%5Clongrightarrow%5Cmathcal%7BL%7D_p">, for <img src="https://latex.codecogs.com/png.latex?%5Clambda%20%5Cin%20%5B0,1%5D">:</p>
<p><img src="https://latex.codecogs.com/png.latex?(%5Cgamma%20*%20%5Cdelta)(%5Clambda)%20:=%20%5Cbegin%7Bcases%7D%20%5Cgamma(2%5Clambda)%20&amp;%200%5Cleq%5Clambda%5Cleq%5Ctfrac%7B1%7D%7B2%7D%5C%5C%20%5Cdelta(2%5Clambda%20-%201)%20&amp;%20%5Ctfrac%7B1%7D%7B2%7D%5Cleq%20%5Clambda%20%5Cleq%201%20%5Cend%7Bcases%7D"></p>
<p><img src="https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/Untitled 30.png" class="img-fluid quarto-figure quarto-figure-center">{fig-align=“center”}</p>
<p>If one of the loops goes around a hole, they are no longer homotopic because they cannot continuously deform into each other.</p>
<p><strong>Definition.</strong> The fundamental group <img src="https://latex.codecogs.com/png.latex?(%5Cpi_1,%20%5Ccdot)"> of a topological space is the set <img src="https://latex.codecogs.com/png.latex?%5Cpi_%7B1,p%7D%20:=%20%5Cmathcal%7BL%7D_p/_%5Csim%5C%20=%20%5Cleft%5C%7B%5B%5Cgamma%5D_%5Csim%5C%20%5CBig%7C%5C%20%5Cgamma%20%5Cin%20%5Cmathcal%7BL%7D_p%5Cright%5C%7D"> together with:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Ccdot:%5Cpi_%7B1,p%7D%5Ctimes%5Cpi_%7B1,p%7D%5Clongrightarrow%20%5Cpi_%7B1,p%7D,%20%5Cqquad%20%5B%5Cgamma%5D%5Ccdot%5B%5Cdelta%5D:=%5B%5Cgamma*%5Cdelta%5D"></p>
<p>The <img src="https://latex.codecogs.com/png.latex?%5Ccdot"> operation is:</p>
<ol type="1">
<li>Associative</li>
<li>Has a neutral element <img src="https://latex.codecogs.com/png.latex?%5Cgamma_%7B%5Ctext%7Bid%7D,p%7D:%5B0,1%5D%5Clongrightarrow%20M"> with <img src="https://latex.codecogs.com/png.latex?%5Cgamma(%5Clambda)%20=%20p"></li>
<li>Has an inverse (the same curve traversed backwards)</li>
</ol>
<p><strong>Examples.</strong></p>
<ul>
<li>The sphere <img src="https://latex.codecogs.com/png.latex?S%5E2">: <img src="https://latex.codecogs.com/png.latex?%5Cpi_1%20=%20%5Cleft%5C%7B%5B%5Cgamma_%5Ctext%7Bid,p%7D%5D%20%5Cright%5C%7D"> — all loops are homotopic to the identity</li>
<li>The infinite cylinder <img src="https://latex.codecogs.com/png.latex?C%20=%20%5Cmathbb%7BR%7D%20%5Ctimes%20S%5E1">: <img src="https://latex.codecogs.com/png.latex?%5Cpi_1%20=%20%5Cmathbb%7BZ%7D"></li>
<li>The torus <img src="https://latex.codecogs.com/png.latex?T%5E2%20=%20S%5E1%20%5Ctimes%20S%5E1">: <img src="https://latex.codecogs.com/png.latex?%5Cpi_1%20%5Ccong%20%5Cmathbb%7BZ%7D%20%5Ctimes%20%5Cmathbb%7BZ%7D"></li>
</ul>


</section>
</section>


<div id="quarto-appendix" class="default"><section id="footnotes" class="footnotes footnotes-end-of-document"><h2 class="anchored quarto-appendix-heading">Footnotes</h2>

<ol>
<li id="fn1"><p>i.e.&nbsp;a predicate of two variables↩︎</p></li>
<li id="fn2"><p>because that is a proposition from the epsilon axiom↩︎</p></li>
<li id="fn3"><p>because <img src="https://latex.codecogs.com/png.latex?y%20%5Cin%20x"> is false, the implication is true↩︎</p></li>
<li id="fn4"><p>no worries: <img src="https://latex.codecogs.com/png.latex?%5C%7Bx,y%5C%7D%20=%20%5C%7By,%20x%5C%7D">↩︎</p></li>
</ol>
</section></div> ]]></description>
  <category>mathematics</category>
  <category>physics</category>
  <category>topology</category>
  <category>set theory</category>
  <category>notes</category>
  <guid>https://nightowl97.github.io/personal_blog/posts/geometrical-anatomy/</guid>
  <pubDate>Sat, 09 May 2026 22:00:00 GMT</pubDate>
</item>
<item>
  <title>Hagarism The Making of the Islamic World (by Crone &amp; Cook)</title>
  <link>https://nightowl97.github.io/personal_blog/posts/hagarism/</link>
  <description><![CDATA[ 





<section id="judeo-hagarism" class="level1">
<h1>Judeo-Hagarism</h1>
<p>Authors begin by stepping outside the traditional islamic sources due to their problematic nature:</p>
<blockquote class="blockquote">
<p>There is no hard evidence for the existence of the Koran in any form before the last decade of the seventh century, and the tradition which places this rather opaque revelation in its historical context is not attested before the middle of the eighth.</p>
</blockquote>
<ul>
<li><p>They say that while there is no specific reason to reject it that are internal to islamic sources (a disputable fact in my own opinion), there is also no specific reason that is external to them for rejecting it.</p></li>
<li><p>Our first step outside islamic tradition is to the <strong><em><a href="https://en.wikipedia.org/wiki/Teaching_of_Jacob">Doctrina Jacobi</a></em></strong>, a greek anti-jewish tract which is apparently a weeks long discussion between jews in Carthage circa 634-640 who have been forcibly baptized by order of the byzantine emperor Heraclius. One of them, Jacob, has come to accept the Messiah and is trying to convince his peers to follow suit</p></li>
</ul>
<blockquote class="blockquote">
<p>A fa1se prophet has appeared among the Saracens … They say that the prophet has appeared coming with the Saracens, and is proclaiming the advent of the anointed one who is to come. I, Abraham, went off to Sykamina and referred the matter to an old man very well versed in the Scriptures. I asked him: ‘What is your view, master and teacher, of the prophet who has appeared among the Saracens?’ He replied, groaning mightily: ‘He is an impostor. Do the prophets come with sword and chariot? Truly these happenings today are works of disorder … But you go off, Master Abraham, and find out about the prophet who has appeared.’ So I, Abraham, made enquiries, and was told by those who had met him: ‘There is no truth to be found in the so-called prophet, only bloodshed; for he says he has the keys of paradise, which is incredible.’</p>
</blockquote>
<p>It is striking that the concept of the <em>keys of paradise</em> is mentioned, despite the existence of some hadiths in which it is ‘sublimated’ into harmless metaphor. There is also a byzantine oath of abjuration (which is a formal renunciation or disavowal of allegiance to a particular belief) of Islam also includes this concept in the sense that the prophet would hold the keys of paradise as part of a secret Saracen doctrine. This seemingly makes the Doctrina older than islamic tradition itself.</p>
<p>The second important point is that it seems to present the prophet as being still alive during the conquest of Palestine, which is irreconcilable with the islamic Siira which claims that he was dead at the point. However, authors claim that this fact has independent confirmation in the historical traditions of the Jacobites, Nestorians and Samaritans [7, 8].</p>
<p>The third startling fact is the Judaic/Messianic nature of the message that the prophet seems to preach, namely the advent of “The anointed one” which is also apparemtly confirmed by external evidence [9].</p>
<!-- divider -->
<p>Before we continue the book, a quick reminder that helps make sense of what will follow: Abraham, a patriarch in Judaism, Christianity, and Islam, had two sons: Ishmael and Isaac.</p>
<ol type="1">
<li><p><strong>Ishmael</strong>: Abraham’s first son, born to him by Hagar, Sarah’s Egyptian maidservant. According to the biblical narrative in Genesis, Sarah was barren and suggested that Abraham should father a child with her maidservant Hagar. Ishmael is considered the progenitor of the Arab people in some religious traditions.</p></li>
<li><p><strong>Isaac</strong>: Abraham’s second son, born to him by his wife Sarah. The birth of Isaac was miraculous, as Sarah was considered to be past the age of childbearing. Isaac is an important figure in the Jewish, Christian, and Islamic traditions. In Judaism and Christianity, Isaac is considered the ancestor of the Israelites through his son Jacob (later renamed Israel). The relevant verses in the Quran are As-Saffaat 37:100 and the few verses that follow it Both sons play significant roles in the religious traditions that recognize Abraham as a patriarch.</p></li>
</ol>
<!-- divider -->
<p>This is a Jewish apocalypse of the mid-eighth century, the ‘Secrets of Rabbi Simon ben Yohay’, which preserves a messianic interpretation of the Arab conquest [10] :</p>
<blockquote class="blockquote">
<p>When he saw the kingdom of Ishmael that was coming, he began to say: ‘Was it not enough, what the wicked kingdom of Edom did to us, but we must have the kingdom of Ishmael too?’ At once Metatron the prince of the countenance answered and said: ‘Do not fear, son of man, for the Holy One, blessed be He, only brings the kingdom of Ishmael in order to save you from this wickedness. He raises up over them a Prophet according to His will and will conquer the land for them and they will come and restore it in greatness, and there will be great terror between them and the sons of Esau.’ Rabbi Simon answered and said: ‘How do we know that they are our salvation?’ He answered: ‘Did not the Prophet Isaiah say thus: “And he saw a troop with a pair of horsemen, etc.”? 13 Why did he put the troop of asses before the troop of camels, when he need only have said: “A troop of camels and a troop of asses”? But when he, the rider on the camel, 14 goes forth the kingdom will arise through the rider on an ass. Again: “a troop of asses”, since he rides on an ass, shows that they are the salvation of Israel, like the salvation of the rider on an ass.’</p>
</blockquote>
<p>Also worthy of note that the author of the passage presents the role of the Ishmaelites and their prophet as intrinsic to the messianic events themselves. Which makes sense when set alongside the testimony of the <em>Doctrina</em> that the Prophet was in fact proclaiming the advent of the messiah, and at the same time provides independent confirmation of its authenticity. Moreover, there seems to be precedent for jews accepting an arab as a prophetic figure proclaiming the advent of the Messiah [17]</p>
<p>This is a mind-blowing one: Apparently Islamic tradition also contains confirmation of this messianism in a ‘fossilized’ form, through the identity of the Messiah himself: Umar [18] the second caliph or <strong><em>Al-Faaruuq - The Redeemer</em></strong>. He seemingly plays his role very well through his entry into Jerusalem [20]. ‘The secrets’ also attributes to him the messianic task of restoring the temple [21]. From the islamic traditional point of view, the embarrassing title eventually lost its original Aramaic meaning, and acquired a harmless Arabic etymology and was held to have been attributed by the prophet himself. There is also an earlier view that it was the people of the book that called Umar this by-name, and it somehow transferred into the islamic orthodoxy [22]. It’s also interesting that Umar was hailed as the Faaruuq in Syria [23] while simultaneously being attributed acts which are decidedly non Redeemer-y in a Judaic sense at least [24]. Authors claim it’s hardly coincidence that contemporary evidence of the messianism of Muhammad exists while the Man who came after (jumping over abu-bakr here) holds a Messianic title even in Islamic Tradition.</p>
<p>Page 6 is about a supposed intimacy between Jews and Saracens, in <em>The Secrets</em> and due to the <em>Doctrina</em> confirming a certain warmth of the Jewish reaction towards the Arab invasion (by referring to the <em>Jews who mix with the Saracens</em>), and Jacob himself claiming that he would not deny Christ even if the Jews and Saracens catch him and cut him to pieces. This warmth is far less evident in Orthodox and Heretical Christian sources, as well as later Jewish sources. A contemporary Christian Sermon puts among the misdeeds of the Saracens burning churches, monasteries, crosses etc.</p>
<p>Next we turn to my favorite primary source in the subject, the Armenian Chronicle of Bishop Sebeos, written in the 660s. The story begins with the exodus of Jewish refugees from Edessa following its recovery by Heraclius from the Sassanid Persians towards 628 :</p>
<blockquote class="blockquote">
<p>They set out into the desert and came to Arabia, among the children of Ishmael; they sought their help, and explained to them that they were kinsmen according to the Bible. Although they (<em>the Ishmadites</em>) were ready to accept this close kinship, they (<em>the Jews</em>) nevertheless could not convince the mass of the people, because their cults were different. At this time there was an Ishmaelite called <strong>Mahmet</strong>, [37] a merchant; he presented himself to them as though at God’s command, as a preacher, as the way of truth, and taught them to know the God of Abraham, for he was very well-informed, and very well-acquainted with the story of Moses. As the command came: from on high, they all united under the authority of a single man, under a single law, and, abandoning vain cults, returned to the: living God who had revealed himself to their father Abraham. Mahmet forbade them to eat the Flesh of any dead animal, to drink wine, [38] to lie or to fornicate. He added: ‘God has promised this land to Abraham and his posterity after him forever; he acted according to his promise: while he loved lsrael. Now you, you are: the sons of Abraham and God fulfills in you the promise made to Abraham and his posterity. Only love the God of Abraham, go and take possession of your country which God gave to your father Abraham, and none will be able to resist you in the struggle, for God is with you.’ Then they all gathered together from Havilah unto Shur and before Egypt [Gen.&nbsp;2 5:I 8]; they came: out of the: desert of Pharan divided into twelve tribes according to the lineages of their patriarchs. They divided among their tribes the twelve thousand lsraelites, a thousand per tribe, to guide them into the land of Israel. They set out, camp by camp, in the order of their patriarchs: Nebajoth, Kedar, Abdeel, Mibsam, Mishma, Dumah, Massa, Hadar, Tema, Jetur, Naphish and Kedemah [Gen.&nbsp;2J:I3-IJ]. These are the tribes of Ishmael … All that remained of the peoples of the children of Israel came to join them, and they constituted a mighty army. Then they sent an embassy to the emperor of the Greeks, saying: ‘God has given this land as a heritage to our father Abraham and his posterity after him; we are the children of Abraham; you have had our country long enough; give it up peacefully, and we will not invade your territory; otherwise we will retake with interest what you have taken.’</p>
</blockquote>
<p>According to the authors this passage is &gt;demonstrably wrong in the role it ascribes to the Jewish refugees from Edessa. This role, quite apart from its geographical implausibility, is in effect chronologically impossible: it means that Muhammad’s polity could hardly have been founded much before 628, whereas as early as 643 we have documentary evidence that the Arabs were using an era beginning in 622. [39]</p>
<p>However, it does not invalidate the role of Jewish-Arab relations that Sebeos describes, mainly due to it conforming well with the <a href="https://en.wikipedia.org/wiki/Constitution_of_Medina">Constitution of the Medina</a>. Due to this conformity authors claim that <em>“Sebeos can therefore be accepted as providing the basic narrative framework within which the closeness of Judeo-Arab relations”</em></p>
<p>There is a remark in page 8 that there is no good reason to assume that this early community of arabs called themselves muslims, a term whose earliest occurance is in the Dome of The Rock in Jerusalem 691 (Probably at the time of Umayyad Caliph Abdulmalik, confirm this later). Outside the islamic tradition, it is only first mentioned far into the eighth century.</p>
<p>We then finish this first section by discussing the designation that was used for this community as early as the 640s, which in appears in a papyrus in greek is “<strong><em>Magaritai</em></strong>” in 642 or in Syriac as <strong><em>Mahgre</em></strong> or <strong><em>Mahgraye</em></strong> [51]. The corresponding arabic term is <strong><em>Muhajiruun</em></strong>. Authors attribute to notions to this appellation, the one that remains in full within islamic tradition, which is for the “Hijra” or exodus from Mecca to Medina. This even in Islamic Tradition is marked as the beginning of the calendar in 622, but no contemporary sources attest to such an exodus, but do talk about the exodus from arabia to the Promised Land. In this respect they cite a tradition that even talk of a Hijra after the Hijra, specifying Palestine as a destination [59]. A second notion attributed to <strong><em>Magaritai</em></strong> is genealogical, that affirms their descendance from Abraham by Hagar [54].</p>
</section>
<section id="hagarism-without-judaism" class="level1">
<h1>Hagarism without Judaism</h1>
<p>The mutual assistance that might have existed between Jews and Arabs due to the compatibility of their goals was faced with problems after the success of the Arab conquest of Palestine. The question of restoring the Kingdom of Israel would become a bit of a doctrinal embarrassment for the Arabs, unlike Jesus of Nazareth who could evade the question of whether he, as a Messianic figure, would fulfill this Jewish expectation and this would pave the way for the development of Christian theology:</p>
<blockquote class="blockquote">
<p>In the New Testament (Acts 1:6), Jesus’ disciples ask him, “Lord, are you at this time going to restore the kingdom to Israel?”</p>
</blockquote>
<p>Jesus’ response was not a straightforward yes or no. Instead, he said,</p>
<blockquote class="blockquote">
<p>“It is not for you to know the times or dates the Father has set by his own authority.”</p>
</blockquote>
<p>The authors are suggesting that Jesus’ response was a way of evading the question, and that this evasion became a central part of the formation of Christianity. This reinterpretation paved the way for the development of Christian theology, which diverged from traditional Jewish messianic expectations.</p>
<p>For the Arabs, success precluded a gradual dissociation from Jewish messianism, and required instead a sharp and immediate break. Their acquirement of large numbers of Christian subjects also meant a doctrinal softening of the Arabs towards Christians</p>
<p>The rest of the chapter is about the specifics of how the Hagarenes adopted Christian messianism and the technicalities and contradictions that it faced, while solving the problem of their separation from their jewish proteges while not diffusing into the Christians they were ruling in Palestine. With the conclusion that the only consistent way out was to erect an Ishmaelite prophetology of their own.</p>
</section>
<section id="the-prophet-like-moses" class="level1">
<h1>The prophet like Moses</h1>


</section>

 ]]></description>
  <category>history</category>
  <category>book notes</category>
  <guid>https://nightowl97.github.io/personal_blog/posts/hagarism/</guid>
  <pubDate>Sat, 19 Aug 2023 20:30:00 GMT</pubDate>
</item>
<item>
  <title>Book notes - The Dawn of Everything (by Graeber &amp; Wengrow)</title>
  <link>https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/</link>
  <description><![CDATA[ 





<p>Just to set up the book and give some context on the dominant view on the broad sweep of human history and development (yes, I’m looking at you two pinker and Harrari). A chatbot answer to the question “What is the neolithic revolution” is the perfect example of what the book is criticizing:</p>
<blockquote class="blockquote">
<p><em>The Neolithic Revolution, also known as the Agricultural Revolution, was a period in human history when people transitioned from a lifestyle of hunting and gathering to one of agriculture and settlement. This transition marked a significant change in human society and the way in which people lived. The Neolithic Revolution took place around 10,000 to 8,000 BCE, beginning in the Fertile Crescent, an area in the Middle East that includes modern-day Iraq, Jordan, Syria, Israel, Palestine, southeastern Turkey, and western Iran. It subsequently spread to other parts of the world. Before the Neolithic Revolution, humans lived in small, nomadic groups that relied on hunting wild animals and gathering wild plants for food. However, during the Neolithic Revolution, people began to cultivate crops and domesticate animals, which allowed them to form stable, settled communities. This was a major shift, as it allowed humans to control their food supply, leading to population growth and the development of complex societies. Key innovations of the Neolithic Revolution include:</em></p>
<ol type="1">
<li><p><em><strong>Agriculture:</strong> Humans learned to cultivate plants, including wheat, barley, peas, and lentils. This meant they could stay in one place and accumulate a surplus of food.</em></p></li>
<li><p><em><strong>Animal Domestication:</strong> Animals like goats, sheep, cows, and pigs were domesticated, providing a steady supply of meat, milk, and materials like leather and wool.</em></p></li>
<li><p><em><strong>Settlement:</strong> The creation of permanent villages and later cities became possible due to the reliable food source.</em></p></li>
<li><p><em><strong>Technological Innovations:</strong> New tools were developed for farming, including plows and irrigation systems. Additionally, pottery and weaving became common, and later on, metalworking was developed.</em></p></li>
<li><p><em><strong>Social Organization:</strong> With the surplus of food, not everyone needed to be involved in food production. This allowed for the emergence of different roles in society, leading to social stratification.</em></p></li>
</ol>
<p><em>The Neolithic Revolution was a major turning point in human history, marking the start of the Neolithic Age and leading to the development of civilization. However, it also brought new challenges, including disease, social inequality, and environmental degradation.</em></p>
</blockquote>
<p>Here we go, bonne lecture:</p>
<!-- divider -->
<section id="farewell-to-humanitys-childhood" class="level1">
<h1>1 - Farewell To Humanity’s Childhood</h1>
<p>(Or, why this is not a book about the origins of inequality)</p>
<ul>
<li><p>There are two common and widely accepted views on the social evolution of humanity and the origins of inequality:</p>
<p>The first is the view of Jean-Jacques Rousseau in his “<strong><em>Discours sur l’origine et les fondements de l’inégalité parmi les hommes” (1754)</em></strong> postulates that humanity initially existed in an idyllic, simple and egalitarian form of social organisation, tiny bands of hunter-gatherers, but fell from this state due to the advent of agriculture, which necessitated hierarchies, civilization and states. - page 1</p>
<p>The second is the view of Thomas Hobbes, which is developed in his <em>Leviathan (1651)</em>, and held that due to the selfish nature of humans, their original state of existence was not innocent, but must have instead been ‘solitary, nasty, brutish and poor’. If any progress has been made from that state, it must be due to the same repressive mechanisms that Rousseau complains about. - page 2</p></li>
<li><p>These views, D&amp;D argue, widely accepted they may be, are not actually backed up by any scientific evidence because the facts that are presented in support are not true, have dire political implications, are make the past <em>‘needlessly dull’.</em> - page 3</p></li>
<li><p>D&amp;D then explain how accepting either of these two views prevents questioning of the current status quo, which is currently fraught with inequality. Indeed, framing the problem solely in terms of ‘inequality’ leads to the belief that solving it entirely is hopeless and utopian, and that a realistic approach would focus on reducing the degree of inequality. In fact, attempting to enforce strict egalitarianism is equated with returning to the primitive initial state of humanity where everyone was ‘equally poor’ (page 6).</p></li>
<li><p>D&amp;D then criticize the work of Francis Fukuyama (<em>The Origins of Political Order</em>) and Jared Diamond (<em>The World Until Yesterday</em>) and Steven Pinker</p>
<blockquote class="blockquote">
<p>*<a href="https://www.historyhaven.com/Diamond_WorstMistake.pdf">In particular, recent discoveries suggest that the adoption of agriculture, supposedly our most decisive step toward a better life, was in many ways a catastrophe from which we have never recovered. With agriculture came the gross social and sexual inequality, the disease and despotism, that curse our existence.* - Jared Diamond</a></p>
</blockquote></li>
<li><p>On page 14, D&amp;D criticize Pinker for using Otzi the Tyrolean Iceman, who died with an arrow in his side in the Alps, as an example of humanity in its initial state. Instead, they briefly mention the much older burial of Romito 2 in southern Italy. Romito 2 suffered from dwarfism, but lived a relatively long and healthy life, likely due to the accommodation provided by his entourage. - page 14</p></li>
<li><p>The authors then talk about Napoleon Chagnon’s sulfuric study of the Yanomami people as a ‘fierce people’ and how controversial his work is in anthropology - page 16</p></li>
<li><p>D&amp;D trace their argument back to Pinker, who asserts that institutions like the police, the state, and an ambiguous “European civilizing process” associated with the Enlightenment and Voltaire are the only things that prevented us from returning to a violent state. However, the authors challenge Pinker’s view by pointing out that even Voltaire himself never claimed that our contemporary ideals of freedom, equality, and democracy were exclusively “Western” or of European origin. In fact, most Enlightenment thinkers attributed these ideals to foreigners. This is not surprising because “Western” authors from Plato to Marcus Aurelius almost always opposed such ideals. For example, despite the Greek origins of the term “democracy,” all Western thinkers considered it to be a terrible form of government. - page 17</p></li>
</ul>
<!-- divider -->
</section>
<section id="wicked-liberty" class="level1">
<h1>2 - Wicked Liberty</h1>
<ul>
<li><p>The Spanish conquests of the Americas and Portuguese fleets visiting Africa, China, and India exposed Europeans to a plethora of previously unimagined social, scientific, and political ideas. The ultimate result of this flood of new ideas came to be known as the Enlightenment.</p></li>
<li><p>However, historians tell a different story. Even when great European thinkers themselves insist that they were getting their ideas from foreign sources (as was the case with Leibniz, for example), they are not taken seriously by historians. Only references to other Western thinkers are usually considered valid.</p></li>
<li><p>As an example, the authors cite the case of Leibniz. He advocated for Chinese models of statecraft, which had existed for centuries in China but became more common in Europe when exposed to Chinese thought and experiences.</p></li>
<li><p>D&amp;D suggest that Europeans may have taken inspiration for their ideas about freedom, liberty, and reason from Native Americans. Specifically, they suggest that Kondiaronk, a Wendat statesman, may have greatly influenced salon discussions in 17th century Europe through the writings of Lahontan, a French aristocrat who served in the French army in North America. The writings were presented as a discussion with “<em>Adario</em>” in the book <em>“Curious Dialogues with a Savage of Good Sense Who Has Travelled (1703)”</em> - up to page 52.</p></li>
<li><p>Some excerpts from the conversation by the channel MakingHistory:</p></li>
</ul>
    <div style="display: flex; justify-content: center;">
      <iframe width="680" height="420" src="https://www.youtube.com/embed/hLwj-4GI9_Q" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen=""></iframe>
    </div>
<ul>
<li><p>On page 55, there is an amazing paraphrase of Kondiaronk’s description of what he would do if he lived in Europe.</p></li>
<li><p>According to the authors, Lahontan’s book inspired a whole genre of imitations, including one by Madame de Graffigny, a saloniste, titled “Letters of a Peruvian Woman.” The main character, Zilia, is a kidnapped Inca princess who is critical of the absurdities of European society and the patriarchy. Some consider this work to be the first to introduce state socialism to Europe, as Zilia wonders why the king simply doesn’t redistribute all the wealth he garners from the heavy taxes he levies, just like the Sapa Inca.</p></li>
<li><p>Moreover, the authors note how de Graffigny sent a copy of her book to friends for suggestions and changes. One of these correspondents was <em>A.R.J. Turgot</em>, an economist and Louis XVI’s <a href="https://fr.wikipedia.org/wiki/Contr%C3%B4leur_g%C3%A9n%C3%A9ral_des_finances">Contrôleur général des finances</a>, who argued that while freedom and equality are good in principle, they are only possible in “primitive societies that have not yet moved on from hunting and gathering or farming.” A complex “commercial civilization” requires a certain division of labor that highlights the differences between individuals. The authors (probably?) suggest that this is the origin of the “equally poor” argument and note it as an explicit example of American critique of European society that directly provoked a debate in Europe around a central idea of the Enlightenment: Equality. (Pages 59-62)</p></li>
<li><p>Note that every central figure of the enlightenment had an external character critique European society Lahontan-style:</p>
<ul>
<li>A Persian for Montesquieu <em>(Lettres persanes)</em></li>
<li>A Chinese for the Marquis d’Argens</li>
<li>A Tahitian for Diderot</li>
<li>A Natchez for Chateaubriand</li>
<li>A half-Wendat and half-french in Voltaire’s <em>L’Ingénu</em></li>
</ul></li>
<li><p>Up to page 75, the authors spend time to develop why the question about the origin of social inequality is necessarily a question about the origin of human civilization. It is therefore unhelpful to consider our ancestors as some sort of primordial egalitarian human soup, but as people who had very specific ideas about what was going on in their societies and what they wanted from it.</p></li>
</ul>
<!-- divider -->
</section>
<section id="unfreezing-the-ice-age" class="level1">
<h1>3 - Unfreezing the Ice Age</h1>
<ul>
<li><p>The humans that inhabited Africa from Morocco to the Cape for hundreds of thousands of years (most of our prehistory) are far more diverse than humans today. Populations separated by deserts of rainforests were isolated from each other, allowing for the development of strong regional population traits. The difference we notice now are largely illusory and are due to having no real basis for comparison. - page 80 to 81</p></li>
<li><p>Our ancestors also lived with small-brained, more ape like species such as <strong>Homo naledi</strong>, They exchanged with them, interbred with them, drifted away from them etc. But we have no idea what these ancestral societies must have been like. The variance of societies must have been at least as important as the variance in physical types. - page 81</p></li>
<li><p>This was the case up until at least <em>40,000B.C.</em> It is therefore useless to look for a singular form of human societies in our deep prehistory, and trying to do so is a matter of myth-making only - page 82</p></li>
<li><p>Funny phrase from page 83:</p></li>
</ul>
<blockquote class="blockquote">
<p>Consider the first direct evidence of what we’d now call <em>Complex Symbolic Human Behavior</em>, or simply ‘Culture’</p>
</blockquote>
<ul>
<li><p>The earliest hafted tools and expressive use of shell and ochre date back to <em>80,000B.C</em> in Rock Shelters around the coastlands of South Africa. However, it’s only until <strong><em>45,000B.C</em></strong> that such <a href="https://www.worldatlas.com/articles/what-was-the-upper-paleolithic-revolution.html">evidence starts to appear widely</a> and on a larger scale. Scientists interpreted this is the revolution in human cognition that paved the way for civilization, but current evidence now suggests that it is only an illusion due to bias in the data.</p></li>
<li><p>The authors explain this by the fact that most of this evidence is based in Europe where the Homo Sapiens replaced the Neanderthals. And go on to talk about the <em>‘Sapient Paradox’:</em> delay between when our biological development is supposed to have given us the means to develop culture, and the time when we got around to actually doing it. - page 84</p></li>
<li><p>Emerging evidence from all around the world is now showing behavioral complexity even earlier than what the European findings showed, the problem was therefore a mirage.</p></li>
<li><p>In the pages following 85, the authors cite a few of the rich hunter-gatherer burial discoveries that indicate hierarchies and stratification in humans around 30,000 years ago. They cite:</p></li>
</ul>
<blockquote class="blockquote">
<p><em>Pettitt, P. (2011). Religion and ritual in the Lower and Middle Palaeolithic. The Oxford handbook of the archaeology of ritual and religion, 329-343.</em></p>
</blockquote>
<iframe src="insoll.pdf" width="100%" height="600px" style="border:none;"></iframe>
<ul>
<li><p>These findings have apparently swung the pendulum completely into the other direction, with some archeologists now arguing that human societies before the advent of farming and agriculture were very stratified - page 88</p></li>
<li><p>There is also the appearance of Monumental Architecture, with the temples at Gobekli Tepe (Schimdt, 2006) which is talked about in:</p>
<blockquote class="blockquote">
<p><a href="https://www.dainst.blog/the-tepe-telegrams/"><em>https://www.dainst.blog/the-tepe-telegrams/</em></a></p>
</blockquote></li>
<li><p>Other examples include the stone temples in the Germus mountains in southeast Turkey which are extremely ancient</p></li>
<li><p>The massive structures at Gobekli Tepe are massive and imply strict coordination on a large scale, even more so if they were built simultaneously, as is claimed by</p>
<blockquote class="blockquote">
<p><em>Haklay, G., &amp; Gopher, A. (2020). Geometry and architectural planning at Göbekli Tepe, Turkey. Cambridge Archaeological Journal, 30(2), 343-357.</em></p>
</blockquote></li>
</ul>
<p><img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/Untitled2.png" class="img-fluid"> <img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/Untitled.png" class="img-fluid"> <img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/Untitled4.png" class="img-fluid"> <img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/Untitled.png" class="img-fluid"> <img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/Untitled1.png" class="img-fluid"> <img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/Untitled3.png" class="img-fluid"></p>
<ul>
<li>The main point to stress is that while some humans in the vicinity had begun cultivating crops, it does not seem like the humans who built these monuments had. This is the most striking example of monumentality beyond the emergence of agriculture.</li>
</ul>
<blockquote class="blockquote">
<p><em>Hunter-Gatherer societies had institutions to support major public works, projects and monumental constructions, and therefore had complex social hierarchy prior to their adoption of farming -</em> page 90</p>
</blockquote>
<ul>
<li><p>Page 93 contains a citation from Yuval Noah Harari’s book “Sapiens”, in which he compares early bands of humans to apes instead of humans. This comparison suggests, according to the D&amp;D, that he is stripping these early humans of conscious political thought. Like apes, they didn’t choose to live the way they did, and cannot argue or reflect on the proper way to live.</p></li>
<li><p>This causes a paradox, humans somehow had developed anatomically modern brains, but for long periods of history, simply lived like apes anyway?</p></li>
<li><p>Claude Levi-Strauss also observed the Nambikwara in the amazon forest, who during the rainy season settled in villages due to the abundance of resources, but during the dry season split into bands that were led in an autocratic fashion by leaders who would switch back to being nothing but mediators and diplomats that had no coercive power. The Nambikwara were switching constantly between two different stages of human development that should not be able to simultaneously exist. Not to mention that the dry-season leaders were able to change their behavior depending on the situation, which means they must have been quintessentially political actors that could reflect about their own society. - page 98 to 100</p></li>
<li><p>In page 102, the authors claim that there is also overwhelming evidence of seasonal variations in the social structures of human societies in the paleolithic period.</p></li>
<li><p>Marcel Mauss apparently talked about this phenomenon and called it <em>“double morphology”</em></p></li>
</ul>
<blockquote class="blockquote">
<p>Mauss, M. (2013). <em>Seasonal variations of the Eskimo: a study in social morphology</em>. Routledge.</p>
</blockquote>
<ul>
<li><p>pages 107-110 talked about more examples of this seasonal variations and in page 112 talk about how it implies that they are full political actors that could imagine and seek/avoid different kinds of social order. In fact, it seems as if the way some of these societies were organized was precisely to avoid the emergence of the coercive institutions of an “advanced complex society” such as state”. A possible critique of this is that it’s farfetched to think that these humans would try to avoid something they’d never lived in or seen? Authors answer that large scale polities did exist in neighboring regions in the continent and it’s not unreasonable to think that they were aware of what was going on in them.</p></li>
<li><p>In 114, authors say that this phenomenon of seasonality is a bit of a wildcard and there is no common pattern in the way it manifests itself in these foraging societies. The only constant is variation and the <em>consequent awareness of different social possibilities</em>.</p></li>
</ul>
<blockquote class="blockquote">
<p><em>What all this confirms is that searching for ‘the origins of social inequality’ is really asking the wrong question - page 115</em></p>
</blockquote>
<ul>
<li><p>An interesting idea in page 117 is that the rituals associated with seasonality are also highly variable, and even in modern humans where it is a shadow of its former self and the possibilities they offer, keep the imagination of the political mind alive by showing different kinds of possible social orders. Authors think it’s no coincidence that May Day or International Workers’ Day for example is because many British peasant revolts began on riotous festivals at that season.</p></li>
<li><p>Maybe the first Kings to ever exist were just play kings in some ritual or festival, who then became real kings, and are now going back to being play kings again who are largely ceremonial in role.</p></li>
<li><p>Page 118 is a good summary of the book so far, and is important, so here it is in its entirety</p></li>
</ul>
<blockquote class="blockquote">
<p><em>WHAT BEING SAPIENS REALLY MEANS</em></p>
<p><em>Let us end this chapter where we began it. For far too long we have been generating myths. As a result, we’ve been mostly asking the wrong questions: are festive rituals expressions of authority, or vehicles for social creativity? Are they reactionary or progressive? Were our earliest ancestors simple and egalitarian, or complex and stratified? Is human nature innocent or corrupt? Are we, as a species, inherently co-operative or competitive, kind or selfish, good or evil?</em></p>
<p><em>Perhaps all these questions blind us to what really makes us human in the first place, which is our capacity – as moral and social beings – to negotiate between such alternatives. As we’ve already observed, it makes no sense to ask any such questions of a fish or a hedgehog. Animals already exist in a state ‘beyond good and evil’, the very one that Nietzsche dreamed humans might also aspire to. Perhaps we are doomed always to be arguing about such things. But certainly, it is more interesting to start asking other questions as well. If nothing else, surely the time has come to stop the swinging pendulum that has fixated generations of philosophers, historians and social scientists, leading their gaze from Hobbes to Rousseau, from Rousseau to Hobbes and back again. We do not have to choose any more between an egalitarian or hierarchical start to the human story. Let us bid farewell to the ‘childhood of Man’ and acknowledge (as Lévi-Strauss insisted) that our early ancestors were not just our cognitive equals, but our intellectual peers too. Likely as not, they grappled with the paradoxes of social order and creativity just as much as we do; and understood them – at least the most reflexive among them – just as much, which also means just as little. They were perhaps more aware of some things and less aware of others. They were neither ignorant savages nor wise sons and daughters of nature. They were, as Helena Valero said of the Yanomami, just people, like us; equally perceptive, equally confused.</em></p>
<p><em>Be this as it may, it’s becoming increasing clear that the earliest known evidence of human social life resembles a carnival parade of political forms, far more than it does the drab abstractions of evolutionary theory. If there is a riddle here it’s this: why, after millennia of constructing and disassembling forms of hierarchy, did Homo sapiens – supposedly the wisest of apes – allow permanent and intractable systems of inequality to take root? Was this really a consequence of adopting agriculture? Of settling down in permanent villages and, later, towns? Should we be looking for a moment in time like the one Rousseau envisaged, when somebody first enclosed a tract of land, declaring: ‘This is mine and always will be!’ Or is that another fool’s errand?</em></p>
</blockquote>
<!-- divider -->
</section>
<section id="free-people-the-origin-of-cultures-and-the-advent-of-private-property" class="level1">
<h1>4 - Free People, the Origin of Cultures, and the Advent of Private Property</h1>
<ul>
<li><p>Up to 125, authors talk about various mesolithic populations and how the gradual improvement of technologies that would in principle make it easier to travel long distances (connecting populations with different languages and economic systems etc.) resulted mainly in more tightly knit groups divided across cultures, class and language.</p></li>
<li><p>Surprisingly, in page 124-125, authors seem to suggest that this emergence of distinct social and cultural universes might have led to more durable and intransigeant forms of domination.</p></li>
<li><p>The constantly mobile nature of foraging societies meant that individuals could take the first exit route if their freedoms were threatened, the hardening and multiplication of cultural boundaries might have restricted this possibility - 125</p></li>
<li><p>Then there is a discussion on Marshall Sahlin’s <em>‘Original Affluent Society’</em> which according to wikipedia:</p></li>
</ul>
<blockquote class="blockquote">
<p><em>At the time of the symposium new research by anthropologists, such as <a href="https://en.wikipedia.org/wiki/Richard_Borshay_Lee">Richard B. Lee</a>’s work on the <a href="https://en.wikipedia.org/wiki/!Kung_people">!Kung</a> of <a href="https://en.wikipedia.org/wiki/Southern_Africa">southern Africa</a>, challenged popular notions that hunter-gatherer societies were always near the brink of <a href="https://en.wikipedia.org/wiki/Starvation">starvation</a> and continuously engaged in a struggle for survival.<a href="https://en.wikipedia.org/wiki/Original_affluent_society#cite_note-barnard-2">2</a> Sahlins gathered the data from these studies and used it to support a comprehensive argument that states that hunter-gatherers did not suffer from <a href="https://en.wikipedia.org/wiki/Poverty">deprivation</a>, but instead lived in a society in which “all the people’s wants are easily satisfied.”</em></p>
</blockquote>
<blockquote class="blockquote">
<p>Sahlins, M. (1968). “Notes on the Original Affluent Society”, <em>Man the Hunter.</em> R.B. Lee and I. DeVore (New York: Aldine Publishing Company) pp.&nbsp;85-89.<a href="https://en.wikipedia.org/wiki/ISBN_(identifier)" title="ISBN (identifier)">ISBN</a>&nbsp;<a href="https://en.wikipedia.org/wiki/Special:BookSources/020233032X" title="Special:BookSources/020233032X">020233032X</a></p>
</blockquote>
<ul>
<li>In 138, there is this important paragraph where they argue that in the 1960s, researchers were beginning to realize that foragers were perfectly aware of how one would go about planting and harvesting grains and vegetable, but simply did not see any reason to. They cite a !Kung informant who said</li>
</ul>
<blockquote class="blockquote">
<p><em>Why should we plant, when there are some many mongongo nuts in the world?</em> &gt;</p>
</blockquote>
<ul>
<li>Such foragers literally rejected the Neolithic Revolution in order to keep their leisure</li>
</ul>
<!-- divider -->
<p>I interrupt these notes to pose my own prediction of how Graeber and Wengrow will end this book, and I will confirm whether I was right when I actually finish it, here goes:</p>
<p>The Neolithic Revolution is probably a conscious political decision that early humans made. I’m not sure yet why, but once settlements and coercive institutions emerged, they could amass enough surplus production using these coercive institutions (note that the concept of surplus is pointless to a foraging people) to dominate the other groups and populations that hadn’t made the transition and excluding them from territory or incorporating them in their own system. Once ‘civilization’ was spread enough on most accessible land, these foraging groups either had to submit to the new emerging stratified surplus societies (or statelike structures) or adopt their own in order to keep a distinct identity and survive. (Inspired by current touareg populations in the Sahara and special shoutout to the music video of Tinariwen <strong>(+IO:I) - Ténéré Tàqqàl</strong>)</p>
  <div style="display: flex; justify-content: center;">
    <iframe width="700" height="315" src="https://www.youtube.com/embed/boiiiVh52v4" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen=""></iframe>
  </div>
<p>Am I right or am I wrong?</p>
<!-- divider -->
<ul>
<li><p>Authors then proceed to point out what they consider to be the main flaw in Sahlin’s argument, that he himself concedes, which is that maybe the !Kung were not necessarily more representative of paleolithic societies than the foragers of Northwestern California or the fisher-foragers of the Canadian northwest coast, who were famously industrious and adhered to a stringent work ethic. The Kwakiutl also had lavishly supplied households with a an always increasing quantity of items</p></li>
<li><p>Next is a discussion about <a href="https://en.wikipedia.org/wiki/Poverty_Point">Poverty Point</a>, which apparently has evidence of standardised units of measurements across a significant proportion of the Americas - 143</p></li>
<li><p>Artist reconstruction of Poverty Point:</p></li>
</ul>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/poverty_point_hroe.jpg" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<ul>
<li><p>An aerial view of the earthworks at Poverty Point. Excerpt from USDA Agricultural Stabilization and Conservation Service aerial photograph CTK-2BB-125. Aerial photograph taken November 11, 1960: <img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/poverty_point_aerial.jpg" class="img-fluid"></p></li>
<li><p>145 contains new (to me at least) information about the archaic period of american prehistory:</p></li>
</ul>
<blockquote class="blockquote">
<p><em>The Archaic period covers an immense span of time, between the flooding of the <a href="https://en.wikipedia.org/wiki/Beringia">Beringia land bridge</a> (which once linked Eurasia to the Americas) around 8000BC, and the initial adoption and spread of maize-farming in certain parts of North America, down to around 1000BC.</em></p>
</blockquote>
<ul>
<li><p>The myth that foraging societies live in a state of infantile simplicity was used to strip native populations of the land they forage in, with the argument that they didn’t <strong><em>really</em></strong> improve the land (like a landlord would) but only used to for their basic needs. They were considered part of the land and had no right to claim property to it. - 149</p></li>
<li><p>151 mentions the Calusa, a non-agricultural people who inhabited the west coast of Florida. The Leader had absolute political power and was even dressed like a king with a wooden throne. This people clearly had a stratified society with extreme coercion, without ever needing to plant a seed or tethering a single animal.</p></li>
<li><p>158 to 159 go back to the subject of property. An apparently striking exception to the rule of never claiming property was the sacred or rituals. They cite James Woodburn’s work on <strong><em>free societies</em></strong> and how the items associated with these rituals are the only objects that can be exclusive in nature. Next, they pivot to Emile Durkheim’s definition of the ‘sacred’ as that which is set apart, or the Polynesan word <strong><em>‘Tabu’</em></strong> which means <em>that which is not to be touched.</em></p></li>
<li><p>D&amp;D consider this perfectly analogous to private property as we know it today, at least in its social effects and underlying logic. If you own a car, you have the right to keep anyone in the entire world from entering it, it is sacred to a specific human individual, you, at the expense of the rest of the world.</p></li>
<li><p>Furthermore, the european conception of the absolute and sacred nature of property is taken as a paradigm for all other rights and freedoms. In the sense that you own your right to safety stems from you owning your house and your right not to be killed, tortured or arbitrarily from you owning your body. Naturally the people who did not share this conception of the sacred could be killed, imprisoned or tortured, as they often were.</p></li>
<li><p>162 to 163, D&amp;D talk about brutal initiation rituals in Australian Aranda people, and the in general, the idea of the sacred is intimately related to exclusive claims to rights over property, and places like Gobelki Tepe and Poverty Point are exactly the kind of places where sacred rituals would happen. The question therefore, of the origin of property as a concept is probably associated with the origin of the sacred, which is as old as humanity itself. The right question to ask, then, is how it came to order to many so many other aspects of human affairs.</p></li>
</ul>
<!-- divider -->
</section>
<section id="many-seasons-ago" class="level1">
<h1>5 - Many Seasons Ago</h1>
<p>(or the problem of modes of production)</p>
<ul>
<li>170 to 174 are about culture areas and Mauss’ insight about how different populations were broadly aware of what was going on around them, but chose not to adopt some elements precisely as a way to differentiate themselves from them.</li>
</ul>
<blockquote class="blockquote">
<p>Cultures were, effectively, structures of refusal</p>
</blockquote>
<ul>
<li><p>In their discussion about foraging societies in the west coast (California and Northwest coast), authors mention Maz Weber’s <strong><em>The Protestant Ethic and The Spirit of Capitalism - 1905,</em></strong> which was trying to ask why capitalism emerged in western europe and not elsewhere. Weber apparently says that despite trade an commerce existing elsewhere in the world, their was always the expectation that you would use the wealth you gained to get yourself a palace or build a mosque etc. but this wasn’t the case with capitalism, where the wealth one gains is always expected to be reinvested to generate even more wealth, which would put the person under immense pressure from their community in any other place the puritanical strain of Christianity.</p></li>
<li><p>179 to 180 discuss the different ethos between the indigenous californians and the peoples of the NorthWest coast. While they both had advanced concepts of private property and it was possible to accumulate a certain quantity of wealth, the underlying ethos was very different in that a wealthy Californian (Yurok) was expected to remain modest and give much of his wealth away in festivities and such, while in the north west coast the Kwakiutl was much more boastful and vainglorious. In 180 there is a systematic extrapolation to this process of differentiation with the main example given being how Sparta and Athens were always diametrically opposed in so many facets they came to define eachother as land does with sea. Marshall Sahlins’ puts it this way</p></li>
</ul>
<blockquote class="blockquote">
<p><em>Dynamically interconnected, they were then reciprocally constituted.. Athens was to Sparta as sea to land, cosmopolitan to xenophobic, commercial to autarkic, luxurious to frugal, democratic to oligarchic, urban to villageois, autochtonous to immigrant, logomanic to laconic, .. One cannot finish enumerating the dichotomies … Athens and Sparta were antitypes.</em></p>
</blockquote>
<ul>
<li><p>In 183, the authors ask how we could explain the differences between the Californians and the Northwest coast peoples. Does one start from institutional structures and arrive at the ethos from that, or is it the other way around, with the institutions deriving from the underlying ethos? Are they both just the effects of technological adaptation to different environments?</p></li>
<li><p>These are fundamental questions about what ultimately determines the nature of society</p></li>
<li><p>Book moves on to the subject of slavery and modes of production, by first noting that it’s very hard to archeologically ‘identify’ slavery without written records. However:</p></li>
</ul>
<blockquote class="blockquote">
<p><em>We can observe how the elements that came together to form the institution of slavery emerged at the same time starting at around 1850BC,in what’s called the middle pacific period</em></p>
</blockquote>
<ul>
<li><p>Basically increased labour demands from such a bounteous resource as anadromous fish with large salmon runs. It’s assumed to be no coincidence that the first signs of warfare and fortifications emerged at the same time. - 186</p></li>
<li><p>They also observe a significant variation between treatment of the dead at this stage, with clear hierarchy between those who’s burials had decoration and ornamentation, and those who’s bodies were mutilated, used as tools or in general shown to matter very little.</p></li>
<li><p>This was completely absent in the correspondingly early record of California, who’s middle pacific was comparatively more <strong><em>pacific.</em></strong> And the differences cannot be put down to lack of contact, which archeological and linguistic evidence suggests definitely did exist through the movement of people and goods along the west coast.</p></li>
<li><p>Authors talk about the deep ambivalence of some relationships with slaves. In a first sense, slavery is taken as theft of labour in which one does not have to raise a human up to adulthood where they cease to be a liability and start actually becoming productive. Why is it then that some societies take pride in their adoption of captives and spending a lot of effort, almost like pets. 191</p></li>
<li><p>192-193, the story of the wogies: First attested in 1873 by A.W. Chase. which was related to him by the Chetco people of Oregon. Wogie is a word for white settlers, and the story goes like this:</p></li>
</ul>
<blockquote class="blockquote">
<p>The ancestors came with canoes from the far north, and found two tribes in the area. One warlike race, which they conquered and exterminated, and one tribe with a diminutive and mild disposition. They were skillful in the manufacture of baskets, robes, canoes etc. but were enslaved because of their refusal to fight. One night after a grand feast, they packed up their things and fled. When the first white mean appeared, the Chetcos thought the were the wogies returned, but they soon found out their mistake, but retained the appellation ‘Wogies’</p>
</blockquote>
<ul>
<li><p>The authors not that the Chetcos enslaved a tribe for their labor and skills that they themselves lacked, similar to the Guaicuru . Furthermore, this story seems like a cautionary tale from the dangers of enslaving a people, since the Chetco consider the white european settlers as the Wogies back for their vengeance. More interestingly, however, this was geographically in the boundary between two major culture regions, precisely where one would expect an institution like slavery would be debated and contested.</p></li>
<li><p>195, authors describe optimal foraging theory: &gt; <strong><em>foragers will design their hunting and collecting strategies with the intention of obtaining the maximum return &gt; in calories, for a minimum outlay of labor.</em></strong></p></li>
<li><p>Behavioral-ecologists call this a ‘cost-benefit’ calculation. First you figure out how foragers ought to act if they are trying to be as efficient as possible. Then you examine how they do in fact act. If it doesn’t correspond, then something else must be going on.</p></li>
<li><p>Authors note that in this perspective, indigenous californians were far from efficient. They were gathering acorns and pine nuts as staples, which doesn’t make sense in a bounteous region like California. Nut yields vary dramatically from season to season, unlike the reliably abundant and more nutritious fish. Acorns and pine nuts also require a lot of leaching and grinding. In fact, the Northwest coast peoples did enjoy great varieties of fish, so in optimal foraging theory, California is a puzzle</p></li>
<li><p>In behavioral ecology, fish are ‘front-loaded’, meaning you have to do most of the work right away, unlike acorns and pine nuts which were ‘back-loaded’. Harvesting them was a simple task, and there was no need for processing prior to storage. Unlike fish, most of the hard work came right before consumption: grinding and leaching to make porridges, cakes, and biscuits. Fish on the other hand, means investing in the creation of a storable surplus of processed and packaged foods, which creates an irresistible temptation for plunderers; you were basically tying a noose around your own neck.</p></li>
<li><p>It seems then, that Northwest coast societies were warlike simply because they didn’t have the option of relying on a war-proof staple food. But the authors claim that this theory does not match up to the historical record. First, because the capture of fish or dried food was never a significant aim of Northwest coast intergroup raiding. The main aim of raiding was always to capture people, but this was one of the most densely populated areas of NA. Why this hunger for people then? - 197</p></li>
<li><p>It seems the causes of slavery stem from Northwest coast concepts of the proper ordering of society, which in turn, were the result of political jockeying by different sectors of the population on what a proper society should be. Aristocratic title holders felt that they should be exempt from menial work, which became issues in spring and summer when the only limit on fish harvesting was how many hands were available. But low ranking commoners would constantly defect to rival households if pressed too hard.</p></li>
<li><p>There seems to be a shortage of <em>controllable</em> labor especially during critical times of the year. This seemed to be the problem that slavery solves for the aristocrats. They looked abroad, because they lacked the means to compel their own subjects to take part in their endless games of magnificence.</p></li>
<li><p>200 - The cautionary tale of the Wogies suggests that populations directly adjacent to the Californian ‘shatter zone’ were aware of their northern neighbors and saw them as warlike. Meaning they recognized such exploitation as a possibility in their own society and still rejected it. In fact, the foragers in the Californian shatter zone were building their communities in a schismogenetic fashion: You’d never catch a free member of a Northwest household chopping or carrying wood, but Californian Chiefs made such activities into solemn public duty</p></li>
<li><p><em>Some Conclusions</em> in page 204 is a good summary in itself, and a must reread. Especially the part where slavery is considered to gave emerged at home.</p></li>
<li><p>Re-examine the second paragraph in page 205 about the role of structuralism and post-structuralism</p></li>
</ul>
<!-- divider -->
</section>
<section id="the-gardens-of-adonis" class="level1">
<h1>6 - The Gardens of Adonis</h1>
<p><strong>The revolution that never happened: How neolithic peoples avoided agriculture.</strong></p>
<p>212 - a discussion about the world’s oldest town: <strong><em>Çatalhöyük</em></strong></p>
<p><img src="https://upload.wikimedia.org/wikipedia/commons/thumb/0/08/Catal_Hüyük_EL.JPG/1280px-Catal_Hüyük_EL.JPG" class="img-fluid" alt="On-site restoration of a typical interior.">On-site restoration of a typical interior.</p>
<p><img src="https://upload.wikimedia.org/wikipedia/commons/thumb/8/8f/MUFT_-_Catal_Höyük_Modell.jpg/1280px-MUFT_-_Catal_Höyük_Modell.jpg" class="img-fluid" alt="Model of the neolithic settlement ( 7300 BC )"> Model of the neolithic settlement ( 7300 BC )</p>
<video width="100%" controls="" style="border-radius:8px;">
  <source src="Catalhöyük.webm" type="video/webm">
</video>
<p><img src="https://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Çatalhöyük,_7400_BC,_Konya,_Turkey_-_UNESCO_World_Heritage_Site,_08.jpg/1920px-Çatalhöyük,_7400_BC,_Konya,_Turkey_-_UNESCO_World_Heritage_Site,_08.jpg" class="img-fluid" alt="Population 5,000 - 7,000. Large numbers of buildings clustered together. The inhabitants lived in mudbrick houses. No footpaths or streets between the dwellings. Most were accessed by holes in the ceiling and doors on the side of the houses, with doors reached by ladders and stairs."> Population 5,000 - 7,000. Large numbers of buildings clustered together. The inhabitants lived in mudbrick houses. No footpaths or streets between the dwellings. Most were accessed by holes in the ceiling and doors on the side of the houses, with doors reached by ladders and stairs.</p>
<ul>
<li><p>The town is important in that it is the first settlement that we know of whose inhabitants got most of their nutrition through domesticated cereals, sheep and goats.</p></li>
<li><p>213-214, discussion about <strong>primitive matriarchy</strong> and how new methods of field work in Çatalhöyük changed our perspective, buildings previously thought to be shrines are actually households where everyday tasks are performed, and wall-mounted Ox skulls that we thought to be those of domesticated cattle, turn out to be of fierce aurochs etc.</p></li>
<li><p>215 is about <em><a href="https://fr.wikipedia.org/wiki/Matilda_Joslyn_Gage">Matilda Joslyn Gage</a></em> and her work in <strong><em>“Woman, Church, and State” - 1893</em></strong> in which she posits the universal existence of an early form of society known as “The Matriarchate” or “Mother-rule” in which institutions of government and religion were modeled after the relationship of a mother and her child in a household.</p></li>
<li><p>216-217 are about <em><a href="https://en.wikipedia.org/wiki/Marija_Gimbutas">Marija Gimbutas</a></em>, a Lithuanian-American archeologist and her work in “<strong><em>The Goddesses and Gods of Old Europe” - (1982)</em></strong>, in which she argued for the old Victorian story of goddess-worshipping farmers, and that from 7000BC to around 3500BC, an ensemble of peaceful neolithic villages existed in the Balkans and eastern Mediterranean where women and men were equally valued, and worshipped under common pantheon of a supreme goddess, whose cult is attested in many female figurines across the middle east and Balkans.</p></li>
<li><p>This came to a catastrophic end after the migration of the <strong><em>kurgan</em></strong> cattle-keeping peoples from the Pontic Steppe north of the Black Sea. They were extremely warlike and very patriarchal and their societies were based on the radical subordination of women and the elevation of warriors as a ruling caste.</p></li>
<li><p>Gimbutas considers them to be responsible for the <a href="[https://en.wikipedia.org/wiki/Kurgan_hypothesis](https://en.wikipedia.org/wiki/Kurgan_hypothesis)">westward spread of Indo-European languages</a>. This was extremely controversial at the time and she was accused of muddying the waters between research and old Victorian myths. Recent DNA analyses however, indicate that she was probably right. It truly does seem that there was a migration of cattle herders from the north Black Sea at around the third millenium BC.</p></li>
</ul>
<blockquote class="blockquote">
<p>Haak, Wolfgang, et al.&nbsp;“<em>Massive migration from the steppe was a source for Indo-European languages in Europe.</em>” <em>Nature</em> 522.7555 (2015): 207-211.</p>
</blockquote>
<blockquote class="blockquote">
<p>Allentoft, Morten E., et al.&nbsp;“<em>Population genomics of bronze age Eurasia</em>.” <em>Nature</em> 522.7555 (2015): 167-172.</p>
</blockquote>
<blockquote class="blockquote">
<p>Mathieson, Iain, et al.&nbsp;“<em>Genome-wide patterns of selection in 230 ancient Eurasians</em>.” <em>Nature</em> 528.7583 (2015): 499-503.</p>
</blockquote>
<p>In a discussion about the origins of farming, page 230, authors criticize Yuval Harrari:</p>
<blockquote class="blockquote">
<p><em>.. Wheat was just another form of wild grass, of no special significance; but within the space of a few millennia it was growing in large parts of the planet. How did it happen? The answer, according to Harrari, is that wheat did it by manipulating Homo sapiens to its advantage. ‘This ape’, he writes, ‘had been living a fairly comfortable life hunting and gathering until about 10,000 years ago, but then began to invest more and more effort in cultivating wheat.’ If wheat didn’t like stones, humans had to clear them from their fields; if wheat didn’t wanna share its space with other plants, people were obliged to labor under the hot sun weeding them out; if wheat craved water, people had to lug it from one place to another, and so on. -</em> p.&nbsp;80 of <em>‘Sapiens’</em></p>
</blockquote>
<ul>
<li><p>Page 232, authors argue that under experimental conditions, it seems that the genetic mutations that would transform wheat from a wild form of grass into a domesticated plant take roughly 20 to 30 years, or 200 years at most, using simple harvesting techniques.</p></li>
<li><p>It seems humans settled in permanent villages long before cereals became a major component of their diets:</p></li>
</ul>
<blockquote class="blockquote">
<p><em>Moore, A. M., &amp; Hillman, G. C. (1992). The Pleistocene to Holocene transition and human economy in Southwest Asia: the impact of the Younger Dryas. American Antiquity, 57(3), 482-494.</em></p>
</blockquote>
<p>If Harrari’s claim was true, the domestication of large seeded grasses would have happened within a few decades, which contradicts available evidence that suggests a time frame of 3000 years for it to fully complete:</p>
<blockquote class="blockquote">
<p><em>Fuller, D. Q., Allaby, R. G., &amp; Stevens, C. (2010). Domestication as innovation: the entanglement of techniques, technology and chance in the domestication of cereal crops. World archaeology, 42(1), 13-28.</em></p>
</blockquote>
<ul>
<li><p>237 to 241 discuss the prominent role of women in the development of neolithic technology. Women were instrumental in exploring plant properties, experimenting with harvesting techniques, and debating the social implications of these practices. Moreover, women likely developed fibre-based crafts and industries, and the mathematical and geometrical knowledge linked to these crafts. Despite this, the text argues that the role of women is often overlooked in scholarly discourse.</p></li>
<li><p>Moreover, The terms ‘agriculture’ and ‘domestication’ might not adequately describe early human interaction with the environment. The Neolithic relationship between people and plants is posited as being about creating garden plots, tipping the ecological balance in favor of desired species. This Neolithic mode of cultivation was successful, fostering population growth in lowland regions of the Fertile Crescent. The visibility of women in contemporary art and ritual might reflect their status and achievements in these societies. The beginnings of farming are a media and social revolution, with women’s work and knowledge at the core. Furthermore, it emphasizes that this process was leisurely, non-coercive, and led to equality, unlike traditional narratives that imply it was born out of necessity.</p></li>
</ul>
<!-- divider -->
</section>
<section id="the-ecology-of-freedom" class="level1">
<h1>7 - The Ecology of Freedom</h1>
<p>How farming first hopped, stumbled and bluffed its way around the world</p>
<ul>
<li><p>250, there’s been many instances of societies transitionning from foraging to agriculture (over long stretches of time of course, where they effectively tried different forms of foraging and farming), therefore it doesn’t make sense to ask the question “<strong><em>what are the social implications of the transition to farming”</em></strong> as if there’s only on set of possible implications.</p></li>
<li><p>Transition to agriculture doesn’t necessarily imply transition to more unequal societies just to manage land. Communal tenure, ‘open-field’ principles and periodic redistribution of plots were all often practiced</p></li>
</ul>
<blockquote class="blockquote">
<p>Ostrom, Elinor. <em>Governing the commons: The evolution of institutions for collective action</em>. Cambridge university press, 1990.</p>
</blockquote>
<ul>
<li><p>251 Basically: Agriculture <img src="https://latex.codecogs.com/png.latex?%5Cnot%5CRightarrow"> private land ownership, territoriality.</p></li>
<li><p>In fact in the Fertile Crescent, the opposite seems true. Which means the process is far less unidirectional and far messier than the “Neolithic Revolution” term implies.</p></li>
<li><p>252 - Archeological science has now identified between 15 and 20 independent centers of domestication, many of which followed very different paths of development.</p></li>
<li><p>Some examples of peoples who switched back to foraging after farming are given in page 254</p></li>
<li><p>On why agriculture did not develop sooner, given that humans existed for at around 200,000 years, authors point out that there have only been two periods in that time where the climate was warm enough to sustain an agricultural economy for long enough to leave a trace in the archeological record. <strong><em>The <a href="https://en.wikipedia.org/wiki/Eemian">Eemian Interglacial</a></em></strong> (between 130,000 and 115,000 years ago) and now, now being <em><a href="https://en.wikipedia.org/wiki/Holocene">The Holocene</a></em> (started 11,700 years ago).</p></li>
<li><p>For some reason authors seem to skip past the Eemian Interglacial and why there was no agriculture then??</p></li>
<li><p>Some scientists argue that the Anthropocene actually started in the late 1500-early 1600s, with the devastating effects European expansion in the Americas had on indigenous populations (conquest and disease), some 50 million hectares of cultivated land reverted to wilderness, forests reclaimed regions used for agriculture for centuries. It seems the carbon uptake from vegetations increased on a scale sufficient to affect the earth’s system and bring about a <a href="https://en.wikipedia.org/wiki/Little_Ice_Age">period of human-driven global cooling</a></p></li>
</ul>
<blockquote class="blockquote">
<p>Koch, Alexander, et al.&nbsp;“Earth system impacts of the European arrival and Great Dying in the Americas after 1492.” <em>Quaternary Science Reviews</em> 207 (2019): 13-36.</p>
</blockquote>
<ul>
<li><p>In any case, despite the fact that the Holocene presented conditions that were suitable for agriculture, it was a golden age for foraging societies.</p></li>
<li><p>260 is about ‘<em>Ecological Freedom</em>’ which is basically the proclivity of human societies to move freely in and out of farming. Raise crops without surrendering one’s existence entirely to the logistics of agriculture.</p></li>
</ul>
<blockquote class="blockquote">
<p>Smith, Bruce D. “Low-level food production.” <em>Journal of archaeological research</em> 9 (2001): 1-43.</p>
</blockquote>
<ul>
<li>261 to 262 is about the brutal collapse of central Europe’s first farmers:
<ul>
<li><a href="https://www.pnas.org/doi/10.1073/pnas.1504365112">Kilianstadten</a></li>
<li><a href="https://en.wikipedia.org/wiki/Talheim_Death_Pit">Talheim</a></li>
<li><a href="https://en.wikipedia.org/wiki/Massacre_of_Schletz">Schletz</a></li>
<li><a href="https://en.wikipedia.org/wiki/Herxheim_(archaeological_site)">Hexheim</a></li>
</ul></li>
<li>Each of these early Neolithic farming societies which were established at around 5000BC, ended in turmoil with the digging and filling of mass graves, which attests to the annihilation of an entire community. Chaotic jumbles of remains of adults and children of both sexes, their bones showing signs of torture, mutilation and violent death, breaking of limbs, taking of scalps, butchering for cannibalism. In <a href="https://www.pnas.org/doi/10.1073/pnas.1504365112">Kilianstadten</a>, younger women were missing, suggesting their appropriation as captives:</li>
</ul>
<blockquote class="blockquote">
<p>Wild, Eva Maria, et al.&nbsp;“Neolithic massacres: Local skirmishes or general warfare in Europe?.” <em>Radiocarbon</em> 46.1 (2004): 377-385.</p>
</blockquote>
<blockquote class="blockquote">
<p>Schulting, Rick J., and Linda Fibiger, eds.&nbsp;<em>Sticks, stones, and broken bones: Neolithic violence in a European perspective</em>. Oxford University Press, 2012.</p>
</blockquote>
<blockquote class="blockquote">
<p>Meyer, Christian, et al.&nbsp;“The massacre mass grave of Schöneck-Kilianstädten reveals new insights into collective violence in Early Neolithic Central Europe.” <em>Proceedings of the National Academy of Sciences</em> 112.36 (2015): 11217-11222.</p>
</blockquote>
<blockquote class="blockquote">
<p>Teschler-Nicola, Maria. “The early Neolithic site Asparn/Schletz (Lower Austria): anthropological evidence of interpersonal violence.” <em>Sticks, stones, and broken bones: Neolithic violence in a European perspective</em> (2012): 101-120</p>
</blockquote>
<p>Basically, the idea is that the demographic growth did not happen in this case, these societies’ numbers dwindled into obscurity after these massacres, and only took off again after a millenium or so - page 262</p>
<!-- divider -->
</section>
<section id="imaginary-cities" class="level1">
<h1>8 - Imaginary cities</h1>
<p>This chapter is about the first cities in mesopotamia, the Indus Valley, Ukraine and China</p>
<ul>
<li><p>A first discussion about Elias Canetti’s idea that the first cities existed in the minds of people in small hunter-gatherer communities who were speculating what a larger community would be like. His proof is the herd animals that were depicted in the walls of caves. - 276</p></li>
<li><p>Authors argue that very large social units, in a sense, are always imaginary, and that there is a difference between how one relates to friends, family or neighborhood, and how one relates to empires, nations and metropolises.</p></li>
<li><p>This issue of scale is crucial in the standard textbook argumentation of human social evolutionists: early forager societies were egalitarian <strong><em>precisely</em></strong> because they were small. Larger agglomerations are treated as somewhat unnatural, which is why we require elaborate institutions like states, the police, bureaucracy etc. It would make perfect sense then, that the rise of cities would also correspond with the rise of states. - 277</p></li>
<li><p>The evidence however, suggests otherwise. Many of the early cities governed themselves with no temples of palaces that would suggest any ruling stratum or existence of different social classes. They would only emerge much later in history. In some cases centralized power appears and then disappears. Simply put, the mere fact of urban life does not necessarily imply any form of political organisation.</p></li>
<li><p>279 is about <a href="https://en.wikipedia.org/wiki/Dunbar%27s_number">Dunbar’s number</a>, which implies that conflicts will inevitably arise in communities whose size exceeds it. however, in 280, authors argue that close kin relations do not make up the majority of social relations in many forager groups such as the <a href="https://en.wikipedia.org/wiki/Hadza_people"><strong><em>Hadza</em></strong></a> in Tanzania or <a href="https://en.wikipedia.org/wiki/Martu_people">Australian Martu</a>. Same goes for !Kung San or the <a href="https://fr.wikipedia.org/wiki/Yaka_(peuple)">Ba Yaka</a>, any member of them could come from anywhere in a large geographical area.</p></li>
<li><p>282 - It seems as if these societies exists simultaneously in two different scales.</p></li>
<li><p>284-285, a return to descriptions of the earliest cities, with an emphasis on the existence of planning at a municipal scale, and a self-conscious identity of these urban people.</p></li>
<li><p>A following section about why the first cities arose. The main interesting idea is the stability of rivers and sea levels made settlement in river deltas more of a stable affair around 7000 years ago in the Holocene, which is not the case in its beginning where rivers were wild and unpredictable</p></li>
<li><p>Around 292 is about archeologists reluctance to call mega-sites in ukraine <strong><em>cities</em></strong> because of a lack of centralized governments or state structures</p></li>
<li><p>in 295, about the circular nature of Nebelivka, Ukraine. Authors speculate about how such an organisation might have taken place, as it was seemingly a bottom-up process with individual household members being part of the decision making process, and are consciously sharing a conceptual framework for the whole settlement.</p></li>
<li><p>Authors compare this to modern Basque societies in the highlands of the Pyrenees-Atlantique, which also used a circular concept that was consciously egalitarian (everyone has neighbors to the left and to the right, no one is first or last):</p></li>
</ul>
<p><img src="https://upload.wikimedia.org/wikipedia/commons/4/46/Nebelivka.jpg" class="img-fluid" alt="Nebelivka"> Nebelivka settlement ground plan</p>
<blockquote class="blockquote">
<p>Ascher, Marcia. <em>Mathematics elsewhere: An exploration of ideas across cultures</em>. Princeton University Press, 2002. (Chapter 5)</p>
</blockquote>
<ul>
<li><p>These Basque villages, due to the fact that they contain around 100 households, and therefore form communities of a size beyond Dunbar’s number, are taken as evidence that large groups do not necessarily require administrators or chiefs to function. The ‘mega-sites’ in Ukraine are also considered evidence that egalitarianism on an urban scale was possible in early cities. - 297</p></li>
<li><p>Book turns back to Mesopotamia, where urban societies seem to have existed since 3500BC in the arid landscapes of the Persian Gulf, and up to 4000BC in the north:</p></li>
</ul>
<p><img src="https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/Untitled5.png" class="img-fluid"> Area TW from the west; the lowest level excavated up to now lies still some 15m above modern plain level, this depth representing occupation dating to the earlier fifth and sixth millennia. The visible section spans the late fifth, the whole of the fourth and the very early third millennia BC.*</p>
<blockquote class="blockquote">
<p>Oates, J., McMahon, A., Karsgaard, P., Al Quntar, S., &amp; Ur, J. (2007). <em>Early Mesopotamian urbanism: a new view from the north</em>. <em>antiquity</em>, <em>81</em>(313), 585-600.</p>
</blockquote>
<ul>
<li><p>298 is interesting for general knowledge: Mesopotamia was already in modern memory thanks for biblical scripture. Orientalists from the Victorian era excavated sites with scriptural associations like Nimrud and Nineveh, hoping to uncover figures of legend like <a href="https://en.wikipedia.org/wiki/Nebuchadnezzar_II">Nebuchadnezzar</a>, <a href="https://en.wikipedia.org/wiki/Sennacherib">Sennacherib</a> and <a href="https://en.wikipedia.org/wiki/Tiglath-Pileser_III">Tiglath-Pileser</a>. But they found even more interesting artefacts, like a stone tablet at Susa in western Iran, containing the <a href="https://en.wikipedia.org/wiki/Code_of_Hammurabi">Code of Hammurabi</a>, ruler of Babylon in the 18th century BC. Clay tablets from Nineveh containing the <strong><em><a href="https://en.wikipedia.org/wiki/Epic_of_Gilgamesh">Epic of Gilgamesh</a></em></strong>, as well as the Royal Tombs of Ur, where kings and queens that were unknown to the bible were interred with riches. Not to mention, an entire people unknown to the bible: The Sumerians.</p></li>
<li><p>All this -including the biblical story- reinforces a picture of Mesopotamia as a land of eternal kings, monarchy and aristocracy. Early Mesopotamian cities bear no evidence of monarchy at all (4th and 3rd millenium BC). However, half a millenium later, evidence of monarchy starts popping up everywhere: Palaces, aristocratic burials, defensive wall structures</p></li>
<li><p>299 Corvees</p></li>
<li><p>300 citation 49</p></li>
<li><p>301 primitive democracy in Assyria</p></li>
<li><p>Section about the city of Uruk around 308</p></li>
<li><p>313 about <a href="https://en.wikipedia.org/wiki/Mohenjo-daro">Mohenjo-Daro</a></p></li>
</ul>
<p><img src="https://upload.wikimedia.org/wikipedia/commons/0/03/Mohenjodaro_-_view_of_the_stupa_mound.JPG" class="img-fluid" alt="Mohenjodaro"> A view of the Buddhist stupa in the background located in the higher settlement to the west, generally referred to as the citadel mound, and it is mostly comprised of the ruins of ancient administrative buildings constructed on top of a massive mud-brick platform.</p>
<p><img src="https://upload.wikimedia.org/wikipedia/commons/2/28/Great_Bath%2C_Mohenjo-daro_20160806_JYN-03.jpg" class="img-fluid" alt="Great Bath"> The Great Bath</p>
<ul>
<li>The main idea is that monarchies weren’t necessarily present in the earliest cities in Mesopotamia, and the existence of proto-democratic institutions with people’s councils etc. is further of a hint of a possibly different political structure in pre-monarchy Mesopotamia</li>
</ul>
<blockquote class="blockquote">
<p>Van De Mieroop, M. (2013). CHAPTER THIRTEEN DEMOCRACY AND THE RULE OF LAW, THE ASSEMBLY, AND THE FIRST LAW CODE. <em>The Sumerian World</em>.</p>
</blockquote>
<blockquote class="blockquote">
<p>From: Yoffee, Norman. “<em>Political economy in early Mesopotamian states</em>.” <em>Annual Review of Anthropology</em> 24.1 (1995): 281-311.</p>
<p><em>Critics of typological thinking or step-ladder models in archaeology have a particularly good case in early Mesopotamia. In Mesopotamia, states emerged quickly, were nonregional, and are best described as city-states. This evolutionary scenario is by no means unique to Mesopotamia, since city-states, also emerged in the Indus Valley, in Shang and Zhou China, in Maya, at Teotihuacan, and in the Andean highlands. Only Egypt, among the earliest states, seems a complete exception to the evolution of city-states, since it was from the start a regional state. Whereas some Mesopotamian historians have considered community assemblies as residuals of a prehistoric past or of tribal customs of nomadic people who settled in city-states, the existence of assemblies can be seen as ordinary expressions of local power. Assemblies are identified in early vocabulary texts throughout the third millennium, in the OB period (where in many texts they make decisions that pertain to family law and other local matters), and in Old Assyrian texts showing that assemblies form part of the government along with the king and royal-estate. Although references to assemblies and other local bodies that take action on behalf of the community can be found in almost any ethnography, it seems an artifact of social evolutionary thought (in which “centralization” and “integration” are terms implying direction of economy and society by irresistibly powerful kings) to think that such local forms of power and authority disappeared in the earliest states. Although assembly houses have not been excavated in Mesopotamia, the city hall as a structure is mentioned in Old Assyrian texts, and one might hope for the discovery of a council house like the one found at the Maya site of Copan.</em></p>
</blockquote>
<p>A very relevant quote from the same reference:</p>
<blockquote class="blockquote">
<p><em>Similarly, in older social evolutionary theory, it had been argued that kinship systems broke down in early states as new territorial, economic, and political bonds grew in importance. Although Chang argued this was not the case for Shang China and few regard the importance of kinship to have diminished in South American or Mesoamerican states, the conclusion seems to have been that New World states were different from Old World ones on this point. From our survey of Mesopotamian political economy, however, one can observe the important roles of ethnic and kin-groups in all periods of early Mesopotamian social life, even if our understanding of the details of residence and descent is much debated. If we can hastily devise a social evolutionary generalization on kinship in early states, it is not that kinship disappears in them, but that new official arenas in early states are created in which members of kin-groups can compete, often mobilizing their kin for selective advantage, but in which some important offices are not necessarily tied to membership in any particular kin-group. Furthermore, success in the competition for new offices and ranks often depends on the ability of a person to recruit non-kinsmen as well as kinsmen.</em></p>
</blockquote>
<ul>
<li><p>319 authors talk about how scholars demand irrefutable evidence for democratic structures in the distant past, but readily accept flimsy evidence for hierarchical structure because they are treated as a default mode of history.</p></li>
<li><p>While arguing against this, authors mention the Buddhist <strong><em><a href="https://en.wikipedia.org/wiki/Sangha">Sangha</a>,</em></strong> and that early Buddhist texts mention that Buddha himself was inspired by South Asian cities/republics</p></li>
<li><p>It’s also worth mentioning that the existence of social castes which are not necessarily considered equal does not automatically imply the same hierarchies in the management of communal affairs, as an example the <em>Seka</em> system in Bali, where despite everyone having their own rank in the hierarchy, everyone is expected to participate on equal terms on practical affairs. - 320</p></li>
<li><p>321, Criticism of a commonly held theory that kingdoms tended to appear in river valleys, because agriculture there requires complex irrigation systems, which in turn requires some sort of administrative coordination and control. Bali is again given as a counter-example due to the fact that the kingdoms in the area never actually managed irrigation. It was a matter reserved to farmers themselves through egalitarian processes of consensual decision-making. (what a sentence lmao)</p></li>
</ul>
<p>– missing sections probably, review</p>
<!-- divider -->
</section>
<section id="hiding-in-plain-sight" class="level1">
<h1>9 - Hiding in Plain Sight</h1>
<p><em>The origins of social housing and democracy in the Americas</em></p>
<ul>
<li><p>Around 330 is about the arrival of the Mexica people in the valley of Mexico, where they eventually found the Aztec Empire and its capital <a href="https://en.wikipedia.org/wiki/Tenochtitlan">Tenochtitlan</a>, which is modelled after another city that they found lay in ruins: <a href="https://en.wikipedia.org/wiki/Teotihuacan">Teotihuacan</a>, the ‘Place of the Gods’. by that time, It was centuries since anyone lived in it and its original name was forgotten. Our view of Teotihuacan is mainly through the Aztec (Culhua-Mexica) point of view.</p></li>
<li><p>It was the Aztecs, for instance, who made up the names ‘Pyramid of the Sun’, ‘Pyramid of the Moon’ and ‘Way of the Dead’, which archaeologists and tourists alike use to this day when describing the city’s most visible monuments and the road that links them all.</p></li>
</ul>
<p><img src="https://upload.wikimedia.org/wikipedia/commons/5/58/Teotihuac%C3%A1n-5973.JPG" class="img-fluid" alt="Teotihuacán"> View of the Avenue of the Dead and the <a href="https://en.wikipedia.org/wiki/Pyramid_of_the_Moon" title="Pyramid of the Moon">Pyramid of the Moon</a>.</p>
<ul>
<li><p>We know now that the city of Teotihuacan had its heyday eight centuries before the coming of the Mexica, and more than 1,000 years before the arrival of the Spanish. Its foundation dates to around 100 BC, and its decline to around AD 600. We also know that it was on par with a city like Rome in its heyday.</p></li>
<li><p>Estimates of its population at around from 100,000:</p></li>
</ul>
<blockquote class="blockquote">
<p>Published estimates range as high as 200,000 and drop down to as low as 75,000 people (Millon 1976: 212), but the most thorough reconstruction to date (by Smith et al.&nbsp;2019) rounds off at 100,000 and relates to the Xolalpan-Metepec phases of the city’s occupation, between c.AD 350 and 600.</p>
</blockquote>
<ul>
<li><p>331 - Evidence suggests that Teotihuacan had, at its height of its power, found a way to govern itself without overlords – as did the much earlier cities of prehistoric Ukraine, Uruk-period Mesopotamia and Bronze Age Pakistan.</p></li>
<li><p>Unlike the standard package of Mesoamerican kingship (royal temples, ball-courts, images of war and humiliated captives, complex calendrical rituals celebrating royal ancestors, and records of the deeds and biographies of living kings), Teotihuacan has none of these. There are few inscriptions in general, which is why the language spoken there is unknown, but we do know it was cosmopolitan enough to have Maya and Zapotec minorities that were familiar with writing:</p></li>
</ul>
<blockquote class="blockquote">
<p>Manzanilla, Linda R. “<em>Cooperation and tensions in multiethnic corporate societies using Teotihuacan, Central Mexico, as a case study</em>.” <em>Proceedings of the National Academy of Sciences</em> 112.30 (2015): 9210-9215.</p>
</blockquote>
<p>It seems likely that there was a writing system, but all that can be found are isolated signs:</p>
<blockquote class="blockquote">
<p>Taube, Karl A. <em>The writing system of ancient Teotihuacan</em>. Vol. 1. Center for Ancient American Studies, 2000.</p>
</blockquote>
<blockquote class="blockquote">
<p>Headrick, Annabeth. <em>The Teotihuacan trinity: The sociopolitical structure of an ancient Mesoamerican city</em>. University of Texas Press, 2007.</p>
</blockquote>
<blockquote class="blockquote">
<p>Domenici, Davide. “Beyond Dichotomies: Teotihuacan and the Mesoamerican Urban Tradition.” <em>Urbanized Landscapes in Early Syro-Mesopotamia and Pre-Hispanic Mesoamerica. Papers of a Cross-Cultural Seminar held in Honor of Robert McCormick Adams</em>. Harrassowitz Verlag, 2018.</p>
</blockquote>
<p>On the other hand, there seems to be plenty of pictorial art (Thousands of artifacts from stone sculptures to diminutive terracotta figures that could be held in the palm, as well as vivid wall paintings). But nowhere is there a single representation of a ruler dominating a subordinate, unlike contemporary art from the Maya and Zapotec. Scholars have largely failed at identifying anything resembling a kingly figure. Strikingly, sometimes the artists seem to have deliberately frustrated such efforts, for instance by making all the figures in a given scene exactly the same size.</p>
<p>Similarly, no ball courts as is usually found in the Maya cities:</p>
<blockquote class="blockquote">
<p>Miller, Mary Ellen, and Stephen D. Houston. “The Classic Maya ballgame and its architectural setting: a study of relations between text and image.” <em>RES: Anthropology and aesthetics</em> 14.1 (1987): 46-65.</p>
</blockquote>
<p>Same thing for tombs, no equivalent to the great tombs of <a href="https://en.wikipedia.org/wiki/Sihyaj_Chan_K%CA%BCawiil_II">Sihyaj Chan K’awiil</a> at <a href="https://fr.wikipedia.org/wiki/Tikal">Tikal</a> or <a href="https://fr.wikipedia.org/wiki/K%27inich_Janaab%27_Pakal_Ier">K’inich Janaab Pakal</a> in <a href="https://fr.wikipedia.org/wiki/Palenque">Palenque</a></p>
<p>Map for reference: <img src="https://upload.wikimedia.org/wikipedia/commons/c/c5/Mayamap.png" class="img-fluid" alt="Map of Mesoamerica"></p>
<p>The Maya area within the Mesoamerican region. Both Tikal and Calakmul lie near the center of the area.</p>
<ul>
<li><p>Personal note: All this discussion about Teotihuacan shrouds it in mystery and gives it an almost mystical feel, so to put you back down to earth and remind you that this was just a city inhabited by some dudes, here’s a toilet: <img src="https://upload.wikimedia.org/wikipedia/commons/d/dc/Toilet_in_Teotihuacan.jpg" class="img-fluid" alt="Toilet in Teotihuacan"> Toilet in Teotihuacan.</p></li>
<li><p>332 - Apparently, archaeologists have combed through the ancient tunnels around the Pyramids of the Sun and the Moon and under the Temple of the Feathered Serpent, only to discover that the passages do not lead to royal tombs, or even robbed-out tomb chambers, but to chthonic labyrinths and mineral-crusted shrines</p></li>
</ul>
<blockquote class="blockquote">
<p>Taube, Karl A. “The Teotihuacan cave of origin: the iconography and architecture of emergence mythology in Mesoamerica and the American Southwest.” <em>RES: Anthropology and Aesthetics</em> 12.1 (1986): 51-82.</p>
</blockquote>
<p>It seems there is some effects of schismogenesis at play at Teotihuacan: For instance, the city’s artists appear to have been aware of formal and compositional principles found among their Mesoamerican neighbours, and to have set about deliberately inverting them. Where Maya and Zapotec art draws on a tradition of relief carving derived from the earlier Olmec kings of Veracruz, favouring curves and flowing forms, the sculpture of Teotihuacan shows humans and humanoid figures as flat composites, tightly fitted to angular blocks <img src="https://upload.wikimedia.org/wikipedia/commons/thumb/d/db/British_Museum_Teotihuacan_jaguar.jpg/1024px-British_Museum_Teotihuacan_jaguar.jpg" class="img-fluid" alt="British_Museum_Teotihuacan_jaguar"> Alabaster statue of an ocelot from Teotihuacan, 5th–6th centuries, possibly a ritual container to receive sacrificed human hearts (British Museum)<a href="https://www.britishmuseum.org/collection/object/E_Am1926-22">[116]</a></p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://upload.wikimedia.org/wikipedia/commons/7/74/Museo_Teotihuacan_-_Mexico_10-30-05.JPG" class="img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p>Figurines at the local museum</p>
<ul>
<li>This is schismogenesis at an urban scale according to Esther Pasztory</li>
</ul>
<!-- divider -->


</section>

 ]]></description>
  <category>history</category>
  <category>book notes</category>
  <category>anthropology</category>
  <category>archaeology</category>
  <guid>https://nightowl97.github.io/personal_blog/posts/dawn-of-everything/</guid>
  <pubDate>Thu, 17 Aug 2023 20:30:00 GMT</pubDate>
</item>
<item>
  <title>Reading Notes on Brazilian Governance (2002–2023)</title>
  <link>https://nightowl97.github.io/personal_blog/posts/brasil/</link>
  <description><![CDATA[ 





<section id="lula-da-silva" class="level2">
<h2 class="anchored" data-anchor-id="lula-da-silva">Lula da Silva</h2>
<p><a href="https://v.redd.it/0kezfxhjk7z91">During Lula’s presidency in Brazil (2003–2011), the country officially left the UN “Hunger Map” after reaching total food sovereignty for the first time.</a></p>
<p>Number-crunchers say rising incomes catapulted more than 29 million Brazilians into the middle class during the eight-year presidency of Luiz Inácio Lula da Silva, a former trade unionist elected in 2002. (<a href="https://apnews.com/article/5c74f94eadaf47c28995416d5e9fae85">AP News</a>)</p>
<p>Brazilians stayed in school longer, which secured higher wages, which drove consumption, which in turn fuelled a booming domestic economy. He left office in 2010, having presided over average annual growth of 4.5%, a 50% increase in average Brazilian incomes, and a hefty drop in unemployment, poverty and government debt. (<a href="https://www.economist.com/the-americas/2023/01/26/as-lula-takes-over-brazils-economic-prospects-are-looking-up">The Economist</a>)</p>
<p><strong>Bolsa Família</strong> → Direct cash payments to poor families. Bolsa Família has been mentioned as one factor contributing to the reduction of poverty in Brazil, which fell 27.7% during the first term. In 2006, the Center for Political Studies of the <a href="https://en.wikipedia.org/wiki/Funda%C3%A7%C3%A3o_Get%C3%BAlio_Vargas">Getulio Vargas Foundation</a> published a study showing a sharp reduction in the number of people in poverty in Brazil between 2003 and 2005.</p>
<p><strong>Luz Para Todos</strong> → Electricity for remote and rural areas.</p>
<p>Lula was twice elected by large margins, in 2002 and then again in 2006, and left office with an 87 percent approval rate.</p>
<section id="unpopular-with-the-wealthy-and-elites" class="level3">
<h3 class="anchored" data-anchor-id="unpopular-with-the-wealthy-and-elites">Unpopular with the Wealthy and Elites</h3>
<p>…among wealthier Brazilians and some politically influential actors such as businesspeople, the mainstream media and evangelical churches (Almeida, 2019; Pereira and Viola, 2019; see also Van Dijk, 2017).</p>
<p><em>Almeida, R. (2019) ‘Bolsonaro presidente: conservadorismo, evangelismo e a crise brasileira’. Novos Estudos CEBRAP 38(1): 185–213.</em></p>
<p><em>Pereira, J. C. and Viola, E. (2019) ‘Catastrophic Climate Risk and Brazilian Amazonian Politics and Policies: A New Research Agenda’. Global Environmental Politics 19(2): 93–103.</em></p>
<p><em>Van Dijk, T. A. (2017) ‘How Globo Media Manipulated the Impeachment of Brazilian President Dilma Rousseff’. Discourse &amp; Communication 11(2): 199–229.</em></p>
</section>
<section id="prelude-to-the-bolsonaro-regime" class="level3">
<h3 class="anchored" data-anchor-id="prelude-to-the-bolsonaro-regime">Prelude to the Bolsonaro Regime</h3>
<p>Once Michel Temer became president through Rousseff’s controversial impeachment in 2016, several authoritarian and neoliberal reforms were then advanced, reducing labour rights, public spending, and governmental programmes aimed at social inclusion (Søndergaard, 2020).</p>
<p><em>Søndergaard, N. (2020) ‘Reforming in a Democratic Vacuum: The Authoritarian Neoliberalism of the Temer Administration from 2016 to 2018’. Globalizations 18(4): 568–583.</em></p>
<p>Work on sustainable development in Brazil had, therefore, already been watered down when Bolsonaro’s ascension galvanised the reversal of social and environmental protections (Siegel and Bastos Lima, 2020).</p>
<p><em>Siegel, K. and Bastos Lima, M. G. (2020) ‘When International Sustainability Frameworks Encounter Domestic Politics: The Sustainable Development Goals and Agri-Food Governance in South America’. World Development 135: 1–13.</em></p>
</section>
</section>
<section id="bolsonaro" class="level2">
<h2 class="anchored" data-anchor-id="bolsonaro">Bolsonaro</h2>
<p>Bolsonaro sowed doubt about the reliability of the nation’s electronic voting system — without any evidence:</p>
<ul>
<li><a href="https://edition.cnn.com/2021/08/06/americas/bolsonaro-brazil-elections-intl-latam/index.html">Bolsonaro is sowing doubt in Brazil’s electoral system (CNN)</a></li>
<li><a href="https://www.cnbc.com/2022/09/14/bolsonaro-vs-lula-all-you-need-to-know-ahead-of-brazils-election.html">Bolsonaro vs.&nbsp;Lula: All you need to know (CNBC)</a></li>
<li><a href="https://www.theguardian.com/world/2022/jul/19/bolsonaro-attack-on-brazil-electoral-system-sparks-outrage">Bolsonaro’s attack on Brazil’s electoral system sparks outrage (The Guardian)</a></li>
</ul>
<p>He also sought to dismiss the severity of torture and human rights abuses committed during Brazil’s military dictatorship (1964–1985):</p>
<ul>
<li><a href="https://www.hrw.org/news/2019/03/27/brazil-bolsonaro-celebrates-brutal-dictatorship">Brazil: Bolsonaro Celebrates Brutal Dictatorship (HRW)</a></li>
<li><a href="https://www.hrw.org/news/2021/06/22/first-conviction-dictatorship-crimes-brazil">First Conviction for Dictatorship Crimes in Brazil (HRW)</a></li>
</ul>
<blockquote class="blockquote">
<p>“I am in favour of torture, you know that. And the people are in favour as well.” — Jair Bolsonaro (<a href="https://www.nytimes.com/2018/10/28/world/americas/brazil-president-jair-bolsonaro-quotes.html">1999</a>)</p>
</blockquote>
<p>Once, following a visit to a settlement of African slave descendants called a quilombo, Bolsonaro suggested they were all overweight:</p>
<blockquote class="blockquote">
<p>“I visited a quilombo and the least heavy afro-descendant weighed seven arrobas (approximately 230 pounds). They do nothing! They are not even good for procreation.”</p>
</blockquote>
<p>From a <a href="https://eu.usatoday.com/story/news/world/2018/10/29/jair-bolsonaro-brazils-new-president-has-said-many-offensive-things/1804519002/">1999 interview on Brazilian television</a>:</p>
<blockquote class="blockquote">
<p>“Elections won’t change anything in this country. It will only change on the day that we break out in civil war here and do the job that the military regime didn’t do: killing 30,000. If some innocent people die, that’s fine. In every war, innocent people die.”</p>
</blockquote>
<p><a href="https://www.tandfonline.com/doi/full/10.1080/01436597.2022.2153664">In 2015, Bolsonaro referred to immigrants from Haiti, Senegal, Bolivia and Syria as the</a></p>
<blockquote class="blockquote">
<p>‘scum of the world’</p>
</blockquote>
<p><a href="https://onlinelibrary.wiley.com/doi/abs/10.1111/blar.13166">When expressing his opposition to the 2017 Migration Law, Bolsonaro stated that</a>:</p>
<blockquote class="blockquote">
<p>‘[immigrants’] behaviour, their culture, is completely different from ours’ and that the law would ‘open wide’ the country ‘to all sorts of people’</p>
</blockquote>
<p><a href="https://www.bbc.com/news/world-latin-america-45746013">In 2017, he controversially said that</a>:</p>
<blockquote class="blockquote">
<p>“a policeman who doesn’t kill isn’t a policeman”</p>
</blockquote>
<p>He once said to Congress (<a href="https://www.theguardian.com/world/2019/sep/11/carlos-bolsonaro-brazil-democracy-dictatorship-jair">The Guardian</a>, <a href="https://www1.folha.uol.com.br/poder/2018/06/nos-anos-90-bolsonaro-defendeu-novo-golpe-militar-e-guerra.shtml">Folha de S.Paulo</a>):</p>
<blockquote class="blockquote">
<p>“Yes, I’m in favor of a dictatorship.”</p>
</blockquote>
<p><a href="https://youtu.be/qIDyw9QKIvw?t=890">Câmara Aberta TV program</a>, May 23, 1999:</p>
<blockquote class="blockquote">
<p>“The pau-de-arara [a torture technique] works. I’m in favor of torture, you know that. And the people are in favor as well.”</p>
</blockquote>
<p><a href="https://www.youtube.com/watch?v=KTPT_oCtbDU">Câmara Aberta TV program</a>, May 23, 1999:</p>
<blockquote class="blockquote">
<p>“Through the vote, you will not change anything in this country, nothing, absolutely nothing! It will only change, unfortunately, when, one day, we start a civil war here and do the work that the military regime did not do. Killing some 30,000, starting with FHC [then-President Fernando Henrique Cardoso], not kicking them out, killing! If some innocent people are going to die, fine, in any war, innocents die.”</p>
</blockquote>
<section id="against-indigenous-populations" class="level3">
<h3 class="anchored" data-anchor-id="against-indigenous-populations">Against Indigenous Populations</h3>
<p>He weakened the Brazilian Institute of the Environment and Renewable Natural Resources (IBAMA), the Institute for the Conservation of Biodiversity (ICMBio) and the government agency tasked with protecting Indigenous rights (FUNAI). The Brazilian government also halted the recognition of traditional Indigenous lands and issued regulations harmful to Indigenous people. Bolsonaro’s policies emboldened miners, loggers, land-grabbers and poachers, leading to devastating consequences for Indigenous people and the environment. Marcelo Xavier, appointed by Bolsonaro to preside over FUNAI, is accused of creating a climate of fear and intimidation within the agency.</p>
<p><a href="https://www.hrw.org/news/2022/08/09/brazil-indigenous-rights-under-serious-threat">Brazil: Indigenous Rights Under Serious Threat (HRW)</a></p>
<p><a href="https://www.survivalinternational.org/articles/3540-Bolsonaro">Summary of racist remarks against indigenous people (Survival International)</a></p>
<blockquote class="blockquote">
<p>“If I become President there will not be a centimeter more of Indigenous land.” — Jair Bolsonaro</p>
</blockquote>
<blockquote class="blockquote">
<p><a href="https://www.theguardian.com/world/2020/jan/24/jair-bolsonaro-racist-comment-sparks-outrage-indigenous-groups">“Indians are undoubtedly changing … They are increasingly becoming human beings just like us.”</a> — Jair Bolsonaro</p>
</blockquote>
<blockquote class="blockquote">
<p>“The Indians do not speak our language, they do not have money, they do not have culture. They are native peoples. How did they manage to get 13% of the national territory?” — Jair Bolsonaro</p>
</blockquote>
<blockquote class="blockquote">
<p>“[Indigenous reserves] are an obstacle to agri-business. You can’t reduce Indigenous land by even a square meter in Brazil.” — Jair Bolsonaro</p>
</blockquote>
<blockquote class="blockquote">
<p>“In 2019 we’re going to rip up Raposa Serra do Sol [Indigenous Territory in Roraima, northern Brazil]. We’re going to give all the ranchers guns.” — Jair Bolsonaro</p>
</blockquote>
<blockquote class="blockquote">
<p>“If I’m elected, I’ll serve a blow to FUNAI (Brazil’s department for Indigenous affairs); a blow to the neck. There’s no other way. It’s not useful anymore.” — Jair Bolsonaro</p>
</blockquote>
</section>
<section id="sexist-and-homophobic-remarks" class="level3">
<h3 class="anchored" data-anchor-id="sexist-and-homophobic-remarks">Sexist and Homophobic Remarks</h3>
<p><a href="https://www1.folha.uol.com.br/fsp/cotidian/ff1905200210.htm">Folha de São Paulo</a>, May 19, 2002:</p>
<blockquote class="blockquote">
<p>“I will not fight nor discriminate, but if I see two men kissing in the street, I’ll hit them.”</p>
</blockquote>
<p>He publicly claimed that Patricia Campos Mello, a reporter for Folha de Sao Paulo, offered sex in exchange for information regarding an investigative piece on the 2018 Brazilian presidential election. In response, Campos Mello sued Bolsonaro. <a href="https://edition.cnn.com/2022/06/29/americas/bolsonaro-court-order-compensation-sexist-remarks-intl-latam/index.html">A court ruled that Bolsonaro must pay “moral damages” of 35,000 reais to the journalist.</a></p>
<p>He stated <a href="https://www.redetv.uol.com.br/superpop/videos/ultimos-programas/bolsonaro-diz-que-nao-pagaria-a-mulheres-o-mesmo-salario-dos-homens">he wouldn’t pay women the same salary as men</a>.</p>
<p><a href="http://noticias.terra.com.br/brasil/polemicas-de-bolsonaro/">Bolsonaro said before Congress in 2011</a>:</p>
<blockquote class="blockquote">
<p>“If you like homosexuals, admit it. If your thing is homosexual love, admit it. But don’t let that cowardliness get into first grade.”</p>
</blockquote>
<p><a href="http://noticias.terra.com.br/brasil/polemicas-de-bolsonaro/">Bolsonaro told Playboy magazine in 2011 that he’d rather his child die than be gay</a>:</p>
<blockquote class="blockquote">
<p>“I would be incapable of loving a gay son.”</p>
</blockquote>
</section>
<section id="the-policies-of-bolsonaro" class="level3">
<h3 class="anchored" data-anchor-id="the-policies-of-bolsonaro">The Policies of Bolsonaro</h3>
<p>Bolsonaro increasingly disengaged Brazil from the international sustainability agenda. He cancelled the country’s scheduled hosting of COP 25 in 2019, suspended the submission of further voluntary national reviews on the SDGs, and ditched most international collaboration on environmental conservation. Domestically, he abolished the Comissão Nacional para os Objetivos do Desenvolvimento Sustentável (CNODS, National Commission for the Sustainable Development Goals), created in October 2016 to coordinate SDG implementation between federal government agencies and civil society organisations. In April 2019 the Bolsonaro administration dissolved most public bodies that were not established by law but by decrees or ministerial orders — CNODS was terminated alongside about 500 other multi-stakeholder commissions and councils.</p>
<p><em>Russo Lopes, G. and Bastos Lima, M. G. (2020) ‘Necropolitics in the Jungle: COVID-19 and the Marginalisation of Brazil’s Forest Peoples’. Bulletin of Latin American Research 39(S1): 92–97.</em></p>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/OWVrKNScCc0" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<p>Instead of bolstering the institutions of law and order so that they can restore calm and prosecute gang bosses, Bolsonaro argued the way to tackle violence was with more violence. He allowed more Brazilians to own and carry guns, encouraging them to confront criminals themselves, and sought to make it harder to punish police officers who kill suspects. (<a href="https://www.economist.com/leaders/2019/05/30/jair-bolsonaro-will-not-defeat-crime-in-brazil-by-tolerating-militias">The Economist</a>)</p>
<section id="disastrous-response-to-the-2019-oil-spill" class="level4">
<h4 class="anchored" data-anchor-id="disastrous-response-to-the-2019-oil-spill">Disastrous Response to the 2019 Oil Spill</h4>
<p>Through its measures to reduce public spending in April 2019, the federal government had shut down the executive and support committees created in 2013 as part of the Contingency Plan for Oil Pollution Incidents. Both the delay in enforcing the contingency plan and the closure of its main bodies seriously affected federal authorities’ response, described by some as ‘government malfeasance’ (Brum, Campos-Silva and Oliveira, 2020). Mismanagement is clear, though perverse intentionality has never been evidenced.</p>
<p><em>Soares, M. O. et al.&nbsp;(2020) ‘Oil Spill in South Atlantic (Brazil): Environmental and Governmental Disaster’. Marine Policy 115: 103879.</em></p>
</section>
<section id="brazil-returns-to-the-un-hunger-map" class="level4">
<h4 class="anchored" data-anchor-id="brazil-returns-to-the-un-hunger-map">Brazil Returns to the UN Hunger Map</h4>
<ul>
<li><a href="https://documents.wfp.org/stellent/groups/public/documents/communications/wfp229328.pdf">WFP documentation</a></li>
<li><a href="https://globalvoices.org/2022/08/30/why-the-un-added-brazil-to-the-hunger-map-once-again/">Why the UN added Brazil to the hunger map (Global Voices)</a></li>
<li><a href="https://www.lemonde.fr/en/economy/article/2022/06/09/brazil-is-facing-the-return-of-hunger_5986229_19.html">Brazil faces the return of hunger (Le Monde)</a></li>
</ul>
<p>Agribusiness agents assassinated 430 indigenous people during 2021 according to CIMI (<a href="https://revistaperiferias.org/en/materia/cimi-the-missionary-council-for-indigenous-peoples/">The Missionary Council for Indigenous Peoples</a>). 345 territories burned in 2019, an 87% increase since 2018. 1,530 new pesticides were authorised by his government during 2019–2021.</p>
<p>According to <a href="https://www.gov.br/inpe/pt-br">Instituto Nacional de Pesquisas Espaciais (INPE)</a>, land expropriation significantly increased, with fires almost doubling between 2018 and 2019.</p>
<p><strong>Deforestation</strong>: Between 2019 and 2021, the surface equivalent of Belgium was razed in the Amazon forest according to satellite imagery. 20 environmentalists were assassinated in 2020 according to <em>Global Witness</em>.</p>
<p>For the problem of Amazon destruction, Bolsonaro responded by <a href="https://www.theguardian.com/world/2019/aug/02/brazil-space-institute-director-sacked-in-amazon-deforestation-row">firing the head of the scientific body</a> that reports the data, which the president called “lies.” His appointed environment minister, Ricardo Salles, was known to relax environmental and logging restrictions so much he earned the nickname “Mr.&nbsp;Chainsaw” from some US authorities.</p>
<p>Brazil’s position as one of the world’s largest economies fell from 7th place (2010–2014) to 13th. The minimum wage was adjusted below inflation levels.</p>
</section>
</section>
<section id="on-the-amazon" class="level3">
<h3 class="anchored" data-anchor-id="on-the-amazon">On the Amazon</h3>
<p>Amazon deforestation is once again on the rise after Brazil successfully reduced its annual rate by 70 percent between 2005 and 2014 (Moutinho, Guerra and Azevedo-Ramos, 2016).</p>
<p><em>Moutinho, P., Guerra, R. and Azevedo-Ramos, C. (2016) ‘Achieving Zero Deforestation in the Brazilian Amazon: What is Missing?’. Elementa: Science of the Anthropocene 4: 1–11.</em></p>
<p><a href="https://journals.sagepub.com/doi/pdf/10.1177/0309816820971131">Bolsonaro’s neoliberal program (Capital &amp; Class)</a></p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/brasil/e8motepc.bmp" class="img-fluid figure-img"></p>
<figcaption>Illegal mining operations in the Amazon</figcaption>
</figure>
</div>
<p><a href="https://www.nytimes.com/interactive/2022/08/02/world/americas/brazil-airstrips-illegal-mining.html">The Illegal Airstrips Bringing Toxic Mining to Brazil’s Indigenous Land (NYT)</a></p>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/IA-Rk_hdl4M" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/brasil/airstrip_in_the_amazon_rainforest-49-2000.jpg" class="img-fluid figure-img"></p>
<figcaption>Illegal miners spread empty fuel canisters along an airstrip, making a landing impossible.</figcaption>
</figure>
</div>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/JojArKa_HLA" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
</section>
<section id="firing-the-head-of-inpe-over-deforestation-data" class="level3">
<h3 class="anchored" data-anchor-id="firing-the-head-of-inpe-over-deforestation-data">Firing the Head of INPE Over Deforestation Data</h3>
<ul>
<li><a href="https://www.science.org/content/article/brazilian-institute-head-fired-after-clashing-nation-s-president-over-deforestation">Brazilian institute head fired after clashing with president over deforestation data (Science)</a></li>
<li><a href="https://www.science.org/content/article/deforestation-amazon-shooting-brazil-s-president-calls-data-lie">Deforestation in the Amazon is shooting up, but Brazil’s president calls the data ‘a lie’ (Science)</a></li>
</ul>
<p>INPE released a statement to “reaffirm its confidence in the quality of the data produced by DETER,” noting that it has consistently used a well-known method for 15 years. Official deforestation rates fell by 80% between 2004, when DETER became operational, and 2014. Since then, they have been trending up slightly.</p>
</section>
<section id="undermining-ibama-and-its-funding" class="level3">
<h3 class="anchored" data-anchor-id="undermining-ibama-and-its-funding">Undermining IBAMA and Its Funding</h3>
<p><a href="https://www.reuters.com/article/us-brazil-environment-ibama-exclusive-idUSKCN1VI14I">IBAMA funding cuts (Reuters)</a></p>
</section>
<section id="corruption" class="level3">
<h3 class="anchored" data-anchor-id="corruption">Corruption</h3>
<p>Bolsonaro acquired around 50 properties in cash: <a href="https://amp.theguardian.com/world/2022/aug/30/jair-bolsonaro-brazil-property-payments-cash-allegations">The Guardian</a></p>
<p>Leonardo Sakamoto, a UOL columnist, <a href="https://noticias.uol.com.br/colunas/leonardo-sakamoto/2022/08/30/investigacao-aponta-que-familia-bolsonaro-e-grande-lavanderia-de-dinheiro.htm">wrote</a>: “You don’t need to be a financial genius to understand that the use of large sums of cash to buy property is a means of laundering resources of illegal origin.”</p>
<p>His senator son, Flávio Bolsonaro, <a href="https://g1.globo.com/rj/rio-de-janeiro/noticia/2019/12/19/flavio-bolsonaro-pagou-r-638-mil-em-dinheiro-para-lavar-compra-de-imoveis-diz-mp.ghtml">paid 638,000 reais in cash</a> for two flats in Rio’s Copacabana neighbourhood. They never explained the origin of this money or why they decided to use cash instead of making an electronic transfer.</p>
</section>
<section id="covid-19" class="level3">
<h3 class="anchored" data-anchor-id="covid-19">COVID-19</h3>
<blockquote class="blockquote">
<p>“because of my background as an athlete, I wouldn’t need to worry if I was infected by the virus. I wouldn’t feel anything or at the very worst it would be like a little flu or a bit of a cold.” — Jair Bolsonaro</p>
</blockquote>
<blockquote class="blockquote">
<p>“the people will soon see that they were tricked by these governors and by the large part of the media when it comes to coronavirus.”</p>
</blockquote>
<p>On 28 April 2020, when a reporter pointed out that Brazil’s death toll had surpassed China’s, he replied:</p>
<blockquote class="blockquote">
<p>“So what? I’m sorry, but what do you want me to do?”</p>
</blockquote>
<blockquote class="blockquote">
<p>“the majority of Brazilians contract this virus and don’t notice a thing. Life goes on. Brazil needs to produce. You need to get the economy in gear.”</p>
</blockquote>
<p><a href="https://www.tandfonline.com/doi/abs/10.1080/17441692.2020.1795223">Governing COVID-19 without government in Brazil: Ignorance, neoliberal authoritarianism, and the collapse of public health leadership</a></p>
</section>
</section>
<section id="operação-lava-jato" class="level2">
<h2 class="anchored" data-anchor-id="operação-lava-jato">Operação Lava Jato</h2>
<p><a href="https://en.wikipedia.org/wiki/Operation_Car_Wash">Operation Car Wash (Wikipedia)</a></p>
<ul>
<li><a href="https://www.brasilwire.com/sao-paulo-court-rules-lula-family-never-owned-triplex/">São Paulo court rules Lula family never owned triplex (Brasil Wire)</a></li>
<li><a href="https://www.bbc.co.uk/programmes/p063dcss">BBC podcast on Lava Jato</a></li>
<li><a href="https://www.brasilwire.com/white-house-admits-cia-involvement-in-latin-americas-war-on-corruption/">White House admits CIA involvement in Latin America’s war on corruption (Brasil Wire)</a></li>
</ul>
<p>Operation Car Wash is the infamous large-scale corruption investigation that began in Brazil in 2014. The operation initially focused on uncovering a money laundering scheme involving the state-owned oil company Petrobras, but it eventually expanded to investigate corruption across various sectors of Brazilian politics and business. The climax of <em>Lava Jato</em> was the conviction and imprisonment of Lula, the former president of Brazil, for allegedly accepting a triplex apartment in Guarujá from a company called OAS in exchange for contracts with Petrobras.</p>
<p>Bolsonaro appointed Sergio Moro — the judge who put Lula in jail and prevented him from running in the 2018 election — as his “super justice minister” after his election. He also promised Moro a supreme court seat: <a href="https://www1.folha.uol.com.br/internacional/en/brazil/2019/05/bolsonaro-says-he-will-nominate-sergio-moro-to-the-supreme-court.shtml">Folha de S.Paulo</a>.</p>
<p><a href="https://www.theatlantic.com/international/archive/2019/08/anti-corruption-crusades-paved-way-bolsonaro/596449/">How anti-corruption crusades paved the way for Bolsonaro (The Atlantic)</a></p>
<p>It is now apparent that Moro was not acting as an impartial judge, but actively conspiring with the prosecution to ensure Lula was imprisoned. The prosecution presented evidence despite knowing it was weak; Moro gave the team tips on how to go after Lula and attack him in the press. The most recent of many explosive reports indicate prosecutors coordinated to put pressure on Brazil’s Supreme Court.</p>
<ul>
<li><a href="https://theintercept.com/2021/03/15/brazil-lula-sergio-moro-supreme-court/">The Intercept, March 2021</a></li>
<li><a href="https://theintercept.com/2020/01/20/linha-do-tempo-vaza-jato/">The Intercept, timeline</a></li>
</ul>
<p>The Intercept Brasil also revealed that wiretapping on Lula’s phones was kept from the public; that there was a plot to <a href="https://theintercept.com/2019/07/09/brazil-car-wash-sergio-moro-venezuela-maduro/">leak information to the Venezuelan opposition</a> at the suggestion of Moro; and that chief prosecutor Deltan Dallagnol gave <a href="https://theintercept.com/2019/07/26/brazil-car-wash-deltan-dallagnol-paid-speaking/">paid lectures</a> to the very same banks he would later be tasked with investigating.</p>
<p>Moro had accelerated court dates to ensure that Lula was sentenced and that an appellate court ruling could come in just in time for the former president to be barred from running in the 2018 elections. The rulings rendered Lula ineligible for the presidency — and in April 2018, he was arrested on Moro’s orders. One of Moro’s last acts in his judgeship was to publicly release plea-bargain testimony from one of Lula’s former allies, Antonio Palocci, six days before the first round of elections.</p>
<p>“In a democratic and accusatory penal case, the role of prosecution must not be mixed with that of judgment,” said Minister Gilmar Mendes. The chats published by The Intercept had <a href="https://theintercept.com/2019/06/09/brazil-lula-operation-car-wash-sergio-moro/">documented prohibited collaboration</a> between the prosecutors and Moro, which Mendes said revealed lawbreaking: “Without a doubt, from the content of the conversations divulged, we can highlight manifestly illegal situations.”</p>
<p>On March 8, just a day before the judges publicly deliberated Moro’s bias, Supreme Court Minister Edson Fachin made a surprise decision throwing out all the Car Wash convictions against Lula — on the grounds that Moro’s mandate at the court in Curitiba was to judge crimes related to Petrobras, and so Lula’s case fell outside his purview. Many critics saw this as a last-ditch effort to spare Moro the embarrassment of having the court rule against him on bias grounds. The remaining judges decided to continue their deliberations regardless — and finally ruled.</p>
<p>Car Wash prosecutors, who long insisted that they were apolitical, were in fact internally plotting how to prevent the return to power of Lula: <a href="https://theintercept.com/2019/06/09/brazil-car-wash-prosecutors-workers-party-lula">The Intercept</a>.</p>
<section id="the-telegram-leaks" class="level3">
<h3 class="anchored" data-anchor-id="the-telegram-leaks">The Telegram Leaks</h3>
<p><a href="https://theintercept.com/2019/06/09/brazil-lula-operation-car-wash-sergio-moro/">The Intercept, June 9, 2019</a></p>
<p>In the leaked files, conversations between lead prosecutor Deltan Dallagnol and then-presiding Judge Sergio Moro reveal that Moro offered strategic advice to prosecutors and passed on tips for new avenues of investigation. In Brazil, as in the United States, judges are required to be impartial and are barred from secretly collaborating with one side in a case.</p>
<p>Lula was accused of having received a beachfront triplex apartment from a contractor as a kickback for facilitating multimillion-dollar contracts with Petrobras.</p>
<blockquote class="blockquote">
<p>Dallagnol expressed his increasing doubts over two key elements of the prosecution’s case: whether the triplex was in fact Lula’s and whether it had anything to do with Petrobras.</p>
</blockquote>
<p>Selected messages from the leaked chats:</p>
<ul>
<li>After a month of silence from the Car Wash task force, Moro asked: “Hasn’t it been a long time without an operation?” In another instance, Moro said, “You cannot make that kind of mistake now.”</li>
<li>“What do you think of these crazy statements from the PT national board? Should we officially rebut?” — Moro, using “we,” showing he viewed himself and the Car Wash prosecutors as united in the same cause.</li>
<li>December 7, 2015 — Moro informally passed on an investigative tip to prosecutors: “Source informed me that the contact person is annoyed at having been asked to issue draft property transfer deeds for one of the ex-president’s children. Apparently the person would be willing to provide the information. I’m therefore passing it along. The source is serious.” “Thank you!! We’ll make contact,” Dallagnol promptly replied.</li>
</ul>
<p>Because they had no proof that Lula owned a triplex and were looking for one, they seized on an O Globo article:</p>
<ul>
<li>Dallagnol messaged the group: “I’m so horny for this O GLOBO article from 2010. I’m going to kiss whichever one of you found this.”</li>
</ul>
<blockquote class="blockquote">
<p>The <a href="https://oglobo.globo.com/politica/caso-bancoop-triplex-do-casal-lula-esta-atrasado-3041591">article</a>, headlined “Bancoop Case: Lula Couple’s Triplex Is Delayed,” was the first to publicly mention Lula owning an apartment in Guarujá. It does not mention OAS or Petrobras and covers instead the bankruptcy of the construction cooperative behind the development. There is also a telling inconsistency: the article puts Lula’s penthouse in Tower B, while the prosecutors alleged he owned the beachfront triplex in Tower A — a different building. Car Wash prosecutors used the article as evidence but indicted and convicted Lula on a triplex in a different building, demonstrating imprecision on the central point of their case.</p>
<p>In a now infamous moment, Dallagnol presented a typo-laden PowerPoint presentation that showed “Lula” written in a blue bubble surrounded by 14 other bubbles containing everything from “Lula’s reaction” and “expressiveness” to “illicit enrichment” and “bribeocracy.” All arrows pointed back to Lula, whom they characterised as the mastermind behind a sprawling criminal enterprise.</p>
</blockquote>
<ul>
<li>Moro responded: “Definitely, the criticisms of your presentation are disproportionate. Stand firm.”</li>
<li>“Maybe, tomorrow, you should prepare a press release to point out inconsistencies in Lula’s arguments. The defense already put on their little show.” — Moro. Prosecutors did as he asked.</li>
</ul>
<p>Despite repeatedly using the phrase “alleged messages,” Moro <a href="https://www1.folha.uol.com.br/poder/2019/06/foi-descuido-meu-diz-moro-sobre-mensagem-a-lava-jato-com-pistas-contra-lula.shtml">acknowledged the authenticity</a> of at least one of the conversations. Questioned about having passed on an investigative lead to prosecutors on December 7, 2015, Moro said it was an “oversight on my part.”</p>
<section id="flávio-bolsonaro" class="level4">
<h4 class="anchored" data-anchor-id="flávio-bolsonaro">Flávio Bolsonaro</h4>
<p><a href="https://theintercept.com/2019/07/21/in-secret-chats-brazils-chief-corruption-prosecutor-worried-that-bolsonaros-justice-minister-would-protect-bolsonaros-senator-son-flavio-from-scandals/">The Intercept, July 2019</a></p>
<p>Senator Flávio Bolsonaro is accused of links to paramilitary gangs in Rio de Janeiro, stemming from a corruption scandal involving his former driver, Fabricio Queiroz, who is accused of transferring more than $1.5 million to Flávio’s account — at least one of which ended up in the account of Jair Bolsonaro’s wife, Michelle. Queiroz is also alleged to have connections to paramilitary gangs, and Flávio is accused of employing family members of one of the gang leaders. Deep worries were expressed that broader and more serious allegations might not be investigated, because Moro was concerned about angering the president.</p>
<p>Lava Jato prosecutors mocking the death of Lula’s wife: <a href="https://noticias.uol.com.br/politica/ultimas-noticias/2019/08/27/procuradora-da-lava-jato-pede-desculpas-a-lula-por-ironizar-morte-de-marisa.htm">UOL Notícias</a></p>
<p>Each time Lula’s case made its way to the highest court, members of the military, both active and retired, <a href="http://agenciabrasil.ebc.com.br/en/politica/noticia/2018-04/amnesty-international-condemns-statement-brazil-army-commandant">warned the court</a> in quite explicit terms that they were being watched. Bolsonaro’s son Eduardo warned that adverse Supreme Court decisions <a href="https://www.reuters.com/article/us-brazil-election/brazils-right-wing-candidate-scolds-son-for-threat-to-shut-top-court-idUSKCN1MW13C">could be addressed</a> by “sending a soldier and a corporal” to the doors of the court.</p>
<p><a href="https://theintercept.com/2020/03/12/united-states-justice-department-brazil-car-wash-lava-jato-international-treaty/">US Justice Department involvement in Car Wash (The Intercept)</a></p>
</section>
</section>
</section>
<section id="epilogue" class="level2">
<h2 class="anchored" data-anchor-id="epilogue">Epilogue</h2>
<p>Lula won the 2022 election and returned to the presidency in January 2023. Among his first acts:</p>
<ul>
<li><a href="https://amazonwatch.org/news/2023/0105-in-sweeping-moves-president-lula-reestablished-the-amazon-fund-and-signed-environmental-executive-orders">In sweeping moves, Lula reestablished the Amazon Fund and signed environmental executive orders (Amazon Watch)</a></li>
<li><a href="https://www.bbc.com/news/world-latin-america-65433284">Brazil’s Lula recognises six new indigenous reserves (BBC)</a>: <em>The lands — including a vast area of Amazon rainforest — cover about 620,000 hectares (1.5m acres).</em></li>
</ul>


</section>

 ]]></description>
  <category>notes</category>
  <category>political-economy</category>
  <guid>https://nightowl97.github.io/personal_blog/posts/brasil/</guid>
  <pubDate>Tue, 01 Nov 2022 23:00:00 GMT</pubDate>
</item>
<item>
  <title>Book notes - L’idéologie arabe contemporaine (by Abdallah Laroui)</title>
  <link>https://nightowl97.github.io/personal_blog/posts/ideo-arabe-contemp/</link>
  <description><![CDATA[ 





<ul>
<li><p>Page 12:</p>
<p>Maxime Rodinson, in his preface, mentions that Henry Lammens’ work suffers from the classical orientalist superiority complex towards the objects of his analysis, namely “islam” and less so for Goldziher or Schacht</p></li>
<li><p>Page 8:</p>
<p>Laroui’s definition of ideology:</p>
<p>Reflet décalé de la réalité à cause de l’outillage mental utilisé, système qui masque la réalité parce que celle-ci est impossible ou difficile à analyser, et enfin construction théorique prise dans une autre société, qui n’est pas totalement inscrite dans le réel mais qui est en voie de le devenir ou plus exactement qui est utilisée comme m odèle précisément pour que l’action la réalise.</p>
<p>Definition of etat national:</p>
<p>l’Etat national lutte contre l’exploitation impérialiste mais il ne l’efface pas, l’Etat national lutte de toutes ses forces, par les nationalisations, l’étatisation du commerce exté­rieur, la suppression des intermédiaires, l’industrialisation, la mécanisation de l’agriculture, l’aménagement des prix internationaux, pour faire cesser ce pillage, mais il est toujours arrêté par le libre jeu de l’offre et de la demande sur le marché mondial.</p>
<p>L’Etat national impose une culture bourgeoise, rationaliste et universalisante à une société qui ne lui a pas donné naissance par un développement interne</p></li>
<li><p>Page 17:</p>
<p>C ’est plutôt le fait que chaque fois qu’un écrivain arabe donne de sa société un diagnostic qui en éclaire les défauts et les carences, c’est une certaine image de l’Occident qui s’y trouve impliquée.</p></li>
</ul>
<p><em>Inspired by the figures represented by Mohamed Abduh, Lotfy Sayyid and Salâma Mûsa, the author sketches three modes of contemporary arabic thought:</em></p>
<section id="le-clerc" class="level2">
<h2 class="anchored" data-anchor-id="le-clerc">Le clerc:</h2>
<ul>
<li><p>Page 19:</p>
<p>L ’homme de religion maintient l’opposition Occident-Orient dans le cadre de l’opposition Christianisme-Islam. Pendant longtemps, victoires et défaites ont alterné. Cette fois-ci, pourtant, la guerre a été rapide et la défaite durable : l’ennemi s’installe et s’organise selon ses propres normes. Le clerc peut néanmoins avoir l’illusion que c’est la vieille confrontation qui continue. D ’ailleurs, pour ces sortes d’accidents, il a une justification prête depuis toujours:</p>
<blockquote class="blockquote">
<p><em>Surat Al-Isra’ (17), verset 16</em></p>
</blockquote>
<p>This position doesn’t need to worry about the Other or analyse him because he’s reduced to an instrument of god and nothing more. However, it is no longer a satisfactory answer from the moment this Other imposes dialogue on his own terms</p></li>
<li><p>Page 20 et 21:</p>
<p>Il entend dire : la faiblesse de l’Islam provient du fanatisme et de la superstition. Il reprend ses textes, les lit, les relit et n’y trouve que tolérance et foi raisonnée.</p>
<p>Il entend dire aussi : La force de l’Occident est fondée sur la Raison et la Liberté. Essayant de se faire une idée de cette liberté dans l’histoire, il tombe, et non par hasard, sur des écrivains anticléricaux et il est horrifié d’apprendre que Galilée fut emprisonné, Descartes calomnié, Rousseau persécuté, et que Giordano Bruno périt sur le bûcher parce qu’il osa défendre les droits de la Raison contre la raison d’Etat. Il pense alors à l’Abraham du Coran, héros de l’investigation personnelle, et se dit : Comment les chrétiens osent-ils parler de tolérance après tant de forfaits ? Bien entendu, il ne pense nullement aux persé­cutions du Calife Mutawakkil contre les mu’tazilites, aux autodafés des Almoravides, il ne voit plus, dans l’histoire de l’Islam, que les traducteurs d’Al Mâmûn penchés sur leurs livres grecs et syriaques, et les manuscrits rares d’Al-Hakam que les barbares espagnols, dit-on, engloutirent après la chute de Cordoue pour en faire des ponts à bon marché</p>
<p>Conclusion du clerc: “La cause de notre faiblesse ? Mais c’est notre infidélité à l’égard du Message divin.” Le clerc sépare alors le dogme de la vie, le premier est sauvé pur et sans tache, tandis que l’histoire réelle n’est plus que la succession des avatars d’une Révé­lation trahie. Autrefois, Dieu fatigué d’être bafoué par son peuple élu se réfugia chez les Arabes mais plus tard la Raison traquée par le despotisme, l’obscurantisme, se retira dépitée chez les Chré­tiens et leur communiqua, malgré leur propre religion, gloire, puissance et richesse. L’Anddousie n’est plus une terre comme les autres, conquise et perdue, elle devient le symbole de la Raison qui, mal-aimée et trop souvent délaissée, nous a, à son tour, abandonnés.</p></li>
</ul>
</section>
<section id="le-politicien" class="level2">
<h2 class="anchored" data-anchor-id="le-politicien">Le politicien</h2>
<ul>
<li><p>Page 24:</p>
<p>Le politicien qui a pris la place du clerc sur le devant de la scène pense : notre décadence eut sûrement pour cause ultime un esclavage séculaire. Du coup vont reprendre force tous les jugements classiques qu’il avait autrefois lus et non assimiliés : que l’esclave ne peut ni bien travailler ni bien se battre, que l’agriculture, le commerce, la science et la philosophie ne peuvent jamais s’épanouir dans la servitude. Après bien d’autres, il réfléchira sur les mésaventures d’Athènes et de Rome et il se laissera convaincre que la chute des Empires est toujours la victoire de la liberté sur l’esclavage.</p>
<p>On dira : tant que l’Islam fut arabe il fut libre, tolérant et victorieux ; devenu turc, il changea de nature et déchut. L’Islam turc fut vainqueur tant que l’Europe elle-même fut asservie et fataliste, mais dès qu’elle se libéra au temps de la Réforme, elle vainquit partout.</p>
<p>Puisque le mal est diagnostiqué, le remède est trouvé. Le régime turc était le pouvoir d’un seul, il faudra donc élire une Assemblée ; le régime turc réglementait toutes les activités, il faudra alors donner libre cours à l’initiative privée ; le régime turc s’accommodait de l’ignorance, il faudra donc sacrifier tout pour propager l’instruction.</p>
<p>Et ce juriste-politicien va se mettre à l’œuvre dans une débauche d’arguties et de subtilités. Le Prophète se trompe une fois au sujet de la technique de la pollinisation des palmiers-dattiers et le reconnaît franchement. On en tire la conclusion abusive que le dogme islamique n’impose pas une stricte organisation des pouvoirs publics et qu’il peut, par conséquent, s’accommoder de n’importe quel régime choisi par les musulmans.</p>
<p>L’Ijmâa (consensus) juridique devient une véritable charte démocratique, corroborée par la procédure que choisit le Calife Omar pour désigner son successeur.</p>
<p><strong>Le dogme est ainsi sauvé une seconde fois</strong>, puisque toute l’organisation classique despotique est décrétée non musulmane, et du même coup l’avenir est dévoilé : organisons une démocratie représentative et la puissance nous reviendra de nouveau.</p>
<p>Cette vision libérale, qui comporte en elle diagnostic et thérapeutique à la fois, se trouve encore dans tous les pays arabes ; dans certains comme l’Egypte, discréditée par ses échecs, elle ose à peine se faire entendre de temps en temps dans l’université ou au parlement, dans d’autres, comme le Maroc, elle a encore assez de confiance en elle-même pour se présenter à visage découvert.</p>
<p>La liberté, se demande le politicien, nous l’avons bien, mais la puissance ? Et comme il croit que cette puissance lui est due, il se retourne sur et contre le peuple. Pour la première fois, avec le recul nécessaire, il le voit vraiment, tel qu’il est : ignorant, crasseux, assoupi.</p>
<p>## Le Technophile</p>
<p>L’Occident, dira-t-il, ne se définit ni par une religion sans superstitions, ni par un Etat sans despotisme, mais simplement par une force matérielle, acquise par le travail et la science</p>
<p>appliquée. Il rira désormais des idées que se sont faites de l’Occident clerc et politicien. Dans le grand amphithéâtre de l’université du Caire, Salâma Mûsa posera en 1930 à la jeunesse égyptienne la question suivante : « Les Occidentaux ont-ils la même religion? la même origine raciale? les mêmes institutions ? &gt; Et il répond : « Depuis un quart de siècle une vérité s’est révélée à moi, une seule et qui est celle-ci : la différence qui nous sépare des Européens civilisés est l’industrie et l’industrie seule u. &gt; Le technophile citera souvent l’exemple du Japon : existe-t-il une religion plus étrangère au monothéisme raisonné, une histoire plus sanglante, un peuple plus asservi que ce que nous trouvons dans ce Japon des Samouraï ? Pourtant en peu de temps, il vainquit blancs et jaunes simplement parce qu’il alla droit au secret de l’Occident. Faisons comme lui, ne perdons plus notre temps en discussions théologiques</p>
<p>La critique de l’histoire islamique qu’avait amorcée timidement le politicien libéral est maintenant totalement écartée. Le technophile ne sent nul besoin d’interpréter le dogm e ou de le détourner de son sens traditionnel, il l’ignore tout simplement, puisqu’il ne détermine en fait ni force ni faiblesse. En mettant la tradition hors de discussion, il contribue à la sauver une dernière fois.</p>
<p>A l’argument de la génération précé­dente, le technophile répondra : « N’est-ce pas sous Cromwell que l’Angleterre jeta les bases de son hégémonie maritim e? N’est-ce pas sous les deux Napoléons que la France devint une puissance industrielle ? Le despotisme n’empêche rien, peut-être même est-il une condition de l’avancement des peuples. »</p></li>
<li><p>Page 30 et 31: The author states that Jamal ad-Din al-Afghani is a precursor to all three (Abduh, Sayyid, Musa) and predicted the fate of the orient, but was misunderstood until defeat forced the arab world into modernity, with the three archetypes the first to understand parts of al-Afghani’s thought and try to develop it</p></li>
<li><p>Page 34: Author states that the clerc is using a self-ascribed definition of the West that is outdated, rendering his analysis and criticism null. The main actor in Western society is bourgeois capitalist, and does not have the same occupations and considerations as a clerc. When our clerc finds himself in a polemical sequence with a western clerc, who represents an outdated conception of the west, the essence of west remains completely untouched and unconcerned by their discussion. Laroui seems to ‘imply’ (but later denies it) the west of consciously giving the wrong diagnostic to the orient, mentioning that it was Renan’s own definition of the west and recounts the story of Muhammad Abduh visiting H. Spencer in 1903 where he said: “Les Anglais dégénèrent [..] Dans le domaine de la vertu et de la morale et cela, à cause des idées matérialistes constamment en progrès, qui ont déjà corrom pu les Latins, qui nous gagnent maintenant et gagneront par la suite tous les peuples de l’Europe”</p></li>
<li><p>Page 35 et 36: ”La pensee Liberale” also suffers from the same out of phase phenomenon. Author states that Lotfy Sayyid does not recognise the existing duality/plurality of western liberalism, and that Lotfy Sayyid didn’t have John Locke, Montesquieu or John Stuart Mill as references but [verbatim]: “mais bien chez des hommes dont la pensée avait perdu, dans le climat raréfié de la fin du siècle, tout germe vivifiant” Author also (rather too quickly) applies the same logic to the technician, where he states Saint-Simon’s industrialism and “english economists” as the missing references in our technician’s thought, who instead relies on H.G. Wells or Bernard Shaw (qui sont des vulgarisateurs pragmatiques, he says) according to a Salama Musa citation from <em>Comment se cultiver (en arabe), p.&nbsp;251.</em></p></li>
<li><p>Page 39: La conscience de notre clerc est religieuse quand il analyse sa société, mais elle devient libérale quand il critique l’O ccident ; il sait bien que les droits de la femme sont sacrifiés dans l’Islam, au moins dans la pratique. Mais comment résistera-t-il au plaisir de se servir du rapport Villermé et d’autres écrits accusateurs sur l’exploitation du travail féminin ? Et que de fois n’avons-nous pas vu un politicien arabe, cynique et désabusé chez lui, se convertir instantanément en apôtre socialiste pour dénoncer l’exploitation des ouvriers européens par les trusts internationaux?</p></li>
</ul>
</section>
<section id="morocco" class="level2">
<h2 class="anchored" data-anchor-id="morocco">Morocco</h2>
<ul>
<li><p>Page 43: Allal el-Fassi being Morocco’s Muhammad Abduh with more knowledge of the west Allal’s thought consists of denying some historical determinisms. L’Occident positif, le travail, la liberté ne découlent pas du Christianisme qui, en histoire, fut toujours synonyme d’oppression et d’exploitation. De même, la décadence, la servitude, la passivité ne viennent pas de l’Islam, mais d’éléments qui lui sont étrangers. Il appréhende sa société à travers une conscience religieuse et critique l’Ociddent à partir d’une conscience libérale. Il dénie pour lui un déterminisme qu’il affirme pour l’Autre et soutient une permanence islamique anhistorique qu’il refuse au Christianisme occidental. About the progressive western left, Allal says:</p>
<blockquote class="blockquote">
<p>“Nous nous en séparons lorsqu’elle considère sa lutte contre le clergé comme une règle évidente applicable à toutes les sociétés, même à celles qui n’ont pas connu l’Eglise et ses méfaits… Et si nous comprenons fort bien les positions de la gauche occidentale dans ses conditions historiques, en revanche nous ne comprenons pas du tout comment nous pouvons prendre à notre compte une bataille qui n’est pas la nôtre et combattre ce qui n’existe pas…” - from <em>“Nos points de rencontre avec la droite et la gauche occidentales”</em></p>
</blockquote></li>
<li><p>Page 61: L ’O ccident opposé à nous est l’Occident opaque, confiant dans ses parcs, ses routes, ses canons et qui croit pouvoir se passer de l’acquiescement de l’homme. Mais l’Occident critique qui, sans renoncer à ce cadre embelli et confortable, rappelle à tous l’espoir, autrefois exprimé dans des légendes éparses, d’un homme uni et réconcilié et qui, au-delà de nous et de lui-même, s’adresse au futur, celui-là doit être entendu, si nous voulons dépasser les sons inarticulés d’une fureur impuissante. Author cites Franz Fanon:</p>
<blockquote class="blockquote">
<p>F. Fanon, le champion le plus radical et le plus éloquent de l’authenticité négative, était obligé lui aussi de conclure dans ce sens en parlant “*des thèses quelquefois prodigieuses soutenues par l’Europe”</p>
</blockquote>
<ul>
<li>Les damnés de la terre, p.&nbsp;242* &gt;</li>
</ul></li>
<li><p>Page 63: A l’intellectuel occidental, disons que sa logique meurtrière se soucie bien peu de notre salut. Libre à certains peuples, plus profondément blessés, de se laisser abuser par cet appel féroce et trompeur. Trompeur car qui ignore que <strong><em>la révolte contre la Raison est née en Occident</em></strong>, que c’est le positivisme triomphant qui donna naissance à la psychanalyse et à l’ethnologie, et que cette dépréciation de la Raison fut par la suite utilisée, et de quelle façon! contre les peuples de la nature. L’aristotélisme est une partie d e notre héritage culturel et si sa logique, autrefois étudiée par des milliers d’étudiants à l’om bre des mosquées, est aujourd’hui rénovée et enrichie, ce n’est pas une raison suffisante pour que nous ne la reconnaissions plus.</p>
<p>About the idea that one should take everything or leave everything (from the west), author writes: Et à notre frère, irrité par le vide d’un Moi disloqué, qui reprendra sans critique cette politique du tout ou rien, il faudra lui rappeler des faits oubliés. S’il refuse aujourd’hui l’Occident au nom d’une intransigeante fidélité, c’est parce que son Moi perdu a également perdu le souvenir de son passé. Dans ses terres de soleil et d’oliviers il fut maintes et maintes fois déplacé. Que de villes détruites, de puits empoisonnés, de vaisseaux brûlés, pour qu’il se reconnaisse dans un M oi qui lui fut d’abord opaque et pesant! Aujourd’hui, il est fier d’une langue qu’il a pendant des siècles estropiée, d’un message qu’il a travesti et d’une pensée qu’il essaya, bien des fois, d’étouffer par les flammes. Hier, il combattait le D ieu du désert qu’il invoque aujourd’hui, il refusait l’hellénisme dont il se fait maintenant un honneur d’avoir sauvegardé les chefs-d’œuvre</p></li>
<li><p>Page 66: About Morocco, author writes: Aucune idéologie n’a chez nous une coloration historique autonome; elle prend, dans le vaste champ des idées, ce qui lui sert à l’instant, d’où cette instabilité, ce changement constant de perspective historique qui choquent tout lecteur qui a déjà orienté l’histoire d’une certaine manière.</p></li>
<li><p>Page 68: Dans l’idéologie arabe contemporaine, aucune forme de conscience n’est authentique : chez le clerc pas plus que chez le technophile; il reflète une image différente du contact avec l’Occident mais le centre de sa pensée n’est pas plus à lui que celui du technophile ne lui appartient en propre.</p></li>
<li><p>Page 73: Dans l’idéologie arabe contemporaine, aucune forme de conscience n’est authentique : chez le clerc pas plus que chez le technophile; il reflète une image différente du contact avec l’Occident mais le centre de sa pensée n’est pas plus à lui que celui du technophile ne lui appartient en propre.</p></li>
<li><p>Page 100:</p>
<p>Laroui says “ils écartent un hadith au nom d’un autre et ainsi, simultanément ou alternativement, ils acceptent une partie de la tradition pour pouvoir en récuser une autre”</p>
<p>Rodinson Correctly criticizes this in the preface (page XII) by pointing out Schacht hyperscepticism and rejection of almost the entire body of hadith</p></li>
</ul>


</section>

 ]]></description>
  <category>book notes</category>
  <category>philosophy</category>
  <category>politics</category>
  <category>culture</category>
  <category>history</category>
  <guid>https://nightowl97.github.io/personal_blog/posts/ideo-arabe-contemp/</guid>
  <pubDate>Wed, 17 Aug 2022 20:30:00 GMT</pubDate>
</item>
<item>
  <title>Electrochemistry Basics</title>
  <link>https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/</link>
  <description><![CDATA[ 





<section id="balancing-redox-half-reactions" class="level2">
<h2 class="anchored" data-anchor-id="balancing-redox-half-reactions">Balancing Redox Half-Reactions</h2>
<ul>
<li>Balancing the main element</li>
<li>Balancing oxygen by adding water molecules <img src="https://latex.codecogs.com/png.latex?H_2O"></li>
<li>Balancing hydrogen with Hydronium <img src="https://latex.codecogs.com/png.latex?H%5E+"></li>
</ul>
<p>The <strong>anode</strong> <img src="https://latex.codecogs.com/png.latex?%5Crightarrow"> where <strong>oxidation</strong> happens The <strong>cathode</strong> <img src="https://latex.codecogs.com/png.latex?%5Crightarrow"> where <strong>reduction</strong> happens</p>
<p>There is no link between electrode polarity and whether it’s an anode or cathode. Generator (battery or accumulator) <img src="https://latex.codecogs.com/png.latex?%5Crightarrow"> + is the cathode, Electrolysis <img src="https://latex.codecogs.com/png.latex?%5Crightarrow"> + is the anode</p>
</section>
<section id="reference-electrodes" class="level2">
<h2 class="anchored" data-anchor-id="reference-electrodes">Reference Electrodes</h2>
<p>Because only potential <em>differences</em> are measured, reference electrodes are used.</p>
<p>The ideal <em>Standard Hydrogen Electrode (SHE)</em> has a 0V potential at all temperatures, it’s defined by the couple <img src="https://latex.codecogs.com/png.latex?H%5E+%20/%20H_2"> (STD: 1 bar pressure perfect gas and a <img src="https://latex.codecogs.com/png.latex?H%5E+"> concentration of <img src="https://latex.codecogs.com/png.latex?1%5C%20%5Ctext%7Bmol.L%7D%5E%7B-1%7D">). This redox reaction occurs at a platinized <a href="https://en.wikipedia.org/wiki/Platinum">platinum</a> electrode. The electrode is dipped in an acidic solution and pure hydrogen gas is bubbled through it. The concentration of both the reduced form and oxidized form is maintained at unity.</p>
<p><img src="https://latex.codecogs.com/png.latex?%0A2%20H%5E+_%7B(aq)%7D%20+%202%20e%5E%E2%88%92%20%E2%86%92%20H_%7B2(g)%7D%0A"></p>
<p>The <em>Normal Hydrogen Electrode</em><sup>1</sup> is the closest real electrode to the SHE with identical pressure and concentration. Its potential is <img src="https://latex.codecogs.com/png.latex?6%5Ctext%7BmV%7D/">SHE, the concentration needs to be slightly higher to approximate SHE even further.</p>
<p><em>Calomel Electrode:</em></p>
<p>The calomel electrode is a type of half-cell in which the electrode is mercury coated with calomel (<img src="https://latex.codecogs.com/png.latex?%5Ctext%7BHg%7D_2%5Ctext%7BCl%7D_2">) and the electrolyte is a solution of potassium chloride and saturated calomel.</p>
<p>The electrode reaction is:</p>
<p><img src="https://www.corrosionpedia.com/images/uploads/bc90e3a5-fdc1-4ce6-ae96-b0d21e28203f.png" class="img-fluid"></p>
<p><img src="https://latex.codecogs.com/png.latex?%0A%5Ctext%7BHg%7D%5E%7B2+%7D_2%20+%202e%5E-%20%5Cleftrightharpoons%202%5Ctext%7BHg(l)%7D,%20%5Cqquad%20E%5E0_%7B%5Ctext%7BHg%7D%5E%7B2+%7D_2%20/%20%5Ctext%7BHg%7D%7D%20=%20+0.80%5Ctext%7BV%7D%0A"></p>
<p><img src="https://latex.codecogs.com/png.latex?%0A%5Ctext%7BHg%7D_2%5Ctext%7BCl%7D_2%20+%202e%5E-%20%5Cleftrightharpoons%202%5Ctext%7BHg(l)%7D%20+%202%20%5Ctext%7BCl%7D%5E-,%20%5Cqquad%20E%5E0_%7B%5Ctext%7BHg%7D_2%5Ctext%7BCl%7D_2%20/%20%5Ctext%7BHg(l)%7D,%5Ctext%7BCl%7D%5E-%7D%20=%20+0.27%5Ctext%7BV%7D%0A"></p>
<p><img src="https://latex.codecogs.com/png.latex?%0A%5Ctext%7BHg%7D%5E%7B2+%7D_2%20+%202%5Ctext%7BHg(l)%7D%20+%202%20%5Ctext%7BCl%7D%5E-%20%5Cleftrightharpoons%20%5Ctext%7BHg%7D_2%5Ctext%7BCl%7D_2%20+%202%5Ctext%7BHg(l)%7D,%20%5Cqquad%20E%5E0_%7B%5Ctext%7BHg%7D_2%5Ctext%7BCl%7D_2%20/%20%5Ctext%7BHg%7D%5E%7B2+%7D_2,%20%5Ctext%7BCl%7D%5E-%7D%20=%20+0.53%5Ctext%7BV%7D%0A"></p>
</section>
<section id="nernst-equation" class="level2">
<h2 class="anchored" data-anchor-id="nernst-equation">Nernst Equation</h2>
<p>For this half equation:</p>
<p><img src="https://latex.codecogs.com/png.latex?%0Ax%20%5Ctext%7BOx%7D%20+%20n%20e%5E-%20%5Cleftrightharpoons%20y%20%5Ctext%7BRed%7D%0A"></p>
<p><img src="https://latex.codecogs.com/png.latex?%0AE%20=%20E_0%20+%20%5Cfrac%7BRT%7D%7BnF%7D%5Cln%5Cleft(%5Cfrac%7B%5B%5Ctext%7BOx%7D%5D%7D%7B%5B%5Ctext%7BRed%7D%5D%7D%5Cright)%0A"></p>
<ul>
<li><img src="https://latex.codecogs.com/png.latex?E">: Reduction potential at temperature of interest / Fermi level</li>
<li><img src="https://latex.codecogs.com/png.latex?E%5E0">: Standard half-cell reduction potential</li>
<li><img src="https://latex.codecogs.com/png.latex?n">: Number of electrons exchanged</li>
</ul>
</section>
<section id="cyclic-voltammetry" class="level2">
<h2 class="anchored" data-anchor-id="cyclic-voltammetry">Cyclic Voltammetry</h2>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/NG1x-aiHdW4" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<p>The peak happens because the rising Fermi level of the electrode allows it to give (and falling <img src="https://latex.codecogs.com/png.latex?E_F"> allows it to take <img src="https://latex.codecogs.com/png.latex?e%5E-">) electrons from the solution.</p>
<p>Keep in mind the metal electrode’s Fermi level will match the solution’s Fermi level which is defined as <img src="https://latex.codecogs.com/png.latex?%5Cfrac%7B1%7D%7B2%7D">(HOMO + LUMO) almost instantaneously after putting the electrode in the solution.</p>
<p>The peak is not a plateau because the reaction is limited by mass transport — the reactants no longer have enough time to reach the electrode surface and the concentration decreases as they are consumed, leading to falling current values.</p>
</section>
<section id="levich-treatment" class="level2">
<h2 class="anchored" data-anchor-id="levich-treatment">Levich Treatment</h2>
<p>Can be used to find the diffusion constant <img src="https://latex.codecogs.com/png.latex?D"> for a given species as a function of the rotation rate of the rotating disk electrode<sup>2</sup>. Sigmoidal voltammograms are expected with a steady-state limiting current <img src="https://latex.codecogs.com/png.latex?I_L">:</p>
<p><img src="https://latex.codecogs.com/png.latex?%0AI_L%20=%200.201%20n%20F%20A%20D%5E%5Cfrac%7B2%7D%7B3%7D%5Comega%5E%5Cfrac%7B1%7D%7B2%7D%5Cnu%5E%5Cfrac%7B-1%7D%7B6%7D%20C%0A"></p>
<ul>
<li><img src="https://latex.codecogs.com/png.latex?n">: Number of moles of electrons</li>
<li><img src="https://latex.codecogs.com/png.latex?%5Comega">: Rotation rate in rpm (for <img src="https://latex.codecogs.com/png.latex?rad/s">)</li>
<li><img src="https://latex.codecogs.com/png.latex?D">: Diffusion coefficient <img src="https://latex.codecogs.com/png.latex?cm%5E2/s"></li>
<li><img src="https://latex.codecogs.com/png.latex?%5Cnu">: Kinematic viscosity in <img src="https://latex.codecogs.com/png.latex?cm%5E2/s"></li>
<li><img src="https://latex.codecogs.com/png.latex?C">: Bulk analyte concentration in <img src="https://latex.codecogs.com/png.latex?mol/cm%5E3"></li>
</ul>
</section>
<section id="koutecky-levich-treatment" class="level2">
<h2 class="anchored" data-anchor-id="koutecky-levich-treatment">Koutecky-Levich Treatment</h2>
<p>The Koutecký-Levich analysis allows researchers to obtain kinetic parameters for a redox reaction such as the standard reaction constant<sup>3</sup> <em>k</em>° and the symmetry factor α.</p>
<p>The <em>first step</em> is to plot at a fixed potential the values of the current at the various rotation rates (Fig. 1a). The value of the potential is chosen before the current plateau. The <em>second step</em> is to plot the inverse of the current values as a function of the inverse of the square root of the rotation speed (Fig. 1b). This is what is called the Koutecký-Levich plot.</p>
<p><img src="https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/kouteckylevich_fig1.gif" class="img-fluid"></p>
<p><em><strong>Figure 1:</strong> <strong>(a)</strong> I vs.&nbsp;E curves obtained on an irreversible system on a Rotating Disk Electrode at various rotation speeds. The dots represent the points chosen to plot the Koutecký-Levich lines shown in <strong>(b)</strong>. These lines are then extrapolated <strong>(c)</strong> to obtain the electronic transfer current <img src="https://latex.codecogs.com/png.latex?I_t"> <strong>(d)</strong>.</em></p>
<p>The <em>third step</em> is to extrapolate the Koutecký-Levich line to 0, which corresponds to a theoretical infinite rotation speed (Fig. 1c, black dot). At this point, the current value corresponds to the electronic transfer current <img src="https://latex.codecogs.com/png.latex?I_t"> — the current that you would obtain if there was absolutely no limitation by mass transport.</p>
<p><img src="https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/kouteckylevich_fig2.gif" class="img-fluid"></p>
<p><em><strong>Figure 2: (a)</strong> I vs.&nbsp;E curves obtained on an irreversible system on a Rotating Disk Electrode at various rotation speeds. The dots represent the points chosen to plot the Koutecký-Levich lines shown in <strong>(b)</strong>. These lines are then extrapolated <strong>(c)</strong> to obtain the electronic transfer current <img src="https://latex.codecogs.com/png.latex?I_t"> <strong>(d)</strong>. This is carried out at various potentials to obtain the Tafel curve shown in <strong>(e)</strong>.</em></p>
<p>Performing these three steps at several potential values (Fig. 2a, b, c, d) allows you to plot the Tafel curve (Fig. 2e). The slope of this curve gives the value of the symmetry factor <img src="https://latex.codecogs.com/png.latex?%5Calpha_r"> while the current value at <img src="https://latex.codecogs.com/png.latex?E%20=%20E%C2%B0"> gives the value of the standard kinetic constant <img src="https://latex.codecogs.com/png.latex?k%C2%B0">, given the concentration of the reactive species and the number of electrons involved in the redox reaction.</p>
</section>
<section id="impedance-spectroscopy" class="level2">
<h2 class="anchored" data-anchor-id="impedance-spectroscopy">Impedance Spectroscopy</h2>
<p><em>Some resources:</em></p>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/Pk7SVcRIWac" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/5puDQjCl2pk" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/GM0o1BbbXy8" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/kexDd0kFAK8" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<p>In a Lissajous curve, a distorted ellipse means there is too much of a perturbation on the system — the AC part of the signal is too big and becomes non-linear.</p>
<p>Sometimes the chosen AC amplitude is good for some frequency ranges but not for others, meaning you have to make different measurements with different AC amplitudes.</p>
<p>Electrochemical systems are modeled using equivalent circuits (with basic R, L, C components or others like CPE: Constant Phase Element).</p>
<section id="some-basic-bodenyquist-plots" class="level3">
<h3 class="anchored" data-anchor-id="some-basic-bodenyquist-plots">Some Basic Bode/Nyquist Plots</h3>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/Untitled.png" class="inverted img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/Untitled 1.png" class="inverted img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/Untitled 2.png" class="inverted img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<p>The peak of a semi-circle (parallel RC) corresponds to the time constant of the system <img src="https://latex.codecogs.com/png.latex?%5Comega%20=%20%5Cfrac%7B1%7D%7B%5Ctau%7D%20=%20%5Cfrac%7B1%7D%7BRC%7D"></p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/Untitled 3.png" class="inverted img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
</section>
<section id="randles-circuit" class="level3">
<h3 class="anchored" data-anchor-id="randles-circuit">Randles Circuit</h3>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/Untitled 4.png" class="inverted img-fluid quarto-figure quarto-figure-center figure-img"></p>
</figure>
</div>
<ul>
<li><img src="https://latex.codecogs.com/png.latex?R_e">: Models the bulk electrolyte resistance</li>
<li><img src="https://latex.codecogs.com/png.latex?R_t">: Charge transfer resistance at the electrode-electrolyte interface</li>
<li><img src="https://latex.codecogs.com/png.latex?C_d">: Double-layer capacitance (charge build-up at the interface)</li>
<li><img src="https://latex.codecogs.com/png.latex?W">: Models slow diffusion processes (Warburg impedance)</li>
</ul>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/rElEJ2UkGU0" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
<div class="quarto-video ratio ratio-16x9"><iframe data-external="1" src="https://www.youtube.com/embed/kexDd0kFAK8" title="" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen=""></iframe></div>
</section>
</section>
<section id="electrode-kinetics" class="level2">
<h2 class="anchored" data-anchor-id="electrode-kinetics">Electrode Kinetics</h2>
<section id="butler-volmer" class="level3">
<h3 class="anchored" data-anchor-id="butler-volmer">Butler-Volmer</h3>
<p><img src="https://latex.codecogs.com/png.latex?%0Aj%20=%20j_0%20%5Cleft%5C%7Be%5E%7B%5Cleft(%5Cfrac%7B%5Calpha_a%20z%20F%7D%7BRT%7D(E-E_%7Beq%7D)%5Cright)%7D%20-%20e%5E%7B%5Cleft(-%5Cfrac%7B%5Calpha_c%20z%20F%7D%7BRT%7D(E-E_%7Beq%7D)%5Cright)%7D%5Cright%5C%7D%0A"></p>
<p><img src="https://latex.codecogs.com/png.latex?%0Aj%20=%20j_0%20%5Cleft%5C%7Be%5E%7B%5Cleft(%5Cfrac%7B%5Calpha_a%20z%20F%7D%7BRT%7D%5Ceta%5Cright)%7D%20-%20e%5E%7B%5Cleft(-%5Cfrac%7B%5Calpha_c%20z%20F%7D%7BRT%7D%5Ceta%5Cright)%7D%5Cright%5C%7D%0A"></p>
<ul>
<li><img src="https://latex.codecogs.com/png.latex?E">: Electrode potential</li>
<li><img src="https://latex.codecogs.com/png.latex?E_%7Beq%7D">: Equilibrium potential</li>
<li><img src="https://latex.codecogs.com/png.latex?z">: Number of electrons involved in the electrode reaction</li>
</ul>
</section>
<section id="tafel" class="level3">
<h3 class="anchored" data-anchor-id="tafel">Tafel</h3>
<p><img src="https://latex.codecogs.com/png.latex?%0A%5Ceta%20=%20A%20%5Clog%5Cleft(%5Cfrac%7Bj%7D%7Bj_0%7D%5Cright)%0A"></p>
<ul>
<li><img src="https://latex.codecogs.com/png.latex?%5Ceta">: Overpotential</li>
<li><img src="https://latex.codecogs.com/png.latex?A">: Tafel slope</li>
<li><img src="https://latex.codecogs.com/png.latex?j">: Current density <img src="https://latex.codecogs.com/png.latex?(A/m%5E2)"></li>
<li><img src="https://latex.codecogs.com/png.latex?j_0">: <a href="https://en.wikipedia.org/wiki/Exchange_current_density">Exchange current density</a></li>
</ul>
<p>The Tafel equation is an approximation of the Butler-Volmer equation at high overpotentials <img src="https://latex.codecogs.com/png.latex?(%5Clvert%5Ceta%5Crvert%20%3E%200.1%20V)">. It assumes that the concentrations at the electrode are practically equal to the concentrations in the bulk electrolyte, allowing the current to be expressed as a function of potential only. In other words, it assumes that the electrode mass transfer rate is much greater than the reaction rate, and that the reaction is dominated by the slower chemical reaction rate. Also, at a given electrode the Tafel equation assumes that the reverse half reaction rate is negligible compared to the forward reaction rate.</p>
<section id="supporting-electrolyte" class="level4">
<h4 class="anchored" data-anchor-id="supporting-electrolyte">Supporting Electrolyte</h4>
<p>When performing electroanalytical experiments, it is conventional to add a large quantity of inert salt to the solution — this artificially added salt is called supporting electrolyte. The purpose of the supporting electrolyte is to increase the conductivity of the solution, and hence to eliminate the electric field from the electrolyte.</p>
<p>A negligible electric field provides two advantages for electroanalysis:</p>
<ul>
<li>The voltage due to the resistance of the electrolyte when the cell draws current (“ohmic drop”) is minimal. Therefore, the potential difference applied across the electrochemical cell is localized at the electrode–electrolyte interfaces, and so the activation overpotential perceived by the redox couple at this interface is almost exactly proportional to the applied cell voltage. The kinetic behavior of the electrochemical cell then has no explicit dependence on the magnitude of the drawn current.</li>
<li>The contribution of migration to the transport of charged chemical species is negligible compared to the contribution of diffusion (and of convection, in a forced flow). Therefore the transport properties of the system are linearized, and they do not depend on the magnitude of the drawn current.</li>
</ul>
<p>Even for the conductivities of electrolyte solutions in the presence of excess supporting electrolyte, the electric field is not negligible if significant current density is drawn. Electroanalysis typically draws small currents because the purpose is measurement. In processes where an electrochemical reaction is driven — such as electrolysis, electrodeposition, batteries, and fuel cells — current densities are typically much larger, so that the desired extent of reaction is achieved in a reasonable time. Under these conditions, significant electric fields are likely and other charge conservation models should be used instead.</p>
</section>
<section id="scan-rate-influence" class="level4">
<h4 class="anchored" data-anchor-id="scan-rate-influence">Scan Rate Influence</h4>
<p>The scan rate of the experiment controls how fast the applied potential is scanned. Faster scan rates lead to a decrease in the size of the diffusion layer; as a consequence, higher currents are observed.<sup>4</sup> For electrochemically reversible electron transfer processes involving freely diffusing redox species, the Randles–Ševčík equation describes how the peak current <img src="https://latex.codecogs.com/png.latex?i_p"> (A) increases linearly with the square root of the scan rate <img src="https://latex.codecogs.com/png.latex?%5Cupsilon"> (V s<img src="https://latex.codecogs.com/png.latex?%5E%7B-1%7D">), where <img src="https://latex.codecogs.com/png.latex?n"> is the number of electrons transferred, <img src="https://latex.codecogs.com/png.latex?A"> (cm<img src="https://latex.codecogs.com/png.latex?%5E2">) is the electrode surface area, <img src="https://latex.codecogs.com/png.latex?D_0"> (cm<img src="https://latex.codecogs.com/png.latex?%5E2"> s<img src="https://latex.codecogs.com/png.latex?%5E%7B-1%7D">) is the diffusion coefficient of the oxidized analyte, and <img src="https://latex.codecogs.com/png.latex?C%5E0"> (mol cm<img src="https://latex.codecogs.com/png.latex?%5E%7B-3%7D">) is the bulk concentration of the analyte.</p>
<p><img src="https://latex.codecogs.com/png.latex?%0Ai_p%20=%200.446%5C,%20nFAC%5E0%20%5Cleft(%5Cfrac%7BnF%5Cnu%20D_0%7D%7BRT%7D%5Cright)%5E%7B%5Cfrac%7B1%7D%7B2%7D%7D%0A"></p>


</section>
</section>
</section>


<div id="quarto-appendix" class="default"><section id="footnotes" class="footnotes footnotes-end-of-document"><h2 class="anchored quarto-appendix-heading">Footnotes</h2>

<ol>
<li id="fn1"><p>Debatable — “normal” is the old name for “standard” in France.↩︎</p></li>
<li id="fn2"><p>Bard, Allen J.; Larry R. Faulkner (2000). <em>Electrochemical Methods: Fundamentals and Applications</em> (2nd ed.). Wiley. p.&nbsp;336.↩︎</p></li>
<li id="fn3"><p>In theory, the Koutecký-Levich analysis only works for redox reactions with a standard kinetic constant <img src="https://latex.codecogs.com/png.latex?k%C2%B0"> smaller or equal to several <img src="https://latex.codecogs.com/png.latex?10%5E2"> cm s<img src="https://latex.codecogs.com/png.latex?%5E%7B-1%7D">, that is to say, for sluggish reactions. In practice, most reactions are neither sluggish nor rapid.↩︎</p></li>
<li id="fn4"><p>For a review see: Elgrishi, N. et al.&nbsp;<em>J. Chem. Educ.</em> 2018, 95, 197–206.↩︎</p></li>
</ol>
</section></div> ]]></description>
  <category>electrochemistry</category>
  <category>notes</category>
  <guid>https://nightowl97.github.io/personal_blog/posts/electrochemistry-basics/</guid>
  <pubDate>Fri, 15 Oct 2021 22:00:00 GMT</pubDate>
</item>
<item>
  <title>Local Gauge Invariance</title>
  <link>https://nightowl97.github.io/personal_blog/posts/local-gauge-inv/local-gauge-invariance.html</link>
  <description><![CDATA[ 





<p>Our current understanding of the fundamental nature of reality is deeply tied with the concept of symmetry. One of my favourite mathematicians is Emmy Noether. Her theorem, which states that to every symmetry that exists in any laws of physics is associated to a conserved quantity, is one of the most beautiful and fundamental statements in all of physics. In fact, there is an entire field in mathematics that studies the sets of transformations (or groups) that act on a certain space X while still leaving it invariant, it’s called Group Theory and it is essential to Standard Model of Particle physics which is based on what is called Gauge theories.</p>
<blockquote class="blockquote">
<p>In physics, a gauge theory is a type of field theory in which the Lagrangian does not change (is invariant) under local transformations from certain Lie groups.<br>
– Wikipedia</p>
</blockquote>
<p>Given a certain Lagrangian density (for a free fermion field <img src="https://latex.codecogs.com/png.latex?%5Cpsi"> for example), one could attempt to find the sets of different transformations in which it is invariant. In this post we will do just that and see that it leads to surprising results!</p>
<section id="global-symmetry" class="level1">
<h1>Global Symmetry</h1>
<p>Let’s start simple. The Lagrangian density of a Dirac Bi-spinor field is: <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%7D_%7BDirac%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20%5Cpsi"></p>
<p>Applying the Euler-Lagrange equations would give us the famous Dirac Equation, but we’re not interested in that right now. We want to see if there are any transformations which leave this Lagrangian invariant. To start off, we’ll try one of the simplest possible transformations, a global phase-shift. This basically amounts to changing the phase of the field by the same amount everywhere and is equivalent to rotating around the unit circle in complex space: <img src="https://latex.codecogs.com/png.latex?%5Cpsi%20%5Crightarrow%20%5Cpsi%E2%80%B2%20=%20e%5E%7Bi%20q%20%5Cphi%7D%5Cpsi"></p>
<p>A minor detail that we will need is that the Dirac adjoint is defined as <img src="https://latex.codecogs.com/png.latex?%5Cbar%7B%5Cpsi%7D=%20i%5Cpsi%5E%5Cdagger%20%5Cgamma%5E0"> and it transforms like so: <img src="https://latex.codecogs.com/png.latex?%5Cbar%7B%5Cpsi%7D%20%5Crightarrow%20%5Cbar%7B%5Cpsi'%7D%20=%20%5Cbar%7B%5Cpsi%7De%5E%7B-iq%5Cphi%7D"></p>
<p>Plugging this new transformed field in to the Lagrangian: <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi'%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cpsi'%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi'%7D%20%5Cpsi'"> <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7De%5E%7B-iq%5Cphi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20e%5E%7Biq%5Cphi%7D%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7De%5E%7B-iq%5Cphi%7D%20e%5E%7Biq%5Cphi%7D%5Cpsi"></p>
<p>Now <img src="https://latex.codecogs.com/png.latex?e%5E%7Biq%5Cphi%7D"> and <img src="https://latex.codecogs.com/png.latex?e%5E%7B-iq%5Cphi%7D"> are just complex phases and have no spacetime dependance so we can just move them next to eachother, they cancel out and our Lagrangian is invariant: <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20%5Cpsi%20=%20%5Cmathcal%7BL%7D"></p>
</section>
<section id="local-symmetry" class="level1">
<h1>Local Symmetry</h1>
<p>It turns out our Lagrangian is already symmetric under this global transformation, but it doesn’t take us very far. Gauge theories for some reason arise when we try to enforce symmetry under Local Transformations. Let’s what that looks like:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cpsi%20%5Crightarrow%20%5Cpsi%E2%80%B2%20=%20e%5E%7Bi%20q%20%5Cphi(x%5E%5Cmu)%7D%5Cpsi%20%5Cquad%20%5Cquad%20%5Cbar%7B%5Cpsi%7D%20%5Crightarrow%20%5Cbar%7B%5Cpsi'%7D%20=%20%5Cbar%7B%5Cpsi%7De%5E%7B-iq%5Cphi(x%5E%5Cmu)%7D"></p>
<p>In a way this is a “stronger” constraint because we could just get back the global transformation by using a constant ϕ(xμ). But now our transformation can be local because it depends on where we are in spacetime. Depending on the function ϕ(xμ), we could really mess up the ψ field. I can already hear you mumbling “that’s all well and good but what the blazes is that gonna achieve?”, but let’s try it anyway:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20e%5E%7B-iq%5Cphi(x%5E%5Cmu)%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20e%5E%7Biq%5Cphi(x%5E%5Cmu)%7D%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20e%5E%7B-iq%5Cphi(x%5E%5Cmu)%7D%20e%5E%7Biq%5Cphi(x%5E%5Cmu)%7D%5Cpsi"> <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20e%5E%7B-iq%5Cphi(x%5E%5Cmu)%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20e%5E%7Biq%5Cphi(x%5E%5Cmu)%7D%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20%5Cpsi"> <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20e%5E%7B-iq%5Cphi(x%5E%5Cmu)%7D%20%5Cgamma%5E%5Cmu%20e%5E%7Biq%5Cphi(x%5E%5Cmu)%7D%20%5Cpartial_%5Cmu%20%5Cpsi%20+%20i%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20e%5E%7B-iq%5Cphi(x%5E%5Cmu)%7D%20%5Cgamma%5E%5Cmu%20e%5E%7Biq%5Cphi(x%5E%5Cmu)%7D%20%5Cpartial_%5Cmu%20%5Cphi(x%5E%5Cmu)%20%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20%5Cpsi"></p>
<p>Not so good but let’s go further.. <img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cpsi%20+%20i%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cphi(x%5E%5Cmu)%20%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20%5Cpsi"></p>
<p>So the mass term is invariant just like before, but now since the phase-shift depends on position, we cannot simply move it past the derivative <img src="https://latex.codecogs.com/png.latex?%5Cpartial_%5Cmu"> like last time, we get that pesky middle term with <img src="https://latex.codecogs.com/png.latex?%5Cpartial_%5Cmu%20%5Cphi(x%5E%5Cmu)">. Seems like a bust, unless..</p>
<p>Let’s do something crazy, we clearly have an issue with <img src="https://latex.codecogs.com/png.latex?%5Cpartial_%5Cmu"> so let’s mess it up in just the right way. Introducing <img src="https://latex.codecogs.com/png.latex?D_%5Cmu%20=%20%5Cpartial_%5Cmu%20+%20i%20q%20A_%5Cmu"> where <img src="https://latex.codecogs.com/png.latex?A_%5Cmu%20%5Crightarrow%20A%E2%80%B2_%5Cmu">. The Lagrangian becomes:</p>
<p><img src="https://latex.codecogs.com/png.latex?%20%5Cmathcal%7BL%7D%20=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cpsi%20+%20i%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20A_%5Cmu%20%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20%5Cpsi"></p>
<p>We can clearly make this invariant if: <img src="https://latex.codecogs.com/png.latex?A_%5Cmu%20%5Crightarrow%20A%E2%80%B2_%5Cmu%20=%20A_%5Cmu%20-%20%5Cpartial_%5Cmu%20%5Cphi(x%5E%5Cmu)"></p>
<p>Using the same process as before:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cpsi%20+%20i%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20A_%5Cmu%20%5Cpsi%20+%0Ai%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cphi(x%5E%5Cmu)%20%5Cpsi%20-%20i%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cphi(x%5E%5Cmu)%20%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20%5Cpsi"></p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL%5E%E2%80%B2%7D=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cpsi%20+%20i%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20A_%5Cmu%20%5Cpsi%20+%20m%20c%5E2%20%5Cbar%7B%5Cpsi%7D%20%5Cpsi%20=%20%5Cmathcal%7BL%7D"></p>
<p>So we managed to make the Lagrangian invariant but look! The new field is interacting with our Dirac field in the term <img src="https://latex.codecogs.com/png.latex?i%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20A_%5Cmu%20%5Cpsi">, and there’s a weird coupling constant <img src="https://latex.codecogs.com/png.latex?q"> dictating the strength of the interaction. What does this mean? We do know of a field that behaves in this specific way.</p>
<p>Behold! The Electromagnetic Field! In fact, <img src="https://latex.codecogs.com/png.latex?A_%5Cmu"> is the E&amp;M four-potential <img src="https://latex.codecogs.com/png.latex?A_%5Cmu%20=%20(%5Cphi%20,%20%5Ctextbf%7BA%7D)">. The weird constant <img src="https://latex.codecogs.com/png.latex?q"> is nothing but electric charge! It seems obvious now that it should be the coupling strength of the E&amp;M field with the Dirac field. We insisted on a symmetry we had no right to, and rediscovered electromagnetism in its quantum nature. Isn’t that mindblowing?</p>
</section>
<section id="tying-up-some-loose-ends" class="level1">
<h1>Tying up some loose ends</h1>
<p>Since Aμ is now a field itself, it needs to play by the rules of Special Relativity, a.k.a obey the Klein-Gordon equation which arises from the Proca Lagrangian:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL_%7BProca%7D%7D%20=%20%5Cfrac%7B1%7D%7B16%5Cpi%7D%20F%5E%7B%5Cmu%20%5Cnu%7D%20F_%7B%5Cmu%20%5Cnu%7D%20+%20%5Cfrac%7B1%7D%7B8%5Cpi%7D%20%5Cleft(%5Cfrac%7Bmc%5E2%7D%7B%5Chbar%7D%5Cright)%20A%5E%5Cmu%20A_%5Cmu"></p>
<p>The first term is already invariant, but we need to eliminate the second term to make the whole Lagrangian invariant by setting <img src="https://latex.codecogs.com/png.latex?m=0">. This is to be expected because excitations in the E&amp;M field (a.k.a photons) are massless. Hence, our new full-blown Lagrangian of Quantum Electrodynamics is:</p>
<p><img src="https://latex.codecogs.com/png.latex?%5Cmathcal%7BL_%7BQED%7D%7D%20=%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20%5Cpartial_%5Cmu%20%5Cpsi%20+%20i%20q%20%5Chbar%20c%20%5Cbar%7B%5Cpsi%7D%20%5Cgamma%5E%5Cmu%20A_%5Cmu%20%5Cpsi%20+%20%5Cfrac%7B1%7D%7B16%5Cpi%7D%20F%5E%7B%5Cmu%20%5Cnu%7D%20F_%7B%5Cmu%20%5Cnu%7D"></p>
<p>We can construct the well known antisymmetric Electromagnetic Field Tensor as follows: <img src="https://latex.codecogs.com/png.latex?F_%7B%5Cmu%20%5Cnu%7D%20=%20%5Cpartial_%5Cmu%20A_%5Cnu%20-%20%5Cpartial_%5Cnu%20A_%5Cmu"></p>
<p>When we imposed <img src="https://latex.codecogs.com/png.latex?A_%5Cmu%20%5Crightarrow%20A%E2%80%B2_%5Cmu%20=%20A_%5Cmu%20-%20%5Cpartial_%5Cmu%20%5Cphi(x%5E%5Cmu)">, that is nothing but the Lorenz Gauge condition from classical electrodynamics.</p>
<p>Just for the sake of closure, and because you can never go wrong with them, Maxwell’s equations can be pulled from the QED Lagrangian by applying the Euler-Lagrange equations for Aμ where the four-current is defined as <img src="https://latex.codecogs.com/png.latex?J%5E%5Cmu%20=%20(c%5Crho,%20%5Cmathbf%7BJ%7D)">: <img src="https://latex.codecogs.com/png.latex?%5Cpartial_%5Cmu%20F%5E%7B%5Calpha%20%5Cbeta%7D%20=%20%5Cmu_0%20J%5E%5Cbeta"></p>
</section>
<section id="epilogue" class="level1">
<h1>Epilogue</h1>
<p>Let’s recap, we started with a simple free Lagrangian density which was already symmetric under global phase shifts. We tried to impose local gauge symmetry which, a priori, we have no right to expect should work. It turns out, this local gauge symmetry imposes the conservation of a certain quantity, and that is electric charge.</p>
<p>We tried one trick and we got the Electromagnetic field, Electric charge, Quantum Electrodynamics and the kitchen sink!</p>


</section>

 ]]></description>
  <category>physics</category>
  <category>gauge theory</category>
  <category>electromagnetism</category>
  <category>quantum electrodynamics</category>
  <guid>https://nightowl97.github.io/personal_blog/posts/local-gauge-inv/local-gauge-invariance.html</guid>
  <pubDate>Thu, 12 Dec 2019 09:20:00 GMT</pubDate>
</item>
<item>
  <title>A first look into Dynamic Programming</title>
  <link>https://nightowl97.github.io/personal_blog/posts/dynamic-prog/</link>
  <description><![CDATA[ 





<p>Something I didn’t know existed until recently is Dynamic Programming. If, like me, you knew computer scientists use a lot of different techniques to optimize their algorithms, but were intimidated by the Wikipedia article, then this article is for you. Dynamic Programming is pretty straightforward, even if it sounds imposing and scary. I’ve looked around trying to find why it’s called what it is, and the reasons are mostly because it sounds impressive. We’ll only talk about one of its simplest applications for now, just to dip our toes in the water. A simple recursive algorithm:</p>
<p>If you ever took a programming/CS course, then at some point you must have learned about recursion. One of the common first examples you learn about is this:</p>
<div class="code-copy-outer-scaffold"><div class="sourceCode" id="cb1" style="background: #f1f3f5;"><pre class="sourceCode python code-with-copy"><code class="sourceCode python"><span id="cb1-1">    <span class="kw" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">def</span> fib(n):</span>
<span id="cb1-2">        <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">if</span> n <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">&lt;=</span> <span class="dv" style="color: #AD0000;
background-color: null;
font-style: inherit;">1</span>:</span>
<span id="cb1-3">            <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">return</span> n</span>
<span id="cb1-4">        <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">else</span>:</span>
<span id="cb1-5">            <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">return</span> fib(n <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">-</span> <span class="dv" style="color: #AD0000;
background-color: null;
font-style: inherit;">1</span>) <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">+</span> fib(n <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">-</span> <span class="dv" style="color: #AD0000;
background-color: null;
font-style: inherit;">2</span>)</span></code></pre></div></div>
<p>This function clearly gives you the <img src="https://latex.codecogs.com/png.latex?n">-th number in the famous Fibonacci sequence. The first time you see and understand this, it seems brilliant, elegant and pretty much perfect. But with a deeper look, this algorithm is actually going to turn out to be pretty bad. I’m not going to talk about whether Recursion is inherently good or bad. If that’s what you’re interested in, I’ll just refer you to this Stack Overflow answer. First, try and run this function for a big enough n, say 100 for example. It’s going to take a very long time. This is the timing fib(40) in a python 2 interpreter:</p>
<pre><code>    fib(40): 102334155
    --- 80.5310001373 seconds ---</code></pre>
<p>The time it takes doesn’t increase linearly with n, this algorithm takes exponential time. I’m sure you can understand if I don’t have the patience to wait for it to calculate a higher number. Here’s why it’s slow:</p>
<p>As an example, let’s take a look at the recursion tree when we compute fib(6):</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/dynamic-prog/tree.jpg" class="img-fluid figure-img"></p>
<figcaption>fib6</figcaption>
</figure>
</div>
<p>Each node represents a function call, and as you can see, we call: <code>fib(4)</code> twice, <code>fib(3)</code> 3 times and <code>fib(2)</code> 5 times.</p>
<p>In fact every call on the right side of the tree has already been computed in the left side, and yet our function will recompute each call as if it’s never seen it before. Imagine if we had a big number, we’d have to call the function on the same big numbers multiple times, calls on small ns will happen at least a few hundred thousand times. That means a lot of clock cycles wasted on redundant and completely unnecessary calculations. If <code>T(n)</code> is the time it takes to calculate the <code>fib(n)</code> then: <img src="https://latex.codecogs.com/png.latex?T(n)=T(n%E2%88%921)+T(n%E2%88%922)=T(n%E2%88%922)+T(n%E2%88%923)+T(n%E2%88%923)+T(n%E2%88%924)%20..."></p>
<p>And so forth, each step calling T twice, which means: <img src="https://latex.codecogs.com/png.latex?T(n)=2%E2%88%972%E2%88%972%E2%88%97...%E2%88%972%20=%202n"></p>
<p>This is a time complexity <img src="https://latex.codecogs.com/png.latex?O(2%5En)"> hence an exponential time algorithm. If you can help it, you should always try to avoid exponential time, because it is very costly as you can see from the diagram:</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/dynamic-prog/complexity.png" class="img-fluid figure-img"></p>
<figcaption>comp</figcaption>
</figure>
</div>
<p>One last thing. Every time a recursive call happens, it takes a bit of memory from the call stack. The amount that is taken is called the stackframe, and is only freed when the function returns. In a low level language, deep recursion will eat up all the memory and cause a stack overflow. High level languages usually have some sort of guards against this. In python for example, you’ll cause a maximum recursion depth error. Sure you can get around these guards, but they are there for a reason, and you’ll rarely be justified in circumventing them. The Dynamic Programming approach:</p>
<p>The second to last ‘subfield’ in the previously mentioned article is Dynamic Programming. It says:</p>
<blockquote class="blockquote">
<p>Dynamic programming studies the case in which the optimization strategy is based on splitting the problem into smaller subproblems. The equation that describes the relationship between these subproblems is called the Bellman equation.</p>
</blockquote>
<p>The splitting-a-problem-into-subproblems part seems simple enough in principle, but how is that actually done? The problem with the first algorithm is the repetition. Each recursive call is costly, so we should only have to calculate each <img src="https://latex.codecogs.com/png.latex?n">-th number once. First thing that comes to mind is to just save each <code>fib(n)</code> we compute, and cut off the recursion if we ever call the function on that same <img src="https://latex.codecogs.com/png.latex?n"> later. Seems simple right? That’s exactly the way we’re going to do it. Whenever the fib function is called, we will store its result in memory. Later when it’s called with the same argument again, instead of recursing for a second time (again and again down to the base case), we just need to pull the result that we already stored in memory. This is going to make for a much better algorithm, and that’s because reading from memory takes constant time, not exponential time (essentially free). Here’s a possible implementation:</p>
<div class="code-copy-outer-scaffold"><div class="sourceCode" id="cb3" style="background: #f1f3f5;"><pre class="sourceCode python code-with-copy"><code class="sourceCode python"><span id="cb3-1">    mem <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">=</span> {}</span>
<span id="cb3-2">    <span class="kw" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">def</span> fib(n):</span>
<span id="cb3-3">        <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">if</span> n <span class="kw" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">in</span> mem:        <span class="co" style="color: #5E5E5E;
background-color: null;
font-style: inherit;"># If we've already computed it</span></span>
<span id="cb3-4">            <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">return</span> mem[n]   <span class="co" style="color: #5E5E5E;
background-color: null;
font-style: inherit;"># then just return that</span></span>
<span id="cb3-5">        <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">if</span> n <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">&lt;=</span> <span class="dv" style="color: #AD0000;
background-color: null;
font-style: inherit;">1</span>:                          <span class="co" style="color: #5E5E5E;
background-color: null;
font-style: inherit;"># These lines</span></span>
<span id="cb3-6">            <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">return</span> n                        <span class="co" style="color: #5E5E5E;
background-color: null;
font-style: inherit;"># are still</span></span>
<span id="cb3-7">        <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">else</span>:                               <span class="co" style="color: #5E5E5E;
background-color: null;
font-style: inherit;"># pretty much</span></span>
<span id="cb3-8">            res <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">=</span> fib(n <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">-</span> <span class="dv" style="color: #AD0000;
background-color: null;
font-style: inherit;">1</span>) <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">+</span> fib(n <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">-</span> <span class="dv" style="color: #AD0000;
background-color: null;
font-style: inherit;">2</span>)   <span class="co" style="color: #5E5E5E;
background-color: null;
font-style: inherit;"># the same</span></span>
<span id="cb3-9">            mem[n] <span class="op" style="color: #5E5E5E;
background-color: null;
font-style: inherit;">=</span> res            <span class="co" style="color: #5E5E5E;
background-color: null;
font-style: inherit;"># Store this result for eventual reuse</span></span>
<span id="cb3-10">            <span class="cf" style="color: #003B4F;
background-color: null;
font-weight: bold;
font-style: inherit;">return</span> res              <span class="co" style="color: #5E5E5E;
background-color: null;
font-style: inherit;"># And now you can return the result.</span></span></code></pre></div></div>
<p>In dynamic programming, we solve all the subproblems and use their results to solve our main problem. The “subproblems” in our case are the all the <code>fib(k)</code> s where <img src="https://latex.codecogs.com/png.latex?k%3Cn"> and we stored the result of each subproblem in memory for eventual reuse. It’s also pretty clear that <code>T(n)=Time for each subproblem ∗ Number of subproblems</code>.</p>
<p>If you try and run this, you’re going to notice a gigantic jump in performance because this is now a linear time algorithm O(n). So much so that even I had the patience to wait for it to calculate the 500-th number:</p>
<pre><code>fib(500): 139423224561697880139724382870407283950070256587697307264108962948325571622863290691557658876222521294125
--- 0.00100016593933 seconds ---</code></pre>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/dynamic-prog/ndt.gif" class="img-fluid figure-img"></p>
<figcaption>ndt</figcaption>
</figure>
</div>
<p>That was a pretty big number and it did it in roughly 1 millisecond? Hey, that’s pretty good!</p>
<p>That’s pretty much the idea of dynamic programming: Recursion + Memory. Our algorithm worked its way down the tree starting from the top, but there’s also Bottom-up Dynamic Programming which, as you might expect, works its way from the bottom. It’s also pretty simple to implement, especially for something as easy as fibonacci, but that’s something I’ll let you do yourself.</p>
<section id="conclusion" class="level1">
<h1>Conclusion</h1>
<p>That was a pretty good improvement, but it’s possible to do even better. Our algorithm will still cause a maximum recursion depth error for a very big <img src="https://latex.codecogs.com/png.latex?n">, and it’s possible to make a logarithmic time <code>O(log n)</code> algorithm using the closed form for fibonacci numbers, also known as Binet’s formula: <img src="https://latex.codecogs.com/png.latex?fib(n)%20=%20Floor%5Cleft(%5Cfrac%7B%5Cphi%5En%7D%7B%5Csqrt%7B5%7D%20+%2012%7D%20%5Cright)"></p>
<p>where <img src="https://latex.codecogs.com/png.latex?%5Cphi"> is the gloden ratio.</p>
<p>You might think this is constant time but due to the powers in the formula, we need to use the <code>math.pow()</code> function, which is not O(1) like the usual addition and multiplication operations. It’s also worth noting that this method is subject to floating point errors during computations with big numbers, so your results might be slightly off if you decide to try it for yourself.</p>
<p>That’s about it for now, I hope you learned something with me today.</p>


</section>

 ]]></description>
  <guid>https://nightowl97.github.io/personal_blog/posts/dynamic-prog/</guid>
  <pubDate>Thu, 19 Jan 2017 14:20:00 GMT</pubDate>
</item>
<item>
  <title>What would happen if aliens attack</title>
  <link>https://nightowl97.github.io/personal_blog/posts/alien-attack/</link>
  <description><![CDATA[ 





<p>What’s a kugelblitz, you say?</p>
<p>Let’s start with the wikipedia definition:</p>
<blockquote class="blockquote">
<p>In theoretical physics, a kugelblitz (German: “ball lightning”) is a concentration of light so intense that it forms an event horizon and becomes self-trapped.</p>
</blockquote>
<p>That’s really the gist of it. In Newtonian gravity, mass is the source of gravitational field. In GR however, it would be the stress-energy tensor. Therefore, theoretically, it makes sense that it is possible to make a blackhole purely out of light. Granted, you would need a lot, and I mean a lot of light for that to be possible. It’s clear that only a civilization that has mastered the laws of the universe would be able to consider building one.</p>
<section id="penrose-diagrams" class="level1">
<h1>Penrose Diagrams</h1>
<p>A Penrose diagram is just a fancy Minkowski diagram. It’s got worldlines, future light cones, past light cones, all the cavalry. It’s just that Minkowski diagrams are hard to follow and understand when you introduce exciting things that warp space-time. The paths of light bend and the light cones’ shapes change and it becomes all wibbly-wobbly . This is not the case with the Penrose diagram. Due to something called conformal transformation, (I’ll have to learn more about this myself later, but not knowing what that is won’t stop us from using the diagram.) light paths stay at 45 degree angles no matter the space-time geometry. This is very handy with stuff like event horizons and black holes.</p>
</section>
<section id="setting-up-the-situation" class="level1">
<h1>Setting up the situation</h1>
<p>Imagine a hostile alien civilisation that is indeed capable of building and weaponizing a Kugelblitz. They, for some reason, are pissed with us and they have a fleet of spaceships placed at equidistant (equidistant.. so grown up!) intervals around the solar system. These spaceships would collectively launch beams of light that would form a shell that converges on planet Earth. The energy from this pulse of light is enough to make a black hole, but it needs to move into a small enough region in space for the event horizon to actually form and the light to trap itself -and us with it-. Also, let’s assume there is no obi wan to help us in this situation.</p>
</section>
<section id="earth-is-doomed" class="level1">
<h1>Earth is doomed</h1>
<p>I will be (badly) drawing Penrose diagrams in order to describe the situation. Because I can only draw on 2 dimensional paper, I am going to use one dimension for time, and one for space, nothing unusual so far. the pulse will be represented as two converging beams coming from the left and the right, essentially trapping Earth in its one spacial dimension universe. Also, two enemy spaceships on each side of Earth would suffice to represent the sphere of spaceships that would be used in actual 3D space. If you think this is cheating, try to project a sphere (3 dimensions) onto a line (1 dimension). If you do the projection down the middle (not the special case of a tangent), you’ll get two intersection points, hence two spaceships. Here’s the what the situation would look like:</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/alien-attack/kugel1.jpg" class="img-fluid figure-img"></p>
<figcaption>kugel1</figcaption>
</figure>
</div>
<p>Before the pulse of light enters the solar system, things would be pretty normal on planet Earth. Humanity will be completely unaware of its impending doom. The beams of light are moving at c, obviously. Which is why they are at a 45 degree angles in the diagram.</p>
<p>When the beams have moved into a small enough region, the event horizon will form. Cutting Earth off from the rest of the universe. Believe it or not, Earth would still not notice anything for a short time after the event horizon forms. This is because the supposed force carrier of gravity would also move at c, which is the same speed as the converging beams. Here’s the Penrose diagram when the event horizon forms.</p>
<div class="quarto-figure quarto-figure-center">
<figure class="figure">
<p><img src="https://nightowl97.github.io/personal_blog/posts/alien-attack/kugel2.jpg" class="img-fluid figure-img"></p>
<figcaption>kugel2</figcaption>
</figure>
</div>
<p>Since the diagram would be symmetrical, and hand-drawing the lines of equal distances and times is difficult, I simply focused on the right side of the diagram. Drawing the flipped left side of the diagram is trivial and is left as an exercise for the reader. (I’m sorry but I’ve always wanted to be evil and write this somewhere)</p>
<p>The future light cone of Earth is already completely cutoff from the rest of the universe, the space-time geometry below the event horizon has changed (this is represented by space and time switching places in the diagram) and will only allow radially inward trajectories. This would mean that both Earth and the pulses will still inevitably fall towards the singularity. It’s the end of humanity, It was fun while it lasted.</p>
<p>This is what happens when you introduce a black hole into a Penrose diagram. Intriguingly, the lines of constant space and time switch places, and space is “falling” towards the singularity at angles higher than 45 degrees. The best way I’ve heard it put is: Trying to avoid the singularity at this point, would be like trying to avoid next Monday. Yes, Mondays suck, but there’s no way around them.</p>
<p>Also note that I extended the line of the event horizon to include a certain time before the true event horizon has formed. This is because there is a moment before the formation of true event horizon when there is not enough time for the planet to get out of the way even if it could move at the speed of light and miraculously ‘phase’ through the light pulses. The Deus Ex Machina</p>
<p>Now imagine that all these events were happening in a movie, and the writer (like all good writers do) decided to introduce a Deus Ex Machina to save humanity.</p>
<p>This could be an infinitely strong Dyson sphere, which would appear from a higher dimension and completely cover the Earth-Moon system.</p>
<p>The Dyson sphere, even if infinitely strong, is still facing a tall task in order to truly protect the Earth.</p>
<blockquote class="blockquote">
<p>In order for it to have a chance, it would need to occupy a region of space that is bigger than the region where the light pulse first forms the event horizon. If the sphere itself is already below the horizon: Inevitable Death (More like a mathematical undefined form because of the sphere’s infinite strength but I wouldn’t bet my life on what that form means). The Dyson sphere needs to be light enough so that when the pulse hits it, the mass-energy increase of the sphere from the pulse is not enough to make the Schwarzschild radius too big and have the sphere fall below the resulting event horizon, if that happens : Inevitable death. - It actually needs to be so light that the mass-energy increase wouldn’t give it enough gravitational pull to throw the rest of the solar system into chaos. Is it really survival if the solar system goes haywire? Who knows what might hit Earth when it becomes a shooting gallery?</p>
</blockquote>
<p>If, the Dyson sphere satisfies all those, Earth might just make it. Hell, if we got a dyson sphere, we could use the energy from their own attack against them. And humanity lives happily ever after.</p>
</section>
<section id="epilogue" class="level1">
<h1>Epilogue</h1>
<p>This ‘scenario’ is heavily based on a challenge question on the (Excellent) youtube channel: <a href="https://www.youtube.com/c/pbsspacetime">PBS SpaceTime</a>. In fact, I relied entirely on the answer I wrote and sent a few weeks before I started this blog. If you watch their challenge video, then you might have noticed that I did not even mention Newton’s shell theorem even if it was talked about in the channel. Maybe I’m wrong, but I don’t think Newton’s shell theorem is relevant here at all to the reason Earth doesn’t notice anything until the last moment. I’ve already talked about how the (admittedly theoretical) force carrier of gravity would also move at <img src="https://latex.codecogs.com/png.latex?c"> because it’s a local phenomenon so the change in the geometry of space time would move along with the pulse of light. Furthermore, LIGO detected gravitational waves directly for the first time just last year, and I’m pretty sure they propagate at <img src="https://latex.codecogs.com/png.latex?c">. I believe that makes my claim stronger, but please notify me if you have an alternative explanation, or a clarification.</p>


</section>

 ]]></description>
  <category>physics</category>
  <category>sci-fi</category>
  <guid>https://nightowl97.github.io/personal_blog/posts/alien-attack/</guid>
  <pubDate>Wed, 18 Jan 2017 23:00:00 GMT</pubDate>
</item>
</channel>
</rss>
