You are on page 1of 6

TRABAJO DE TEORIA DE LAS

CATEGORIAS
Primer trabajo

Alain Pérez Castilla


𝑬𝒋𝒆𝒓𝒄𝒊𝒄𝒊𝒐 𝟏. 𝟏𝟏. 𝑃𝑟𝑢𝑒𝑏𝑒 𝑞𝑢𝑒 𝑙𝑜𝑠 𝑒𝑗𝑒𝑚𝑝𝑙𝑜𝑠 1.1.2 𝑎 1.1.5 𝑠𝑜𝑛 𝑡𝑜𝑑𝑜𝑠 𝑒𝑠𝑝𝑎𝑐𝑖𝑜𝑠 𝑡𝑜𝑝𝑜𝑙ó𝑔𝑖𝑐𝑜𝑠.

𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟏. 𝟏. 𝟐. 𝑆𝑒𝑎 𝑋 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑛𝑜 𝑣𝑎𝑐í𝑜. 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝜏 = ℘(𝑋)


𝑒𝑠 𝑢𝑛𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑒𝑛 𝑋 𝑙𝑙𝑎𝑚𝑎𝑑𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑑𝑖𝑠𝑐𝑟𝑒𝑡𝑎 𝑜 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑎𝑚𝑎𝑏𝑙𝑒.
𝐷𝑖𝑟𝑒𝑚𝑜𝑠 𝑒𝑠𝑝𝑎𝑐𝑖𝑜 𝑑𝑖𝑠𝑐𝑟𝑒𝑡𝑜 𝑋, 𝑝𝑎𝑟𝑎 𝑟𝑒𝑓𝑒𝑟𝑖𝑟𝑛𝑜𝑠 𝑎 (𝑋, ℘(𝑋)).

