# 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