algebras have closure under finite disjoint countable unions

Evaluation Error: SyntaxError: Unexpected token '>'

at DataviewInlineApi.eval (plugin:dataview:19027:21)
at evalInContext (plugin:dataview:19028:7)
at asyncEvalInContext (plugin:dataview:19038:32)
at DataviewJSRenderer.render (plugin:dataview:19064:19)
at DataviewJSRenderer.onload (plugin:dataview:18606:14)
at DataviewJSRenderer.load (app://obsidian.md/app.js:1:1182416)
at DataviewApi.executeJs (plugin:dataview:19607:18)
at DataviewCompiler.eval (plugin:digitalgarden:10763:23)
at Generator.next (<anonymous>)
at eval (plugin:digitalgarden:90:61)

Lemma

Let $A$ be an algebra and let ${E_{n}}$ be a countable collection of elements in $A$ . Then there exists ${F_{n}}$ a disjoint countable collection of elements in $A$ such that

⋃_{n} E_{n} = ⋃_{n} F_{n}

ie we can get closure under countable unions when we have closure under countable disjoint unions

Proof

Let $G_{n} = ⋃_{k = 1}^{n} E_{k}$ so that $G_{1} \subset G_{2} \subset G_{3} \subset \dots$ and $⋃_{n} G_{n} = ⋃_{n} E_{n}$ . Now, let $F_{1} = G_{1}$ and for all $k$ define

F_{k + 1} = G_{k + 1} ∖ G_{k}

Then we also have that the disjoint $⋃_{n} F_{n} = ⋃_{n} G_{n} = ⋃_{n} E_{n}$ .

\begin{matrix} ◼ \end{matrix}

References

See Also

Mentions

const modules = await cJS()

const COLUMNS = [  
	{ id: "Name", value: page => page.$link },  
	{ id: "Last Modified", value: page => modules.dateTime.getLastMod(page) },
];  
  
return function View() {  
	const current = dc.useCurrentFile();
// Selecting `#game` pages, for example. 
	let queryString = `@page and linksto(${current.$link})`;
	let pages = dc.useQuery(queryString);
	
	// check types
	pages = pages.filter( (p) => !modules.typeCheck.checkAll(p, current) ).sort()
	
	
	return <dc.Table columns={COLUMNS} rows={pages} paging={20}/>;  
}

const { dateTime } = await cJS() return function View() { const file = dc.useCurrentFile(); return <p class="dv-modified">Created {dateTime.getCreated(file)} ֍ Last Modified {dateTime.getLastMod(file)}</p> }