𝑷𝒓𝒐𝒐𝒇:
𝑖) 𝑃𝑎𝑟𝑎 𝑑𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑟 𝑙𝑎 𝑝𝑟𝑖𝑚𝑒𝑟𝑎 𝑐𝑜𝑛𝑑𝑖𝑐𝑖ó𝑛, 𝑛𝑜𝑡𝑎𝑚𝑜𝑠 𝑞𝑢𝑒 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑣𝑎𝑐í𝑜 ∅
𝑦 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑋 𝑠𝑜𝑛 𝑎𝑚𝑏𝑜𝑠 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑑𝑒 𝑋, 𝑝𝑜𝑟 𝑙𝑜 𝑞𝑢𝑒 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒𝑛 𝑎 𝑃(𝑋).
𝐸𝑛 𝑒𝑓𝑒𝑐𝑡𝑜, 𝑐𝑜𝑚𝑜 ∅ 𝑒𝑠𝑡á 𝑐𝑜𝑛𝑡𝑒𝑛𝑖𝑑𝑜 𝑒𝑛 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜, é𝑠𝑡𝑒 𝑡𝑎𝑚𝑏𝑖é𝑛 𝑒𝑠𝑡á 𝑐𝑜𝑛𝑡𝑒𝑛𝑖𝑑𝑜
𝑒𝑛 𝑋, 𝑎ℎ𝑜𝑟𝑎, 𝑡𝑎𝑚𝑏𝑖é𝑛 𝑠𝑒 𝑠𝑎𝑏𝑒 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑒𝑠𝑡á 𝑐𝑜𝑛𝑡𝑒𝑛𝑖𝑑𝑜 𝑒𝑛 𝑒𝑙 𝑚𝑖𝑠𝑚𝑜, 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜,
𝑋 ⊆ 𝑋.
𝑖𝑖) 𝑠𝑒𝑎 {𝑈𝑖 }𝑖∈𝐼 𝑢𝑛𝑎 𝑓𝑎𝑚𝑖𝑙𝑖𝑎 𝑑𝑒 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 𝑑𝑒 𝜏. 𝑞𝑢𝑒𝑟𝑒𝑚𝑜𝑠 𝑝𝑟𝑜𝑏𝑎𝑟 𝑞𝑢𝑒 𝑙𝑎 𝑢𝑛𝑖ó𝑛 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟𝑎
𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎 𝜏. 𝐸𝑛 𝑒𝑓𝑒𝑐𝑡𝑜, 𝑠𝑢𝑝𝑜𝑛𝑔𝑎𝑚𝑜𝑠 𝑞𝑢𝑒 𝑒𝑥𝑖𝑠𝑡𝑒 𝑥 ∈ {𝑈𝑖 }𝑖∈𝐼 , 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠, 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒
𝑎𝑙 𝑚𝑒𝑛𝑜𝑠 𝑎 𝑢𝑛 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑋, 𝑦 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑑𝑒𝑏𝑒 𝑠𝑒𝑟 𝑢𝑛 𝑝𝑢𝑛𝑡𝑜 𝑖𝑛𝑡𝑒𝑟𝑖𝑜𝑟 𝑑𝑒 𝑒𝑠𝑒
𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜, 𝑝𝑒𝑟𝑜 𝑐𝑜𝑚𝑜 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑈𝑖 𝑑𝑒 {𝑈𝑖 }𝑖∈𝐼 𝑠𝑜𝑛 𝑎𝑏𝑖𝑒𝑟𝑡𝑜𝑠, 𝑒𝑠𝑡𝑜 𝑠𝑖𝑔𝑛𝑖𝑓𝑖𝑐𝑎 𝑞𝑢𝑒 𝑥 𝑡𝑎𝑚𝑏𝑖é𝑛
𝑒𝑠 𝑢𝑛 𝑝𝑢𝑛𝑡𝑜 𝑖𝑛𝑡𝑒𝑟𝑖𝑜𝑟 𝑒𝑛 {𝑈𝑖 }𝑖∈𝐼 . 𝑃𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜, {𝑈𝑖 }𝑖∈𝐼 𝑒𝑠 𝑢𝑛 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑎𝑏𝑖𝑒𝑟𝑡𝑜 𝑑𝑒 𝑋, 𝑦 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜
𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎 𝜏.
𝑖𝑖𝑖) 𝑠𝑢𝑝𝑜𝑛𝑔𝑎𝑚𝑜𝑠 𝑞𝑢𝑒 𝑡𝑒𝑛𝑒𝑚𝑜𝑠 𝑆 = {𝑈1 , 𝑈2 , … , 𝑈𝑛 } 𝑢𝑛𝑎 𝑐𝑜𝑙𝑒𝑐𝑐𝑖ó𝑛 𝑓𝑖𝑛𝑖𝑡𝑎 𝑑𝑒
𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑑𝑒 𝑋, 𝑒𝑛 𝑙𝑜𝑠 𝑐𝑢𝑎𝑙𝑒𝑠 𝑐𝑎𝑑𝑎 𝑢𝑛𝑜 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎 𝜏. 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑛𝑜𝑡𝑒𝑚𝑜𝑠 𝑞𝑢𝑒

𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑝𝑢𝑛𝑡𝑜 𝑥 𝑞𝑢𝑒 𝑒𝑠𝑡é 𝑒𝑛 ⋂ 𝑈𝑖 𝑑𝑒𝑏𝑒 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒𝑟 𝑎 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑑𝑒 𝑆

𝑦 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑠𝑒𝑟 𝑢𝑛 𝑝𝑢𝑛𝑡𝑜 𝑖𝑛𝑡𝑒𝑟𝑖𝑜𝑟 𝑑𝑒 𝑡𝑜𝑑𝑜𝑠 𝑒𝑙𝑙𝑜𝑠. 𝑃𝑒𝑟𝑜 𝑐𝑜𝑚𝑜 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑒𝑛 𝑆

𝑠𝑜𝑛 𝑎𝑏𝑖𝑒𝑟𝑡𝑜𝑠, 𝑒𝑠𝑡𝑜 𝑠𝑖𝑔𝑛𝑖𝑓𝑖𝑐𝑎 𝑞𝑢𝑒 𝑥 𝑡𝑎𝑚𝑏𝑖é𝑛 𝑒𝑠 𝑢𝑛 𝑝𝑢𝑛𝑡𝑜 𝑖𝑛𝑡𝑒𝑟𝑖𝑜𝑟 𝑒𝑛 ⋂ 𝑈𝑖 . 𝑃𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜, ⋂ 𝑈𝑖

𝑒𝑠 𝑢𝑛 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑎𝑏𝑖𝑒𝑟𝑡𝑜 𝑑𝑒 𝑋, 𝑦 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎 𝜏.


𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟏. 𝟏. 𝟑. 𝑆𝑒𝑎𝑛 (𝑋, 𝜏 ) 𝑢𝑛 𝑒𝑠𝑝𝑎𝑐𝑖𝑜 𝑡𝑜𝑝𝑜𝑙ó𝑔𝑖𝑐𝑜 𝑦 ∅ = 𝐴 ⊆ 𝑋. 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠
𝜏𝐴 = {𝑈 ∩ 𝐴: 𝑈 ∈ 𝜏} 𝑒𝑠 𝑢𝑛𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑒𝑛 𝐀. 𝐴 𝜏𝐴 𝑠𝑒 𝑙𝑒 𝑙𝑙𝑎𝑚𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑑𝑒 𝑠𝑢𝑏𝑒𝑠𝑝𝑎𝑐𝑖𝑜
𝐴 𝐀 𝑑𝑜𝑡𝑎𝑑𝑜 𝑑𝑒 𝑙𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑑𝑒 𝑠𝑢𝑏𝑒𝑠𝑝𝑎𝑐𝑖𝑜 𝑠𝑒 𝑙𝑒 𝑑𝑖𝑐𝑒 𝑠𝑢𝑏𝑒𝑠𝑝𝑎𝑐𝑖𝑜 𝑑𝑒 𝑋.
𝑷𝒓𝒐𝒐𝒇:
𝑖) ∅ = ∅ ∩ 𝐴 ∈ 𝜏𝐴 , 𝑦𝑎 𝑞𝑢𝑒 𝑋 ∈ 𝜏
𝐴 = 𝑋 ∩ 𝐴 ∈ 𝜏𝐴 , 𝑦𝑎 𝑞𝑢𝑒 𝑋 ∈ 𝜏
𝑖𝑖) 𝑠𝑒𝑎𝑛 𝑈, 𝑉 ∈ 𝜏𝐴 , 𝑙𝑢𝑒𝑔𝑜 𝑒𝑥𝑖𝑠𝑡𝑒𝑛 𝑠, 𝑤 ∈ 𝜏 𝑡𝑎𝑙𝑒𝑠 𝑞𝑢𝑒 𝑢 = 𝑆 ∩ 𝐴 𝑦 𝑣 = 𝑤 ∩ 𝐴
𝑎ℎ𝑜𝑟𝑎,
𝑈 ∩ 𝑉 = (𝑠 ∩ 𝐴) ∩ (𝑤 ∩ 𝐴)
= (𝑠 ∩ 𝑤) ∩ (𝐴 ∩ 𝐴) = (𝑠 ∩ 𝑤) ∩ 𝐴 ∈ 𝜏.
𝑖𝑖𝑖) 𝑆𝑒𝑎 {𝑈𝑖 }𝑖∈𝐼 ⊆ 𝜏𝐴 , 𝑝𝑎𝑟𝑎 𝑐𝑎𝑑𝑎 𝑖 ∈ 𝐼, 𝑒𝑥𝑖𝑠𝑡𝑒 𝑉𝑖 ∈ 𝜏, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑉𝑖 = 𝑣𝑖 ∩ 𝐴. 𝐿𝑢𝑒𝑔𝑜,

⋃ 𝑉𝑖 = ⋃(𝑣𝑖 ∩ 𝐴) → (⋃ 𝑣𝑖 ) ∩ 𝐴 ∈ 𝜏𝐴
𝑖∈𝐼 𝑖∈𝐼 𝑖∈𝐼

𝐄𝐣𝐞𝐦𝐩𝐥𝐨 𝟏. 𝟏. 𝟒. Sea 𝑋 un conjunto, no vacío, entonces


