Mathematics Asked by blargoner on September 18, 2020

A book I’m reading on category theory says that if $A$ and $B$ are topological spaces and $f:Ato B$ is continuous, then the "dual image" map

$$f_*(U)={,bin Bmid f^{-1}(b)subseteq U,}$$

restricts to open sets; that is, $f_*:mathcal{O}(A)tomathcal{O}(B)$. (So then it’s right adjoint to $f^{-1}:mathcal{O}(B)tomathcal{O}(A)$.)

This seems wrong, since it would imply for example (taking $U=varnothing$) that the image of a continuous function is always closed.

Are there natural conditions under which it does make sense to restrict to open sets?

You’re right that there’s a problem here.

Let $A=(0,1)times(0,1)$ and $B=(0,1)$, each with the usual topology, and let $$f:Ato B:langle x,yranglemapsto x$$ be the projection to the $x$-axis; this is a continuous, open map. Let $$U={langle x,yranglein A:y>2x-1};.$$ $U$ is open in $A$, but

$$f_*(U)=left(0,frac12right];,$$

which is not open in $B$.

You do get the result if $f$ is closed and continuous. In that case let $U$ be open in $A$, and let $F=Asetminus U$. Suppose that $bin B$; then $f^{-1}[{b}]subseteq U$ iff $bnotin f[F]$, i.e., iff $bin Bsetminus f[F]$, so $f_*(U)=Bsetminus f[F]$, which is open in $B$.

Correct answer by Brian M. Scott on September 18, 2020

0 Asked on November 27, 2020 by jskattt797

2 Asked on November 27, 2020 by iv_

1 Asked on November 27, 2020 by daniels-krimans

1 Asked on November 27, 2020 by jos-pedro-ferreira

1 Asked on November 27, 2020 by avir_12

2 Asked on November 27, 2020 by v-elizabeth

1 Asked on November 27, 2020 by harshatech2012

first order logic formal proofs logic predicate logic satisfiability

1 Asked on November 26, 2020 by luyw

2 Asked on November 26, 2020 by mathfun

1 Asked on November 26, 2020 by diego-lima

1 Asked on November 26, 2020 by simon

0 Asked on November 26, 2020 by godorgovern

1 Asked on November 26, 2020 by financial_physician

2 Asked on November 26, 2020 by user823011

1 Asked on November 25, 2020 by billy-rubina

3 Asked on November 24, 2020 by user801303

1 Asked on November 23, 2020

3 Asked on November 22, 2020 by slave-of-christ

combinatorics diophantine equations elementary number theory integers

Get help from others!

Recent Answers

- haakon.io on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Jon Church on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP