# On the continuity of factorizations

Applied General Topology. 2008;9(2):263-280 DOI 10.4995/agt.2008.1806

**Journal Title**: Applied General Topology

**ISSN**:
1576-9402 (Print); 1989-4147 (Online)

**Publisher**: Universitat Politècnica de València

**Society/Institution**: Universitat Politècnica de València

**LCC Subject Category**:
Science: Mathematics: Analysis

**Country of publisher**: Spain

**Language of fulltext**: English

**Full-text formats available**: PDF

**AUTHORS**

W.W. Comfort
(Wesleyan University)

Ivan S. Gotchev
(Central Connecticut State University)

Luis Recoder-Nuñez
(Central Connecticut State University)

**EDITORIAL INFORMATION**

Time From Submission to Publication: 15 weeks

**
Abstract
| Full Text
**

Let {Xi : i ∈ I} be a set of sets, XJ :=Пi∈J Xi when Ø ≠ J ⊆ I; Y be a subset of XI , Z be a set, and f : Y → Z. Then f is said to depend on J if p, q ∈ Y , pJ = qJ ⇒ f(p) = f(q); in this case, fJ : πJ [Y ] → Z is well-defined by the rule f = fJ ◦ πJ|Y When the Xi and Z are spaces and f : Y → Z is continuous with Y dense in XI , several natural questions arise: (a) does f depend on some small J ⊆ I? (b) if it does, when is fJ continuous? (c) if fJ is continuous, when does it extend to continuous fJ : XJ → Z? (d) if fJ so extends, when does f extend to continuous f : XI → Z? (e) if f depends on some J ⊆ I and f extends to continuous f : XI → Z, when does f also depend on J? The authors offer answers (some complete, some partial) to some of these questions, together with relevant counterexamples. Theorem 1. f has a continuous extension f : XI → Z that depends on J if and only if fJ is continuous and has a continuous extension fJ : XJ → Z. Example 1. For ω ≤ k ≤ c there are a dense subset Y of [0, 1]k and f ∈ C(Y, [0, 1]) such that f depends on every nonempty J ⊆ k, there is no J ∈ [k]<ω such that fJ is continuous, and f extends continuously over [0, 1]k. Example 2. There are a Tychonoff space XI, dense Y ⊆ XI, f ∈ C(Y ), and J ∈ [I]<ω such that f depends on J, πJ [Y ] is C-embedded in XJ , and f does not extend continuously over XI .