𝜏𝑐𝑜𝑒 = {𝑈 ⊆ 𝑋: 𝑋⁄𝑈 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒} ∪ {∅}
𝑒𝑠 𝑢𝑛𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔𝑖𝑎 𝑠𝑜𝑏𝑟𝑒 𝑋, 𝑙𝑙𝑎𝑚𝑎𝑑𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑑𝑒 𝑙𝑜𝑠 𝑐𝑜𝑒𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒𝑠. 𝐴 (𝑋, 𝜏𝑐𝑜𝑒 ) 𝑙𝑎
𝑛𝑜𝑡𝑎𝑟𝑒𝑚𝑜𝑠 𝑝𝑜𝑟 𝑋𝑐𝑜𝑒 .
𝑷𝒓𝒐𝒐𝒇:
𝑖) 𝑝𝑜𝑟 𝑑𝑒𝑓𝑖𝑛𝑖𝑐𝑖ó𝑛 ∅ 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎 𝜏, 𝑎ℎ𝑜𝑟𝑎, 𝑠𝑎𝑏𝑒𝑚𝑜𝑠 𝑞𝑢𝑒 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑒𝑠 𝑐𝑜𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 𝑠𝑖
𝑠𝑢 𝑐𝑜𝑚𝑝𝑙𝑒𝑚𝑒𝑛𝑡𝑜 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒, 𝑦 𝑒𝑛 𝑒𝑠𝑡𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎, 𝑋 𝑒𝑠 𝑐𝑜𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑠𝑢
𝑐𝑜𝑚𝑝𝑙𝑒𝑚𝑒𝑛𝑡𝑜, 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑣𝑎𝑐í𝑜, 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒. 𝐶𝑜𝑚𝑜 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑣𝑎𝑐í𝑜 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒
(𝑡𝑖𝑒𝑛𝑒 𝑐𝑒𝑟𝑜 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠), 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑋 𝑒𝑠 𝑐𝑜 − 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 𝑒𝑛 𝑒𝑠𝑡𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎.
𝑖𝑖) 𝑆𝑒𝑎 {𝐴𝑖 }𝑖∈𝐼 𝑢𝑛𝑎 𝑐𝑜𝑙𝑒𝑐𝑐𝑖ó𝑛 𝑎𝑟𝑏𝑖𝑟𝑡𝑟𝑎𝑟𝑖𝑎 𝑑𝑒 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑐𝑜 − 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒𝑠 𝑒𝑛 𝑋 𝑐𝑜𝑛
𝑐𝑜𝑚𝑝𝑙𝑒𝑚𝑒𝑡𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒𝑠 {𝐵𝑖 }𝑖∈𝐼 , 𝑟𝑒𝑠𝑝𝑒𝑐𝑡𝑖𝑣𝑎𝑚𝑒𝑛𝑡𝑒, 𝑎𝑠í

(𝑋⁄⋃{𝐴𝑖 }𝑖∈𝐼 ) = ⋂(𝑋 ∕ {𝐴𝑖 }𝑖∈𝐼 ) = ⋂{𝐵𝑖 }𝑖∈𝐼

𝐶𝑜𝑚𝑜 𝑢𝑛𝑎 𝑖𝑛𝑡𝑒𝑟𝑠𝑒𝑐𝑐𝑖ó𝑛 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 𝑑𝑒 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒𝑠 𝑒𝑠 𝑡𝑎𝑚𝑏𝑖é𝑛 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒,


𝑠𝑒 𝑠𝑖𝑔𝑢𝑒 𝑞𝑢𝑒 𝑋⁄⋃{𝐴𝑖 }𝑖∈𝐼 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 𝑦 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑞𝑢𝑒 ⋃{𝐴𝑖 }𝑖∈𝐼 𝑒𝑠

𝑐𝑜 − 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒.
𝑖𝑖𝑖)𝑠𝑒𝑎 {𝐴𝑖 } 𝑢𝑛𝑎 𝑐𝑜𝑙𝑒𝑐𝑐𝑖ó𝑛 𝑓𝑖𝑛𝑖𝑡𝑎 𝑑𝑒 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑐𝑜 − 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒𝑠 𝑒𝑛 𝑋,
𝑐𝑜𝑛 𝑐𝑜𝑚𝑝𝑙𝑒𝑛𝑡𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒𝑠 {𝐵𝑖 }, 𝑟𝑒𝑠𝑝𝑒𝑐𝑡𝑖𝑐𝑎𝑚𝑒𝑛𝑡𝑒, 𝑒𝑙 𝑐𝑜𝑚𝑝𝑙𝑒𝑚𝑒𝑛𝑡𝑜 𝑑𝑒 𝑙𝑎
𝑖𝑛𝑡𝑒𝑟𝑠𝑒𝑐𝑐𝑖ó𝑛 𝑠𝑒 𝑝𝑢𝑒𝑑𝑒 𝑒𝑠𝑐𝑟𝑖𝑏𝑖𝑟 𝑐𝑜𝑚𝑜:
𝑛 𝑛 𝑛

