References$(function(){PrimeFaces.cw("TieredMenu","widget_formSmash_upper_j_idt145",{id:"formSmash:upper:j_idt145",widgetVar:"widget_formSmash_upper_j_idt145",autoDisplay:true,overlay:true,my:"left top",at:"left bottom",trigger:"formSmash:upper:referencesLink",triggerEvent:"click"});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_upper_j_idt146_j_idt148",{id:"formSmash:upper:j_idt146:j_idt148",widgetVar:"widget_formSmash_upper_j_idt146_j_idt148",target:"formSmash:upper:j_idt146:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});

From the Axiom of Choice to Tychono ’s TheoremPrimeFaces.cw("AccordionPanel","widget_formSmash_some",{id:"formSmash:some",widgetVar:"widget_formSmash_some",multiple:true}); PrimeFaces.cw("AccordionPanel","widget_formSmash_all",{id:"formSmash:all",widgetVar:"widget_formSmash_all",multiple:true});
function selectAll()
{
var panelSome = $(PrimeFaces.escapeClientId("formSmash:some"));
var panelAll = $(PrimeFaces.escapeClientId("formSmash:all"));
panelAll.toggle();
toggleList(panelSome.get(0).childNodes, panelAll);
toggleList(panelAll.get(0).childNodes, panelAll);
}
/*Toggling the list of authorPanel nodes according to the toggling of the closeable second panel */
function toggleList(childList, panel)
{
var panelWasOpen = (panel.get(0).style.display == 'none');
// console.log('panel was open ' + panelWasOpen);
for (var c = 0; c < childList.length; c++) {
if (childList[c].classList.contains('authorPanel')) {
clickNode(panelWasOpen, childList[c]);
}
}
}
/*nodes have styleClass ui-corner-top if they are expanded and ui-corner-all if they are collapsed */
function clickNode(collapse, child)
{
if (collapse && child.classList.contains('ui-corner-top')) {
// console.log('collapse');
child.click();
}
if (!collapse && child.classList.contains('ui-corner-all')) {
// console.log('expand');
child.click();
}
}
PrimeFaces.cw("AccordionPanel","widget_formSmash_responsibleOrgs",{id:"formSmash:responsibleOrgs",widgetVar:"widget_formSmash_responsibleOrgs",multiple:true}); 2015 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
##### Abstract [en]

##### Place, publisher, year, edition, pages

2015.
##### Keyword [en]

Urvalsaxiomet, Tychonoffs sats, Zorns lemma, topologiskt rum, kompakthet
##### National Category

Mathematics
##### Identifiers

URN: urn:nbn:se:oru:diva-44729OAI: oai:DiVA.org:oru-44729DiVA: diva2:814800
##### Subject / course

Mathematics
#####

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt384",{id:"formSmash:j_idt384",widgetVar:"widget_formSmash_j_idt384",multiple:true});
##### Supervisors

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt390",{id:"formSmash:j_idt390",widgetVar:"widget_formSmash_j_idt390",multiple:true});
##### Examiners

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt396",{id:"formSmash:j_idt396",widgetVar:"widget_formSmash_j_idt396",multiple:true});
Available from: 2015-06-03 Created: 2015-05-28 Last updated: 2015-06-03Bibliographically approved

A topological space X, is shown to be compact if and only if every net in X has a cluster point. If s is a net in a product Q 2A X, where each Xis a compact topological space, then, for every subset B of A, such that the restriction of s to B has a cluster point in the partial product Q 2B X, it is found that the restriction of s to B [ fg – extending B by one element 2 A n B – has a cluster point in its respective partial product Q 2B[fg X, as well. By invoking Zorn’s lemma, the whole of s can be shown to have a cluster point. It follows that the product of any family of compact topological spaces is compact with respect to the product topology. This is Tychono’s theorem. The aim of this text is to set forth a self contained presentation of this proof. Extra attention is given to highlight the deep dependency on the axiom of choice.

References$(function(){PrimeFaces.cw("TieredMenu","widget_formSmash_lower_j_idt1123",{id:"formSmash:lower:j_idt1123",widgetVar:"widget_formSmash_lower_j_idt1123",autoDisplay:true,overlay:true,my:"left top",at:"left bottom",trigger:"formSmash:lower:referencesLink",triggerEvent:"click"});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_lower_j_idt1124_j_idt1126",{id:"formSmash:lower:j_idt1124:j_idt1126",widgetVar:"widget_formSmash_lower_j_idt1124_j_idt1126",target:"formSmash:lower:j_idt1124:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});