In special as well as general theory of relativity, space-time models are usually taken as differentiable manifolds. The main reason for representing a space-time as a topological space which is also a differentiable manifold is that we need space-time to have a well-defined topological dimension and we can talk about curves and their tangent vectors, and neighbourhoods to develop a causal theory of space-time. This is achieved by assuming a pseudo-metric structure on a space-time manifold which enables us to define time-like, null and space-like vectors and corresponding curves. In general theory of relativity, metric also determines the geometry and cur- vature of space-time which represents the gravitational field. In special theory of relativity, Minkowski space M is usually given the topology of real 4-dimensional Euclidean space.

According to Zeeman [1] , this topology is not physically reasonable for two reasons: first, the 4-dimensional Euclidean topology is locally homogeneous, whereas Minkowski space M is not, because to every point in M, there is an associated light cone which separates space-like vectors from time-like vectors. Secondly, the group of all homeomorphisms of 4-dimensional Euclidean space is vast and is of no physical significance. So, he proposed a new topology for Minkowski space, which is now well-known as Zeeman topology. This is defined as the finest topology on M which induces 3-dimensional Euclidean topology on every space axis and 1-dimen- sional Euclidean topology on every time axis. Zeeman proved that this topology has the following physically reasonable properties: Firstly, this topology is not locally homogeneous, and light cone through any point can be derived from the topology. Secondly, the group of all homeomorphisms of this topology is generated by the inhomogeneous Lorentz group and dilatations.

Zeeman also proved that the topology on a light ray induced from this fine topology is discrete. This means that every function on the light cone is continuous, as every function will be continuous if the domain space has discrete topology. In quantum field theory also, we face similar difficulties regarding “real” space-time topology, where we talk frequently about continuous wave functions and fields, but we really do not know the meaning of that because “real” topology of space-time is unknown. However, studies have been dedicated to the topological properties of function spaces, such as spaces of quantum fields, but the study of proper space-time topology which is the most important space of all Physics, remains incomplete. Here, we need a topology in which known quantum quantities such as classical paths on which integrations are to be performed in Feynman’s formalism, or Green’s functions are continuous. We note that if a function is continuous on a space with topology T, it will be continuous in any refinement of T.

We also note that Zeeman topology is a refinement of with 4-dimensional Euclidean topology, but a function which is continuous in Zeeman topology could be discontinuous in the Euclidean topology. Thus, the procedures by which physical quantities such as Green’s functions and S-matrix elements, defined on space-time, are transformed by, say, analytic continuation into analogous quantities on, will put constraints on possible topologies on space-time.

On mathematical side, M with Zeeman topology is not a normal topological space , as proved by Dossena [2] and hence it can not be a differentiable manifold, since, by definition, a differentiable manifold is Hausdorff and paracompact as a topological space, and hence normal.

After Zeeman published his paper in 1967, it attracted attention of some of the relativists cum mathematicians and they proved a number of results which are refinements over Zeeman’s work. Modified results about Zeeman- and Zeeman-like topologies were published in the context of both special as well as general theory of relativity. Most remarkable are the results by S. Nanda [3] - [5] , G. Williams [6] , R. Göbel [7] [8] , Hawking- King-McCarty [9] , Malament [10] and Lindstrom [11] proved in 1970’s. S.G. Popvassilev [12] generalized some of these results to. Around 2005, researchers started gaining renewed interest in this field, and further interesting results were published by D.H. Kim [13] , G. Dossena [2] , G. Agrawal and S. Shrivastava [14] [15] , G. Agrawal and Soami P. Sinha [16] and R. Low [17] . In fact R. Low extended the results of G. Agrawal and S. Shrivastava [14] to any dimension and also to general curved space-times. He used simpler arguments which do not require the use of Zeno sequences. We reproduce this proof for the sake of completeness.

