4
$\begingroup$

I read a little remark in a topology text that the direct image of an open set under a continuous mapping is not necessarily open.

What is the definition of direct image in this case? I tried googling to no avail, and only found references to sheaf theory on wikipedia, which I don't believe to be what I'm looking for. Thanks.

1 Answers 1

5

They just mean "image". An example here is the image of the set $(0, 2\pi)$ under the map $\sin(x)$, which is $(0, 1]$.

  • 0
    Thanks, I thought it may have meant something else, but I'd never heard such a phrase.2010-11-08
  • 3
    It may be that they are trying to make a contrast with "inverse image". I would say "forward image" but this author seems to say "direct image" instead.2010-11-08