(𝑋⁄⋂ 𝐴𝑖 ) = ⋃(𝑋⁄𝐴𝑖 ) = ⋃ 𝐵𝑖
𝑖=1 𝑖=1 𝑖=1

𝑎ℎ𝑜𝑟𝑎, 𝑐𝑜𝑚𝑜 𝑙𝑎 𝑢𝑛𝑖ó𝑛 𝑓𝑖𝑛𝑖𝑡𝑎 𝑑𝑒 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒𝑠 𝑒𝑠 𝑡𝑎𝑚𝑏𝑖é𝑛 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒,


𝑛 𝑛

𝑠𝑒 𝑡𝑖𝑒𝑛𝑒 𝑞𝑢𝑒 𝑋⁄⋂ 𝐴𝑖 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 𝑦 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜, ⋂ 𝐴𝑖 𝑒𝑠 𝑐𝑜 − 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒.


𝑖=1 𝑖=1

𝑬𝒋𝒆𝒎𝒑𝒍𝒐 𝟏. 𝟏. 𝟓. 𝑆𝑒𝑎 𝑋 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑛𝑜 𝑣𝑎𝑐í𝑜. 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝜏 = {𝑋, ∅} 𝑒𝑠 𝑢𝑛𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔𝑖𝑎


𝑒𝑛 𝑋 𝑙𝑙𝑎𝑚𝑎𝑑𝑎 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑖𝑛𝑑𝑖𝑠𝑐𝑟𝑒𝑡𝑎 𝑜 𝑡𝑜𝑝𝑜𝑙𝑜𝑔í𝑎 𝑔𝑟𝑜𝑠𝑒𝑟𝑎. 𝐷𝑖𝑟𝑒𝑚𝑜𝑠 𝑒𝑠𝑝𝑎𝑐𝑖𝑜 𝑖𝑛𝑑𝑖𝑠𝑐𝑟𝑒𝑡𝑜
𝑋, 𝑝𝑎𝑟𝑎 𝑟𝑒𝑓𝑒𝑟𝑖𝑟𝑛𝑜𝑠 𝑎 (𝑋, {𝑋, ∅}).
𝑃𝑟𝑜𝑜𝑓:
𝑖) 𝑃𝑜𝑟 𝑑𝑒𝑓𝑖𝑛𝑖𝑐𝑖ó𝑛 𝑋 𝑦 ∅ 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒𝑛 𝑎 𝜏.

𝑖𝑖) 𝑠𝑒𝑎 {𝑈𝑖 }𝑖∈𝐼 𝑢𝑛𝑎 𝑓𝑎𝑚𝑖𝑙𝑖𝑎 𝑑𝑒 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 𝑑𝑒 𝜏 𝑦 𝑈 = ⋃ 𝑈𝑖 .


𝑖∈𝐼

𝑆𝑖 𝑈𝑖 = ∅, 𝑝𝑎𝑟𝑎 𝑐𝑎𝑑𝑎 𝑖 ∈ 𝐼, 𝑠𝑒 𝑡𝑖𝑒𝑛𝑒 𝑞𝑢𝑒 ⋃ 𝑈𝑖 = ∅, ∈ 𝜏. 𝐷𝑒 𝑙𝑜 𝑐𝑜𝑛𝑡𝑟𝑎𝑟𝑖𝑜, 𝑒𝑥𝑖𝑠𝑡𝑒 𝑢𝑛


𝑖∈𝐼

𝑘 ∈ 𝐼 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑈𝑘 ≠ ∅, 𝐿𝑢𝑒𝑔𝑜 𝑈𝑘 = 𝑋, 𝑑𝑎𝑑𝑜 𝑞𝑢𝑒 𝜏 = {𝑋, ∅}, 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠 ⋃ 𝑈𝑘 = 𝑋 ∈ 𝜏


𝑘∈𝐼

