2015-01-01 15:39:03 8 Comments

Is function $f:\mathbb C-\{0\}\rightarrow\mathbb C$ prescribed by $z\rightarrow \large{\frac{1}{z}}$ by definition *discontinuous* at $0$?

Personally I would say: "no". In my view a function can only be (dis)continuous at $z$ if $z$ belongs to its domain.

But I have heard other sounds, that made me curious.

This question was inspired by comments/answers on this question.

### Related Questions

#### Sponsored Content

#### 2 Answered Questions

#### 1 Answered Questions

### [SOLVED] Are 'converse domain' and 'co-domain' the same? If not, why not?

**2016-10-16 19:43:47****Bram28****253**View**0**Score**1**Answer- Tags: functions definition math-history

#### 1 Answered Questions

### [SOLVED] Math Philosophy and Domain

**2016-09-25 20:30:57****Sigma6RPU****33**View**0**Score**1**Answer- Tags: functions

#### 4 Answered Questions

### [SOLVED] Derivative of $(-1)^x$, several cases

**2016-09-19 10:26:19****Amritansh Singhal****655**View**1**Score**4**Answer- Tags: functions

#### 1 Answered Questions

### What is the standard definition of a "periodic" function?

**2016-02-27 04:07:26****MathematicsStudent1122****580**View**1**Score**1**Answer- Tags: functions definition

#### 1 Answered Questions

### [SOLVED] Give an Example of a Bijective Function $\mathbb{Z} \rightarrow \mathbb{Z}$ with precisely $r$ orbits

**2015-12-31 23:25:37****Benedict Voltaire****226**View**2**Score**1**Answer- Tags: group-theory functions

#### 1 Answered Questions

### Domain of definition.

**2015-10-16 10:11:54****neelkanth****84**View**0**Score**1**Answer- Tags: real-analysis functions elementary-set-theory

#### 2 Answered Questions

### [SOLVED] Rudin's definition of continuity in terms of pre-images (inverse images). Is this simple function continuous or not?

**2013-10-13 11:02:38****BLaursen****1142**View**2**Score**2**Answer- Tags: functions continuity definition

#### 0 Answered Questions

### How is this function continuous?

**2014-04-27 00:06:22****Oscar Flores****51**View**1**Score**0**Answer- Tags: continuity definition

#### 2 Answered Questions

### [SOLVED] Injection, Surjection, Bijection (Have I done enough?)

**2013-08-19 13:42:37****Bobby****730**View**1**Score**2**Answer- Tags: functions

## 3 comments

## @Joonas Ilmavirta 2018-04-27 20:31:14

Typically continuity or lack thereof is restricted to points on the domain where the function is defined, but it can also be reasonably extended to your problem. The question is not "is $f$ continuous at zero?" but "can $f$ be continuously extended to zero?", and this makes perfect sense.

Since we are talking about extension to a single point, the question is whether $f$ has a limit at that point. The answer depends on the target space. If you want $f$ to map to $\mathbb C$, there is no limit. If you want it to map to the Riemann sphere $\mathbb C\cup\{\infty\}$, then there is. In fact, the mapping $z\mapsto1/z$ is a bijection of the Riemann sphere to itself.

## @Hans Lundmark 2015-01-01 16:01:17

I suspect that there is no universal agreement among different sources. But for example Rudin's

Principles(p. 94) says "If $x$ is a point in the domain of the function $f$ at which $f$ is not continuous, we say that $f$ isdiscontinuousat $x$, or that $f$ has adiscontinuityat $x$". He doesn't mention anything about points not in the domain of $f$, but this omission sort of implies that for such points neither of the termscontinuousordiscontinuousshould be applied.I think this practice makes a lot of sense, since your example function is continuous (being continuous at all points in its domain), and allowing continuous functions to have discontinuities would be strange, wouldn't it? (

Singularityis a better word in such a case.)## @GPerez 2015-01-01 16:11:51

I'm speaking a bit out of my league here, but maybe we could decide to say (formally) that $1/z$ has a discontinuity at $0$ if it is a discontinuity in $\Bbb C\cup \{\infty\}$ (and I think it isn't)? That way it's distinguishable from functions like $e^{1/z}$.

## @Hans Lundmark 2015-01-01 16:17:43

@GPerez: You have to say what the domain of your function is. In the question asked here, the domain is the punctured plane. You can define another function $g(z)=1/z$ from the Riemann sphere (including zero and infinity) to itself; this function $g$ is continuous (analytic, even) on the Riemann sphere, but that's a whole different question.

## @GPerez 2015-01-01 16:29:51

I'm aware of this, which is why I say it'd be a purely formal notion. Obviously if we only define continuity for $f:X\to Y$ at a point $x\in X$ as [$f$ is cont. at $x\in X$ if ...], then it makes no sense to speak of points not in $X$ anyway. I'm just saying, it's not uncommon to look at things in a "bigger" domain to decide things about the "smaller" one, and this could help here if only for having $something$ to say about $0$, albeit something ultimately useless.

## @Siminore 2015-01-01 16:36:50

Here in Italy, many colleagues teach that $f$ has a point of discontinuity at $x_0$ if it cannot be extended at $x_0$ continuously. My opinion is that this is fairly acceptable for functions of a single real variable, but it becomes useless in a general context. In higher mathematics continuity matters, and there is no theory of discontinuous functions.

## @Hans Lundmark 2015-01-01 16:43:44

@GPerez: Of course we can say something about the function's behavious near $0$; there's already plenty of terminology for that. For example, there's "pole" versus "essential singularity", or "can be extended continuously" versus "cannot". I don't see any need to define some new special meaning of the word "discontinuous".

## @GPerez 2015-01-01 16:50:17

@Siminore

`there is no theory of discontinuous functions`

That can hardly be true; a lot of theories don't even need a topology.## @GPerez 2015-01-01 16:53:49

@HansLundmark I know there isn't a need, but the same lack of need applies to the initial question. As long we're dealing with a needless question, I wouldn't hesitate to give a needless answer.

## @Siminore 2015-01-01 16:58:03

@GPerez Come on, I mean that there is no branch of mathematics that studies only discontinuous functions. In general topology we hardly define or classify points of discontinuity. I guess it is a good chapter for calculus student, but not much more that this.

## @GPerez 2015-01-01 17:07:15

@Siminore Alright, alright, I guess I was a little bit nitpicky about your wording. I knew what you meant.

## @ncmathsadist 2015-01-01 15:43:08

For a function $f$ to be continuous at a point $a$, you must have $a\in\text{dom}(f)$. The function you cite is continuous on the punctured plane.

## @Timbuc 2015-01-01 15:47:27

@nc I think this is

exactlydrhab's point.## @Hans Lundmark 2015-01-01 16:02:05

This doesn't answer the question, which had to do with the word

discontinuous.## @Hans Lundmark 2015-01-01 16:05:42

More precisely, the question is: does "discontinuous at $x$" mean simply "not continuous at $x$" or rather "defined at $x$ but not continuous at $x$"?

## @ncmathsadist 2015-01-01 20:36:20

A function can't have continuity or discontinuity where is is not defined.