Leigh.Samphier/Sandbox
Common
RED
$a = \begin{cases} 1 & : i = j \\ 0 & : i \ne j \end{cases}$
$p$-adic Numbers
- Definitions related to P-adic Number Theory can be found here.
- Results about P-adic Number Theory can be found here.
Let $\struct {R, \norm{\,\cdot\,}}$ be a normed division ring with zero $0_R$ and unity $1_R$.
Let $\struct {R, \norm{\,\cdot\,}}$ be a non-Archimedean normed division ring with zero $0_R$ and unity $1_R$.
Let $d$ be the metric induced by the norm $\norm{\,\cdot\,}$.
Let $\tau$ be the topology induced by the norm $\norm{\,\cdot\,}$.
Let $\norm {\,\cdot\,}_p$ be the $p$-adic norm on the rationals $\Q$ for some prime $p$.
Let $p$ be a prime number.
Let $\struct {\Q_p, \norm {\,\cdot\,}_p}$ be the $p$-adic numbers.
Let $\struct {\Q_p, \norm {\,\cdot\,}_p}$ be the $p$-adic numbers for some prime $p$.
Let $\Z_p$ be the $p$-adic integers for some prime $p$.
FIX
Valuation Ideal is Maximal Ideal of Induced Valuation Ring
Continuing Svetlana Katok Book
- 2007: Svetlana Katok: p-adic Analysis Compared with Real: $\S 1.4$ The field of $p$-adic numbers $\Q_p$
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence/Proof 1
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence/Proof 2
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence/Lemma 1
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence/Lemma 2
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence/Lemma 3
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence/Lemma 4
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence/Lemma 5
Leigh.Samphier/Sandbox/Sequence of P-adic Integers has Convergent Subsequence/Lemma 6
Leigh.Samphier/Sandbox/P-adic Unit has Non-Zero First P-adic Digit
Leigh.Samphier/Sandbox/Canonical P-adic Expansion of Rational is Eventually Periodic to the Left
Leigh.Samphier/Sandbox/Characterization of Rational P-adic Integer
Continuing Fernando Q. Gouvea Book
- 1997: Fernando Q. Gouvea: p-adic Numbers: An Introduction: $\S 3.3$ Exploring $\Q_p$, Lemma $3.3.8$
- Leigh.Samphier/Sandbox/Characterization of Rational P-adic Unit Lemma 3.3.4 (i) link between Lemma 3.3.4 and Lemma 3.3.4 (ii)
Leigh.Samphier/Sandbox/Set of P-adic Units is Unit Sphere
Leigh.Samphier/Sandbox/Characterization of Rational P-adic Unit
Leigh.Samphier/Sandbox/P-adic Expansion of P-adic Unit
Create theorem P-adic Numbers are Uncountable
Matroids
- Definitions related to Matroid Theory can be found here.
- Results about Matroid Theory can be found here.
- 2018: Bernhard H. Korte and Jens Vygen: Combinatorial Optimization: Theory and Algorithms (6th ed.) Chapter $13$ Matroids $\S 13.1$ Independence Systems and Matroids, Definition $13.1$
Let $M = \struct {S, \mathscr I}$ be a matroid.
Let $\rho: \powerset S \to \Z$ denote the rank function of $M$.
Let $\sigma: \powerset S \to \powerset S$ denote the closure operator of $M$.
FIX
Definition:Closure Axioms (Matroid)
Properties of Independent Sets and Bases
- 1976: Dominic Welsh: Matroid Theory Chapter $1.$ $\S 5.$ Properties of independent sets and bases
NOT NEEDED!! Leigh.Samphier/Sandbox/Independent Superset of Dependent Set Minus Singleton Doesn't Contain Singleton
Leigh.Samphier/Sandbox/Matroid Base Substitution From Fundamental Circuit
Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)
Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)/Definition 1
Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)/Definition 2
Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)/Definition 3
Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)/Definition 4
Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)/Definition 5
Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)/Definition 6
Leigh.Samphier/Sandbox/Definition:Base Axiom (Matroid)/Definition 7
Leigh.Samphier/Sandbox/Matroid Base Axiom Implies Sets Have Same Cardinality
Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom
Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Necessary Condition
Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition
Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma
Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma/Lemma 1
Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma/Lemma 2
Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma/Lemma 3
Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom
Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Lemma
References:
- h94 (https://math.stackexchange.com/users/305691/h94), Given bases $A$, $B$ of a matroid there is a one-to-one mapping $\omega$ from $A$ to $B$ such that $(A - {a}) \cup {\omega(a)}$ is independent, URL (version: 2018-02-09): https://math.stackexchange.com/q/2642822
- 1966: David S. Asche: Minimal dependent sets (Journal of the Australian Mathematical Society Vol. 6, no. 3: pp. 259 – 262)
- 1969: Richard A. Brualdi: Comments on bases in dependence structures (Bulletin of the Australian Mathematical Society Vol. 1, no. 2: pp. 161 – 167)
Properties of the Rank Function
Leigh.Samphier/Sandbox/Independent Subset is Contained in Maximal Independent Subset/Corollary
Leigh.Samphier/Sandbox/Cardinality of Maximal Independent Subset Equals Rank of Set
Leigh.Samphier/Sandbox/Matroid Satisfies Rank Axioms
Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Rank Axioms
The Closure Operator
Closed Sets = Flats = Subspaces
Circuits
Leigh.Samphier/Sandbox/Proper Subset of Matroid Circuit is Independent
Leigh.Samphier/Sandbox/Rank of Matroid Circuit is One Less Than Cardinality
Leigh.Samphier/Sandbox/Bound for Cardinality of Matroid Circuit
Leigh.Samphier/Sandbox/Matroid with No Circuits Has Single Base
Leigh.Samphier/Sandbox/Definition:Circuit Axioms (Matroid)
Leigh.Samphier/Sandbox/Definition:Circuit Axioms (Matroid)/Definition 1
Leigh.Samphier/Sandbox/Definition:Circuit Axioms (Matroid)/Definition 2
Leigh.Samphier/Sandbox/Definition:Circuit Axioms (Matroid)/Definition 3
Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Circuit Axioms
Leigh.Samphier/Sandbox/Matroid Unique Circuit Property
Leigh.Samphier/Sandbox/Matroid Unique Circuit Property/Proof 1
Leigh.Samphier/Sandbox/Matroid Unique Circuit Property/Proof 2
The Cycle Matroid of a Graph
The Greedy Algorithm
- 1976: Dominic Welsh: Matroid Theory ... (previous) Chapter $19.$ $\S 1.$ The greedy algorithm
Maximization Problem (Greedy Algorithm)
Complete Greedy Algorithm yields Maximal Set
Complete Greedy Algorithm may not yield Maximum Weight
Complete Greedy Algorithm guarantees Maximum Weight iff Matroid
Stone Spaces
- Definitions related to Stone Spaces can be found here.
- Results about Stone Spaces can be found here.
- 1982: Peter T. Johnstone: Stone Spaces: Chapter $\text I$: Preliminaries, Definition $1.3$
Further Ideas
Special:WantedPages
Nagata-Smirnov Metrization Theorem, Stephen Willard - General Topology
Stone-Weierstrass Theorem, Stephen Willard - General Topology
Stone-Cech Compactification, Stephen Willard - General Topology
Definition:Stone Space Stone's Representation Theorem for Boolean Algebras