Math and stuff
-
Interpretation of the definition of a DSet
Quorum intersection despite $B$ This protects against nodes in $B$ making contradictory assertions that enable other nodes to externalize inconsistent values for the same slot. If $\ev{V, Q}^B$ enjoys quorum intersection but does not enjoy quorum availability despite $B$, then $\ev{V, Q}$ will have a problem when nodes in $B$...
-
DSet examples
We will prove some of the claims made on P.9-10 of the Stellar white paper. Proposition The smallest DSet containing $v_5, v_6$ in Figure 3 below is $\{ v_5, v_6, v_9, v_{10} \}$. Proof First, we will show that $B = \{ v_5, v_6 \}$ is not a DSet. By...
-
List of problems solved (Spivak)
Chapter 2: Differentiation 2 problems Problem 13 Problem 14 Chapter 3: Integration 5 problems Problem 8 Problem 17 Problem 18 Problem 25 Problem 37 Chapter 4: Integration on Chains 25 problems Problem 1 Problem 2 Problem 3 Problem 4 Problem 5 Problem 6 Problem 7 Problem 8 Problem 9 Problem...
-
List of problems solved(Complex analysis)
A First Course in Complex Analysis Chapter 1: Complex Numbers 1 problem Problem 33 Chapter 2: Differentiation 1 problem Problem 15 Chapter 3: Examples of Functions 16 problems Problem 1 Problem 3 Problem 4 Problem 5 Problem 7 Problem 8 Problem 10 Problem 14 Problem 16 Problem 18 Problem 19...
-
Irreducible components(WIP)
Proposition Let $X$ be a topological space. If $Y$ is an irreducible subspace of $X$, then the closure $\overline{Y}$ of $Y$ in $X$ is irreducible. Every irreducible subspace of $X$ is contained in a maximal irreducible subspace. The maximal irreducible subspaces of $X$ are closed and cover $X$. What are...