𝑖𝑖𝑖) 𝐶𝑜𝑚𝑜 𝑋 𝑦 ∅ 𝑠𝑜𝑛 𝑙𝑜𝑠 𝑢𝑛𝑖𝑐𝑜𝑠 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 𝑑𝑒 𝜏, 𝑋 ∩ ∅ = ∅ ∩ 𝑋 = ∅ ∈ 𝜏.


𝑇𝑎𝑚𝑏𝑖𝑒𝑛, 𝑋 ∩ 𝑋 = 𝑋 ∈ 𝜏 𝑦 ∅ ∩ ∅ = ∅ ∈ 𝜏.
𝑬𝒋𝒆𝒓𝒄𝒊𝒄𝒊𝒐 𝟏. 𝟑𝟒. 𝑃𝑟𝑢𝑒𝑏𝑒 𝑞𝑢𝑒 𝑙𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑖𝑑𝑒𝑛𝑡𝑖𝑐𝑎 𝑖𝑑: (𝑋, 𝜏) → (𝑋, 𝜌) 𝑒𝑠 𝑐𝑜𝑛𝑡𝑖𝑛𝑢𝑎 𝑠𝑖 𝑦
𝑠𝑜𝑙𝑜 𝑠𝑖 𝜏 𝑒𝑠 𝑚á𝑠 𝑓𝑖𝑛𝑎 𝑞𝑢𝑒 𝜌.
𝑃𝑟𝑜𝑜𝑓:
(→) 𝑠𝑢𝑝𝑜𝑛𝑔𝑎𝑚𝑜𝑠 𝑞𝑢𝑒 𝑙𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑖𝑑𝑒𝑛𝑡𝑖𝑐𝑎 𝑖𝑑: (𝑋, 𝜏) → (𝑋, 𝜌) 𝑒𝑠 𝑐𝑜𝑛𝑡𝑖𝑛𝑢𝑎, é𝑠𝑡𝑜 𝑒𝑠
𝑝𝑎𝑟𝑎 𝑈 𝑎𝑏𝑖𝑒𝑟𝑡𝑜 𝑒𝑛 (X, 𝜌), 𝑓 −1 (𝑈) 𝑒𝑠 𝑎𝑏𝑖𝑒𝑟𝑡𝑜 𝑒𝑛 (X, 𝜏), pero como 𝑖𝑑𝑋 𝑒𝑠 𝑙𝑎 𝑖𝑑𝑒𝑛𝑡𝑖𝑐𝑎,
𝑠𝑒 𝑡𝑖𝑒𝑛𝑒 𝑞𝑢𝑒 𝑖𝑑𝑋−1 (𝑈) = 𝑈, 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜, 𝜏 𝑒𝑠 𝑚á𝑠 𝑓𝑖𝑛𝑎 𝑞𝑢𝑒 𝜌.
(←) 𝐴ℎ𝑜𝑟𝑎 𝑠𝑢𝑝𝑜𝑛𝑔𝑎𝑚𝑜𝑠 𝑞𝑢𝑒 𝜌 ⊆ 𝜏, é𝑠𝑡𝑜 𝑒𝑠, 𝑝𝑎𝑟𝑎 𝑐𝑎𝑑𝑎 𝑈 ∈ (𝑋, 𝜌) 𝑠𝑒 𝑡𝑖𝑒𝑛𝑒 𝑞𝑢𝑒

