# Compute line integral and prove statement about simply connected space of set

Let C be circumference in $\mathbb{R^2}$ with centre in $(0,0)$ which we bypass counterclockwise. Compute : $$\oint_C -\frac{y}{x^2 + y^2}dx + \frac{x}{x^2 + y^2}dy$$ and then prove that set $\big\{(x, y) \big| 0 < x^2 + y^2 \le 1 \big\}$ is not simply connected space.

So, I computed integral and obtain $2\pi$. Expression under integral sign is total derivative and I know that line integral of total derivative by closed curve in simply connected space is zero, but our integral is not zero. But my teacher said that is not full proof. Could you complement my solution or give any tips for this?

However, the vector field $(f(x,y),g(x,y))$ being integrated satisfies $\frac{\partial g}{\partial x} = \frac{\partial f}{\partial y}$ over its domain, which is why you thought that it's a total derivative. If that domain were simply connected, then we could deduce that $(f,g)$ is a total derivative, which would mean that the integral should be zero. Since the integral is not zero, this means that the domain is not simply connected, which means that $(f,g)$ is not a total derivative (it also isn't really "under" the integral sign).
So in short: because $(f,g)$ is irrotational (or closed), it would be a total derivative (or exact) if the domain were simply connected. Since the integral over the loop is non-zero, $(f,g)$ cannot be exact, which means that the domain cannot be simply connected.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://math.stackexchange.com/questions/2243865/compute-line-integral-and-prove-statement-about-simply-connected-space-of-set", "fetch_time": 1563910943000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2019-30/segments/1563195529664.96/warc/CC-MAIN-20190723193455-20190723215455-00203.warc.gz", "warc_record_offset": 447552257, "warc_record_length": 29113, "token_count": 378, "char_count": 1483, "score": 3.796875, "int_score": 4, "crawl": "CC-MAIN-2019-30", "snapshot_type": "latest", "language": "en", "language_score": 0.9560238122940063, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00037-of-00064.parquet"}