Since Zeeman topology and other fine topologies defined in special and general theory of relativity in above works have many interesting properties, we discuss these properties and also discuss inter-relationships among these topologies. Most important and remarkable of these results are the results proved by R. Göbel and G. Dossena. Göbel proved that the group of all homeomorphisms of a space-time of general relativity with Zeeman-like topology is the group of all homothetic transformations. And Dossena proved that the first homo- topy group of Zeeman topology for Minkowski space is non-trivial and contains uncountably many subgroups isomorphic to Z. In particular, this topology is not simply connected. Lindstrom generalized the results of Göbel and gave a sequence of Zeeman-like topologies which are in the ascending order of fineness.Thus, in Section 2, we describe Zeeman topology and other fine topologies on Minkowski space and discuss their properties. We also discuss t-topology, s-topology and A-topology introduced by Nanda [3] - [5] and studied in details by G. Agrawal and S. Shrivastava [14] [15] . In Section 3, we describe path topology of Hawking-King-McCarty (HKM topology), and improvements by Malament [10] , Fullwood [18] and D.H. Kim [13] . We also discuss properties of HKM topology proved recently by R. Low. In Section 4, we describe the work of Göbel on Zeeman-like topologies defined on space-time of general relativity and discuss the results proved by him. We also remark on the work of other researchers, especially that by Lindstrom [11] and Mashford [19] .

Here, we consider a space-time of general relativity which is assumed to be connected, Hausdorff, paracompact, real four-dimensional manifold V without boundary, with a -Lorentz metric and associated pseudo- Riemannian connection. V is also assumed to be time-orientable i.e. V admits a non-vanishing time-like vector field.

The path topology of V is defined as follows:

is the finest topology satisfying the requirement that the induced topology on every time-like curve coincides with the topology induced from, where is the given manifold topology on V.

Thus if a set is -open, for every time-like curve, there is an with. Conversely, if E satisfies this condition, it is -open and is the largest collection of such sets. Obviously, if, then.

HKM show that is strictly finer than, but however is not comparable to Zeeman topology.

Let denote the tangent space of and be the exponential mapping. Then there is an open neighbourhood N of the origin of such that is an open convex neigh- bourhood of. Let be sufficiently small so that the Euclidean open ball B of radius, with centre at origin, is contained in N. Then. For any open set V, define

and for an open convex normal neighbourhood U of p, define. (). Then we have the following :

Proposition 3.1. Sets of the form and are -open.

is not open in the manifold topology because has no -nbd contained in. Thus is strictly finer than.

Theorem 3.2. forms a basis for the topology.

This property has no analogue in the finer topologies. -continuous paths are characterized as follows:

Theorem 3.3. A path is -continuous if and only if it is a Feynman Path.

Theorem 3.4. is first countable and separable. is Hausdorff, path connected and locally path con- nected and hence locally connected. However, is not regular, normal, locally compact or paracompact.

Furthermore, HKM determine the group of -homeomorphisms and prove that it is the group of smooth conformal diffeomorphisms.

To begin with, they prove the following:

Proposition 3.5. -homeomorphisms h take time-like curves to time-like curves.

This has been proved for strongly causal space-times. It is done by singling out a subclass of -continuous curves which coincides with time-like curves.

After proving a series of results, HKM prove the following important theorem:

Theorem 3.6. A -homeomorphism h is a smooth conformal diffeomorphism. This leads to the description of -homeomorphisms of M.

Theorem 3.7. The group of -homeomorphisms of M coincides with the group of smooth conformal diffe- omorphisms of M.

Finally, HKM give an example of a manifold for which the group of smooth conformal diffeomorphisms is strictly larger than the homothecy group. We note here that for Minkowski space, the two groups are equal.

For more details and proofs, we refer the reader to HKM [9] .

Malament [10] improved the results of [9] in the sense that the condition of strong causality is no longer necessary. We now discuss briefly the work of Malament [10] :

Main result of this paper is the following:

Suppose we consider two space-times and and a bijection, where both f and preserve continuous time-like curves. This means, if is a continuous time-like curve in then is a continuous time-like curve in. Similar condition holds for. Then f must be homeomorphism. Thus the class of continuous time-like curves in a space-time determines its topology. By Hawking’s theorem, f will then be a smooth conformal isometry.

Brief summary of the proof is as follows:

If f preserves all continuous curves, then f would be continuous. Given any sequence converging to p, one could find a continuous curve “threading” all the in sequence and then p. Its image would have to be a continuous curve threading all the in sequence and then. Hence would converge to. Under the hypotheses under consideration, this construction can only be applied to sequence which converge chronologically to p. The problem is with those sequences which converge to p but are locally space-like related to p.

The idea to overcome this difficulty is as follows:

To show that f is continuous at p, one proves that one may assume that f is continuous over a `nice-looking’ region near p. Then one uses continuous null geodesic segments in this region to characterize the convergence of points to p. This then leads one to the required result because continuous null geodesics in this region are necessarily preserved by f. For technical details, we refer the reader to Malament [10] . HKM-topology is an improvement over Zeeman topologies in the sense that it removes many unpleasant features of those topologies.

Fullwood [18] modified the HKM topology and defined a new topology as follows :

if and only if. Then and. We denote by.

Then, define for in V.

Now, let.

Then, forms a base for a topology which is denoted by.

Fullwood proves that if the space-time V is future and past distinguishing, then the topology coincides with HKM -topology. More precisely, he proves the following theorem:

Theorem 3.8. The following three conditions are equivalent upon a space-time manifold:

1) i.e., the topology is equivalent to the Path topology; 2) the distinguishing condition holds on V, and 3) V is -Hausdorff.

Do-Hyung Kim [13] proved that the path topology of Hawking, King, and McCarthy can be extended to the causal completion of a globally hyperbolic Lorentzian manifold. The suggested topology is defined only in terms of chronological structures and is finer than the extended Alexandrov topology denoted by. It is also shown that a -homeomorphism induces a conformal isomorphism and a homeomorphism in. Let denote causal completion of V. Then is defined on as follows:

Definition 3.1. is -closed if every time-like sequence that converges has a limit in U and is -open if its complement is -closed.

Proposition 3.9. The above family of open sets define a new topology on.

Proposition 3.10. The topology on is finer than the extended Alexandrov topology on.

Since is finer than and is Hausdorff, it can be concluded that is a Hausdorff topology on.

Corollary 3.11. is also an end point of a time-like curve in -topology.

The construction of -topology on the causal completion extends the -topology on V by use of the se- quential convergence.

Furthermore, Kim studies homeomorphisms with respect to topology. To understand the results in this direction, let V and N be two space-times and let and be their causal completions. Then we have the following definition:

Definition 3.2. A bijection is a chronological isomorphism if and antichronological isomorphism if. Likewise, a bijection is a causal isomorphism if and anticausal isomorphism if. A bijection is a conformal isomorphism if f is both (anti) chronological isomorphism and (anti) causal isomorphism. In a Lorentzian manifold, it is known that the causal isomorphism and the chronological isomor- phism are equivalent. The topology is defined only in terms of chronological relations and so any chro- nological isomorphism induces a -homeomorphism. The chronological isomorphism has the same effects on the -topology.We also have the following:

Proposition 3.12. If V and N are globally hyperbolic and is either a chronological isomorphism or an antichronological isomorphism, then f is an -homeomorphism.

Theorem 3.13. If is a -homeomorphism, then f is either a chronological isomorphism or an antichronological isomorphism.

Theorem 3.14. If is a -homeomorphism, then f is a conformal isomorphism.

Since is finer than, by combining proposition 3.8 and theorem 3.9, we have the following theorem.

Theorem 3.15. A -homeomorphism induces an -homeomorphism.

Also if is a -homeomorphism, then f is a conformal isomorphism. If, in addition, both V and N are strongly causal, the manifold topologies are the same as the Alexandrov topologies since the Alexandrov topology is defined only in terms of a chronological relation. In other words, a -homeomorphism induces an -homeomorphism. By the above theorem, this is indeed the case in the path topology of the causal completion. Thus, the extended Alexandrov topology is natural to the causal completion. The -topology mentioned here is that defined in Fullwood [18] , and the causal completion of space-times mentioned in the discussion above is in the sense of Budic and Sachs [29] .

Such bijective mappings have also been studied by Domiaty [27] [28] . These mappings are defined in such a manner that they leave the class of space-like paths invariant. Homeomorphisms with respect to S-topology defined by Nanda [4] are called S-homeomorphisms. Domiaty proved that if and are Lorentz manifolds and if is a bijection, then f is a S-homeomorphism if and only if f and preserve space-like paths. Furthermore, after proving a series of lemmas, he proves that if f and preserve space-like paths,then f is a manifold-homeomorphism (V-homeomorphism). There is a substantial literature on causality- preserving maps (causal maps) or cone-preserving maps in special as well as general theory of relativity. See, for example, a review article by Sujatha Janardhan and R.V. Saraykar [24] and references therein. If we denote homeomorphisms with respect to path-topology (HKM-topology) by -homeomorphisms, then every S- homeomorphism is a -homeomorphism. Since (ref. Kim [13] ) a -homeomorphism is a smooth conformal diffeomorphism, it follows, by combining results of Domiaty and Kim, that every S-homeomorphism is also a smooth conformal diffeomorphism. (This has been noted by Domiaty [27] [28] Theorem 2.) This result im- proves the result by Göbel [7] which was proved for strongly causal Lorentz manifolds.

More recently Huang [30] proved the result: Let be a strongly causal space-time, dim. Let be a bijection such that images and pre-images of null geodesics (as point sets) are null geodesics. Then f is a homeomorphism and hence by Hawking’s theorem, a conformal transformation. This generalizes the result proved by Jan Peleska [31] . Define a local distance function on convex normal neighbourhoods by Then every homeomorphism f which locally preserves these functions is an isometry. If has indefinite signature and f locally preserves distance zero, then it is a conformal diffeomorphism.

The physical meaning of the condition used in this theorem is that images and pre-images of paths which photons travel between emission and absorption should again be such paths.

Coming to the topological properties of Zeeman-like topologies on Minkowski space M again, we note the Theorem proved by Dossena, namely, two dimensional Minkowski space is not simply connected. Its first homotopy group contains uncountably many subgroups isomorphic to Z.G. Agrawal and S. Shrivastava [13] proved similar result for t-topology. Both these proofs use the notion of Zeno sequences introduced by Zeeman. Robert Low [17] recently gave a proof for the same result for n-dimensional Minkowski space with Zeeman topology without using Zeno sequences. For the sake of completeness, we reproduce the proof of this important theorem below.

Theorem 3.16. A space-time V, equipped with the path topology is not simply connected or locally simply connected. Furthermore, no two closed continuous curves in V with distinct images are homotopic.

Proof: Let and be curves in V with distinct images, let such that is and is, and let T be some time-like two-plane and be the associated projection such that the pro- jections of and to T are distinct. Now neither of nor can be space-filling, for then we already have an open set in T containing infinitely many points in some space-like surface and in the image of. R. Low then considers the intersection of this open set with some surface of constant time and argues to conclude that there must be some point x in T round which and have different winding numbers. Since and are closed curves in T, x has an open neighbourhood in T which lies in the image of, and again we obtain a contradiction. Hence, if and are closed continuous maps from to V with distinct images, then and are not homotopic in the path topology. Moreover the fundamental group of V with the path topology is as large as possible, since two continuous loops are only homotopic if one is a re-para- meterisation of the other. Also, the above result is true in case of a general Lorentz manifold. The general space-time V can be embeded in a pseudo-Euclidean space of appropriate dimension, and arguing as above, by projecting to some suitable time-like plane in the pseudo-Euclidean space, we can obtain the same result.

Here, it will not be out of place to mention that Sorkin and Woolgar [32] introduced the concept of K- causality with the aim that it should be possible to derive the causal structure from order relation and topological structure. Some results in this direction were proved by S. Janardhan and R.V. Saraykar [33] . Later, after a good deal of efforts, Minguzzi [34] proved that Stable causality is equivalent to K-causality. In the description of path-topology above, if analogously, if we replace a time-like curve by a K-causal curve which is compact, connected and linearly ordered, then we can define K-causal topology on V , denoted by as follows:

We specify closed sets of as follows:

is a -closed subset of V if for some closed, in the manifold topology and is the finest such topology. If F is closed in V, with respect to, then F is closed with respect to also. Thus is finer than. For a detailed discussion of K-causal curves in K-causal space-time, we refer the reader to S. Janardhan and R.V. Saraykar [31] and Minguzzi [32] and references therein.

In this section, we describe and discuss the work of Göbel [7] [8] , Lindstrom [11] and others on Zeeman-like topologies defined on a space-time of general relativity. In particular, Göbel [7] has proved the result that two space-times are homeomorphic with respect to its Zeeman topology if and only if they are isometric. This shows that it is possible to determine the metric of a space-time from its Zeeman topology.

We start with definitions of Zeeman topologies as given by Göbel [7] and discuss their main properties.

Let denote a differentiable manifold with an underlying manifold topology. The most general setting for Zeeman topologies is the following:

Let be a set of subsets of V. Then a subset belongs to iff is open within the topological space with its induced topology, for all. -------()

Then is the space V provided with the Zeeman topology generated by. Thus the topology Z is the finest topology on V such that for all.

On Minkowski space this topology coincides with the topology Z defined by Zeeman mentioned above, for two specially chosen systems which are significant for special relativity. Since -open subset of V always satisfies condition (), Z is always finer than.

Further Göbel defines a Special system of V as follows:

is called a special system of V if there is a locally finite covering of V by neighbourhoods U, such that and where and have the following properties:

1) If, then X is a closed subset of V.

2) If and then for all. (Here denotes car- dinality of A)

3) If and is infinite, then.

4) We have for all and. -------------()

With this definition, the following results follow:

Proposition 4.1. Let be a special system of V and be a 1-1 map which is -directed at. Then f is a piecewise -curve at p if f is continuous at p with respect to the Zeeman topology Z.

(A curve f is called -directed at if there is a neighbourhood U of p defined by () such

that if, then. f is called a piecewise -curve at if there are

with such that and for some).

Proposition 4.2. If is a special system of V and f is a Z-continuous curve which is -directed at each point, then f is a piecewise -curve.

This implies the following:

Proposition 4.3. For a manifold with an affine connection, following two statements are equivalent:

1) the curve f is a piecewise geodesic i.e. f is a broken geodesic line with a finite number of edges.

2) the 1-1 map is continuous with respect to the Zeeman topology Z.

Göbel then restricts Zeeman topology on a space-time and studies Zeeman topology by incorporating electromagnetic fields. To state the results proved by Göbel in this situation, we need to understand certain notations:

Let V denote a space-time for general relativity and F be a given electromagnetic field on V. An electric charge of a test particle p has its absolute value bounded by a number depending on F, and mass of this particle () is bounded by a number depending on the gravitational field. Since the charge-spectrum Q and mass spectrum W are discrete, there are finitely many possible values and for test par- ticles p. We assume the presence of charge free test particles so that. If Q = 0, we allow the mass spectrum W to be arbitrarily. Under these conditions, there are covering and which are locally finite, so that there are only finitely many world lines of freely falling test particles in from to if. For, let be the set of all world lines of freely falling test particles and let be all closed space-like -hypersurfaces of. (Here such that there is one and only one which contains the closure of W.) The corresponding system is then a special system of W. Then the following result holds:

Proposition 4.4. If V is a space-time with a given external electro-magnetic field F and a world line f, the following statements are equivalent:

1) f is continuous with respect to the Zeeman topology.

2) f is a chain of finitely many connected world lines of freely falling charged test particles.

If F = 0, then Z-continuous world lines are future directed time-like piecewise geodesic lines. For simplicity, we denote by. Then open sets with respect to are described as follows:

A subset Y of V is open with respect to iff is open in for the following subsets U of V:

(I) U is an arbitrary closed space-like hypersurface contained in a simple region of V.

(II) U is the world line of an arbitrary charged test particle p freely falling in the gravitational and the electro- magnetic field within a simple region of V.

If Q = 0, then condition (II) is equivalent to

(II)’ U is an arbitrary time-like geodesic in a simple region of V.

If U is a simple neighbourhood of p then let.

Lemma 4.5. The set defined above is a -neighbourhood of p.

Göbel then proves an important result that

Proposition 4.6. The topology induced by on a light cone is discrete.

Thus we do not have any geometric information along a light ray.

The main theorem of Göbel [7] is the following (which he proves in the last section of his paper).

Theorem 4.7. Let h be a mapping from space-time V onto a space-time. The following are equivalent:

1) h is a homeomorphism with respect to Zeeman topology Z.

2) h is a homothetic transformation.

Unusual property of Zeeman topology is that homeomorphism characteristic of h implies its differentiability as well as its “linearity”, since h is an isometric map “up to scaling”. Thus we can state this property in the following forms:

Theorem 4.8. The space-times V and are homeomorphic with respect to Zeeman topology if and only if they are isometric (up to a constant positive factor).

Theorem 4.9. The group of all homeomorphisms with respect to the Zeeman topology coincides with the group of all homothetic transformations of space-time V onto itself.

Thus Zeeman topology contains all information about the metric.

We again note here that (locally) causal maps defined by Göbel [7] in Section 2 and described in Section 5 are similar to causal maps of García-Parrado and Senovilla [23] , and subsequently similar to K-causal maps des- cribed and studied by Sujatha Janardhan and R.V. Saraykar [31] .

As far as Minkowski space-time is concerned, Zeeman [1] has suggested other topologies on it. Göbel gene- ralized some of the results which hold for these topologies. Following remarks are in order about these topo- logies:

Remark 1. The topology defined by Zeeman is now well-known as t-topology studied by Nanda [4] . The induced topology on any space axis is discrete. Under this topology, Göbel has generalized this result as follows:

Theorem 4.10. Let be a continuous map of the unit interval I into V (endowed with - topology). If f is strictly order preserving, i.e. implies (i.e. the vector is time like), then the image is a piecewise linear path, consisting of a number of intervals along time axis.

Further, this topology has a physically attractive feature as follows:

If be an embedding (not necessarily order preserving), then is a piecewise linear path along time axes, zig-zagging with respect to time orientation like the Feynman track of an electron.

Hawking, King and Mc Carthy [9] has defined Feynman path mathematically precisely as follows:

Let denote where U denotes an open convex normal neighbourhood of p. A path is a Feynman path if is continuous and for each, there is an open connected neighbourhood U of, and an open convex normal neighbourhood U of such that .

A locally one-one Feynman path is then a Feynman track mentioned above.

Let G denote the group of automorphisms of V given by

1) the Lorentz group of all linear maps leaving quadratic form Q invariant

2) translations and

3) dilatations.

Every element of G either preserves or reverses the partial ordering “<” mentioned above. These features have been studied in details by Nanda, Dossena and Kim.

Remark 2. The topology defined by Zeeman is well-known as s-topology studied by Nanda [3] [4] . The induced topology on any time axis is discrete. Homeomorphism group of this topology was determined by Nanda thus proving another version of Zeeman conjecture. Topological properties of t-topology and s-topology have been studied by G. Agrawal and S. Shrivastava [14] [15] as mentioned in Section 2.

Remark 3. The topology defined by Zeeman is same as Williams Topology. As proved by Williams [6] , this topology possesses the following properties:

1) It is not locally homogeneous and the light cone through any point can be deduced from it.

2) The group of all homeomorphisms with respect to is generated by inhomogeneous Lorentz group and dilatations.

3) It induces the 3-dimensional Euclidean topology on every space axis and the 1-dimensional Euclidean topology on every time axis.

For the proof of these properties, we refer the reader to Williams [6] and Zeeman [1] . However, this topology does not satisfy the theorem mentioned above. Nevertheless, the group of homeomorphisms of is G. Thus although has a countable base of neighbourhoods for each point, it is physically less attractive than Z. Such topologies can also be described on a general space-time following Göbel’s method.

Ulf Lindstrom [11] re-examined the separating topology studied in earlier works. Using methods and ideas in papers by Göbel, Hawking, King and McCarthy, he introduced a new class of topologies. The topology is the finest which induces Euclidean topology on time-like - and space-like -curves. A relation between and some topologies studied by Göbel is derived―For an arbitrary space-time the group of homeomorphisms is shown to be the smooth conformal diffeomorphism group. The restriction to strongly causal space-times employed in earlier work is no longer necessary. We note that Lindstrom topology reduces to Williams topology for on Minkowski space. Group of homeomorphisms is conformal diffeomorphisms as noted in Section 2.

Finally, we add a comment about the work of Mashford [19] : As is well-known, a space-time in the general theory of relativity is a Lorentz manifold modeled on 4-dimensional Euclidean space, which is locally a Min- kowski space. Mashford [19] constructs a tangent bundle whose base space is not a Lorentz manifold, but is a set Y of events which is equipped with an acyclic signal relation and the structure of Y is locally that of Minkowski space with Zeeman topology. Moreover, the piecing together maps are smooth in an appro- priate sense. The parent space E is the tangent bundle TY of Y. Mashford then proves that this bundle has, as structure group, the group of linear causal automorphisms of Minkowski space, which coincides with the group G of Lorentz transformations along with translations and dilatations which has been discussed in Section 2.

In this article, we have given a short review of Zeeman- and Zeeman-like fine topologies on Minkowski space and space-time of general relativity. We have avoided giving detailed proofs of the results mentioned, otherwise the article would have become lengthy. To the best of our knowledge, we have reviewed most of the research work which appeared on this topic since the first paper was published by Zeeman in 1967. To get a consolidated view about definitions and the main properties of these topologies like their homeomorphism groups and topological properties, we give two tables summarizing definitions and their properties:

Definitions and properties of fine topologies on Minkowski space refer Table 1 and fine topologies on space-times of general relativity refer Table 2. Whereas fine topologies have interesting topological properties and their homeomorphism groups are physically useful, however it is true that manifold structure is not compatible with fine topologies. This is because, topologically, a manifold is second countable, Hausdorff and paracompact, and hence normal and metrizable, whereas fine topologies are not, in general, normal (and hence not metrizable). Moreover, it is also true that unless differential structure is there, we can not define notions of connection and curvature and hence fine topologies may not be useful in discussing Einstein field equations in general theory of relativity. Finally, we would like to refer to a paper by A. Heathcote [35] , where it has been argued that the suggestions for replacement of manifold topology with fine topology misrepresent the significance of the manifold topology and overstate the necessity for a finer topology. He claims to have given a

realist view of space-time topology. Other philosophical issues about space-time have been discussed by D. Dieks and M. Redel in two volumes [36] [37] .

Ravindra Saraykar,Sujatha Janardhan, (2016) Zeeman-Like Topologies in Special and General Theory of Relativity. Journal of Modern Physics,07,627-641. doi: 10.4236/jmp.2016.77063