𝑈 ∈ (𝑋, 𝜏), 𝑝𝑒𝑟𝑜 𝑐𝑜𝑚𝑜 𝑖𝑑𝑋−1 (𝑈) = 𝑈, 𝑑𝑎𝑑𝑜 𝑢𝑛 𝑎𝑏𝑖𝑒𝑟𝑡𝑜 𝑈 𝑒𝑛 (𝑋, 𝜌), 𝑖𝑑𝑋−1 (𝑈) = 𝑈, 𝑒𝑠
𝑎𝑏𝑖𝑒𝑟𝑡𝑜 𝑒𝑛 (𝑋, 𝜏), 𝑙𝑜 𝑐𝑢𝑎𝑙 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑞𝑢𝑒 𝑖𝑑𝑋 𝑒𝑠 𝑐𝑜𝑛𝑡𝑖𝑛𝑢𝑎.
1) 𝑆𝑒𝑎 𝒞 𝑙𝑎 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑐𝑎𝑡𝑒𝑔𝑜𝑟𝑖𝑎:
∗ 𝐿𝑜𝑠 𝑜𝑏𝑗𝑒𝑡𝑜𝑠 𝑠𝑜𝑛 𝑙𝑜𝑠 𝑒𝑠𝑝𝑎𝑐𝑖𝑜𝑠 𝑣𝑒𝑐𝑡𝑜𝑟𝑖𝑎𝑙𝑒𝑠 𝑠𝑜𝑏𝑟𝑒 ℝ.
∗ 𝐿𝑜𝑠 𝑀𝑂𝑅(𝐴, 𝐵)𝑠𝑒 𝑑𝑒𝑓𝑖𝑛𝑒𝑛 𝑐𝑜𝑚𝑜 𝑙𝑎𝑠 𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑙𝑖𝑛𝑒𝑎𝑙𝑒𝑠 𝑑𝑒 𝐴 𝑒𝑛 𝐵
∗ 𝑔 ∘ 𝑓 𝑑𝑒𝑛𝑜𝑡𝑎 𝑙𝑎 𝑐𝑜𝑚𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 𝑑𝑒 𝑓𝑢𝑛𝑐𝑖𝑜𝑛𝑒𝑠.
𝑃𝑟𝑢𝑒𝑏𝑒 𝑞𝑢𝑒 𝒞 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑎𝑡𝑒𝑔𝑜𝑟𝑖𝑎.
𝑷𝒓𝒐𝒐𝒇: 𝑃𝑎𝑟𝑎 𝑝𝑟𝑜𝑏𝑎𝑟 𝑞𝑢𝑒 é𝑠𝑡𝑎 𝑐𝑎𝑡𝑒𝑔𝑜𝑟𝑖𝑎 𝑒𝑠 𝑣𝑎𝑙𝑖𝑑𝑎, 𝑑𝑒𝑏𝑒𝑚𝑜𝑠 𝑣𝑒𝑟𝑖𝑓𝑖𝑐𝑎𝑟 𝑙𝑎𝑠 3
𝑐𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑏𝑎𝑠𝑖𝑐𝑎𝑠 𝑑𝑒 𝑙𝑎𝑠 𝑐𝑎𝑡𝑒𝑔𝑜𝑟𝑖𝑎𝑠:
𝑨) 𝐶𝑜𝑚𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛: 𝑙𝑎 𝑐𝑜𝑚𝑝𝑜𝑠𝑖𝑐ó𝑛 𝑑𝑒 𝑑𝑜𝑠 𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑙𝑖𝑛𝑒𝑎𝑙𝑒𝑠 𝑒𝑠 𝑢𝑛𝑎
𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖𝑜𝑛 𝑙𝑖𝑛𝑒𝑎𝑙.
𝑆𝑒𝑎𝑛 𝑇: 𝑉 → 𝑊 𝑦 𝑆: 𝑊 → 𝑈 𝑑𝑜𝑠 𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑙𝑖𝑛𝑒𝑎𝑙𝑒𝑠. 𝑎𝑑𝑒𝑚𝑎𝑠,
𝑠𝑒𝑎𝑛 𝑢, 𝑣 ∈ 𝑉 𝑦 𝑐 ∈ ℝ. 𝐶𝑜𝑚𝑜 𝑇, 𝑆 𝑠𝑜𝑛 𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑙𝑖𝑛𝑒𝑎𝑙𝑒𝑠, 𝑠𝑒 𝑡𝑖𝑒𝑛𝑒 𝑞𝑢𝑒
(𝑆 ∘ 𝑇)(𝑢 + 𝑣) = 𝑆(𝑇(𝑢 + 𝑣)) = 𝑆(𝑇(𝑢) + 𝑇(𝑣)) = 𝑆(𝑇(𝑢)) + 𝑆(𝑇(𝑣))
= (𝑆 ∘ 𝑇)(𝑢) + (𝑆 ∘ 𝑇)(𝑣)
𝑠𝑖𝑚𝑖𝑙𝑎𝑟𝑚𝑒𝑛𝑡𝑒, 𝑠𝑒 𝑡𝑖𝑒𝑛𝑒 𝑞𝑢𝑒

(𝑆 ∘ 𝑇)(𝑐𝑢) = 𝑆(𝑇(𝑐𝑢)) = 𝑆 (𝑐(𝑇(𝑢))) = 𝑐 (𝑆(𝑇(𝑢))) = 𝑐(𝑆 ∘ 𝑇)(𝑢)

𝐿𝑢𝑒𝑔𝑜 𝑆 ∘ 𝑇 𝑒𝑠 𝑙𝑖𝑛𝑒𝑎𝑙.
𝒃) 𝐼𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑: 𝑒𝑥𝑖𝑠𝑡𝑒 𝑢𝑛𝑎 𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖ó𝑛 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑒𝑛 𝑐𝑎𝑑𝑎 𝑒𝑠𝑝𝑎𝑐𝑖𝑜 𝑣𝑒𝑐𝑡𝑜𝑟𝑖𝑎𝑙
𝐶𝑜𝑚𝑜 𝑙𝑜𝑠 𝑜𝑏𝑗𝑒𝑡𝑜𝑠 𝑑𝑒 é𝑠𝑡𝑎 "categoria 𝑠𝑜𝑛 𝑙𝑜𝑠 𝑒𝑠𝑝𝑎𝑐𝑖𝑜𝑠 𝑣𝑒𝑐𝑡𝑜𝑟𝑖𝑎𝑙𝑒𝑠 𝑦 𝑙𝑜𝑠 𝑚𝑜𝑟𝑓𝑖𝑠𝑚𝑜
𝑠𝑜𝑛 𝑙𝑎𝑠 𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑙𝑖𝑛𝑒𝑎𝑙𝑒𝑠, 𝑣𝑎 𝑎 𝑒𝑥𝑖𝑠𝑡𝑖𝑟 𝑢𝑛𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛
𝑇: 𝑉 → 𝑉 𝑑𝑒𝑓𝑖𝑛𝑖𝑑𝑎 𝑐𝑜𝑚𝑜 𝑓(𝑣) = 𝑣, 𝑞𝑢𝑒 𝑐𝑢𝑚𝑝𝑙𝑒 𝑙𝑎𝑠 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒𝑠 𝑝𝑟𝑜𝑝𝑖𝑒𝑑𝑎𝑑𝑒𝑠:
• 𝑓(𝑢 + 𝑣) = 𝑢 + 𝑣 = 𝑓(𝑢) + 𝑓(𝑣)
• 𝑓(𝑐𝑣) = 𝑐𝑣 = 𝑐𝑓(𝑣)
• 𝑓(0𝑣 ) = 0𝑣 , 𝑑𝑜𝑛𝑑𝑒 0𝑣 𝑒𝑠 𝑒𝑙 𝑣𝑒𝑐𝑡𝑜𝑟 0 𝑑𝑒 𝑉
𝐴𝑑𝑒𝑚𝑎𝑠, 𝑒𝑠 𝑒𝑣𝑖𝑑𝑒𝑛𝑡𝑒 𝑞𝑢𝑒 𝑓(𝑣) = 𝑣 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑣 ∈ 𝑉, 𝑙𝑜 𝑞𝑢𝑒 𝑠𝑖𝑔𝑛𝑖𝑓𝑖𝑐𝑎 𝑞𝑢𝑒 𝑓 𝑒𝑠
𝑢𝑛𝑎 𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖ó𝑛 𝑙𝑖𝑛𝑒𝑎𝑙 𝑞𝑢𝑒 𝑓𝑢𝑛𝑐𝑖𝑜𝑛𝑎 𝑐𝑜𝑚𝑜 𝑙𝑎 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑑𝑒 𝑉.
𝑐) 𝐴𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎: 𝐿𝑎 𝑐𝑜𝑚𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 𝑑𝑒 3 𝑜 𝑚á𝑠 𝑡𝑟𝑎𝑛𝑠𝑓𝑜𝑟𝑚𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑙𝑖𝑛𝑒𝑎𝑙𝑒𝑠 𝑒𝑠
𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎.

É𝑠𝑡𝑜 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒 𝑦𝑎 𝑞𝑢𝑒 𝑒𝑠 𝑙𝑎 𝑐𝑜𝑚𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 𝑜𝑟𝑑𝑖𝑛𝑎𝑟𝑖𝑎, 𝑙𝑎 𝑐𝑢𝑎𝑙 𝑒𝑠 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎.

You might also like